Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
649 workflow runs
649 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Use auto unfold for some Logic operators Build documentation #651: Pull request #1014 opened by oskgo
3m 45s stdlib-auto-unfold
stdlib-auto-unfold
3m 45s
Deploy tc Build documentation #650: Pull request #633 synchronize by strub
3m 48s deploy-tc
deploy-tc
3m 48s
Deploy tc Build documentation #649: Pull request #633 synchronize by strub
6m 50s deploy-tc
deploy-tc
6m 50s
Emit proper error message when typing ={pvar} in a single sided context Build documentation #648: Pull request #1013 opened by oskgo
4m 3s fix-1009
fix-1009
4m 3s
Prevent type parameters in subtypes Build documentation #647: Pull request #1012 opened by oskgo
3m 58s prevent-subtype-type-variables
prevent-subtype-type-variables
3m 58s
Deploy tc Build documentation #646: Pull request #633 synchronize by strub
3m 52s deploy-tc
deploy-tc
3m 52s
[ci] do not rebuild base or base-build in PR runs Build documentation #645: Pull request #1008 synchronize by fdupress
3m 50s ci-retrieve-base
ci-retrieve-base
3m 50s
[ci] do not rebuild base or base-build in PR runs Build documentation #644: Pull request #1008 synchronize by fdupress
3m 33s ci-retrieve-base
ci-retrieve-base
3m 33s
[ci] do not rebuild base or base-build in PR runs Build documentation #643: Pull request #1008 synchronize by fdupress
4m 13s ci-retrieve-base
ci-retrieve-base
4m 13s
[ci] do not rebuild base or base-build in PR runs Build documentation #642: Pull request #1008 synchronize by fdupress
4m 10s ci-retrieve-base
ci-retrieve-base
4m 10s
[ci] do not rebuild base or base-build in PR runs Build documentation #641: Pull request #1008 synchronize by fdupress
6m 53s ci-retrieve-base
ci-retrieve-base
6m 53s
[docker] consolidate dockerfiles Build documentation #640: Pull request #1007 synchronize by fdupress
4m 8s docker-consolidate
docker-consolidate
4m 8s
[docker] use binary alt-ergo builds Build documentation #639: Commit b09b7ae pushed by github-merge-queue Bot
3m 52s main
main
3m 52s
Deploy tc Build documentation #638: Pull request #633 synchronize by strub
3m 50s deploy-tc
deploy-tc
3m 50s
Deploy tc Build documentation #637: Pull request #633 synchronize by strub
3m 34s deploy-tc
deploy-tc
3m 34s
Deploy tc Build documentation #636: Pull request #633 synchronize by strub
3m 46s deploy-tc
deploy-tc
3m 46s
[ci] do not rebuild base or base-build in PR runs Build documentation #635: Pull request #1008 synchronize by fdupress
7m 28s ci-retrieve-base
ci-retrieve-base
7m 28s
[docker] consolidate dockerfiles Build documentation #634: Pull request #1007 synchronize by fdupress
5m 46s docker-consolidate
docker-consolidate
5m 46s
[docker] consolidate dockerfiles Build documentation #633: Pull request #1007 synchronize by fdupress
3m 57s docker-consolidate
docker-consolidate
3m 57s
[docker] use binary alt-ergo builds Build documentation #632: Pull request #1010 opened by fdupress
3m 31s docker-binary-alt-ergo
docker-binary-alt-ergo
3m 31s
[ci] do not rebuild base or base-build in PR runs Build documentation #631: Pull request #1008 synchronize by fdupress
4m 2s ci-retrieve-base
ci-retrieve-base
4m 2s
[ci] do not rebuild base or base-build in PR runs Build documentation #630: Pull request #1008 opened by fdupress
3m 48s ci-retrieve-base
ci-retrieve-base
3m 48s
[docker] consolidate dockerfiles Build documentation #629: Pull request #1007 opened by fdupress
3m 33s docker-consolidate
docker-consolidate
3m 33s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… Build documentation #628: Pull request #995 synchronize by mbbarbosa
4m 2s feature-zqcentered
feature-zqcentered
4m 2s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… Build documentation #627: Pull request #995 synchronize by mbbarbosa
3m 59s feature-zqcentered
feature-zqcentered
3m 59s