Skip to content
CI

Merge pull request #2706 from bacam/coq-bbv-1.3-upper-bound #68

Sign in to view logs

Merge pull request #2706 from bacam/coq-bbv-1.3-upper-bound

Merge pull request #2706 from bacam/coq-bbv-1.3-upper-bound #68

Triggered via push September 7, 2023 19:01
@palmskogpalmskog
pushed 6a8defd
master
Status Success
Total duration 4m 59s
Artifacts –

ci.yml

on: push
build
4m 25s
build
deploy
8s
deploy
Fit to window
Zoom out
Zoom in