Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,131 workflow runs
1,131 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
split: add split * and split + to iterate over top-level conjunctions EasyCrypt CI #4895: Pull request #1015 synchronize by strub
28m 34s split-star
split-star
28m 34s
split: add split * and split + to iterate over top-level conjunctions EasyCrypt CI #4894: Pull request #1015 opened by strub
27m 57s split-star
split-star
27m 57s
Use auto unfold for some Logic operators EasyCrypt CI #4893: Pull request #1014 opened by oskgo
26m 48s stdlib-auto-unfold
stdlib-auto-unfold
26m 48s
Deploy tc EasyCrypt CI #4892: Pull request #633 synchronize by strub
28m 24s deploy-tc
deploy-tc
28m 24s
Deploy tc EasyCrypt CI #4891: Pull request #633 synchronize by strub
28m 55s deploy-tc
deploy-tc
28m 55s
Emit proper error message when typing ={pvar} in a single sided context EasyCrypt CI #4890: Pull request #1013 opened by oskgo
28m 23s fix-1009
fix-1009
28m 23s
Prevent type parameters in subtypes EasyCrypt CI #4889: Pull request #1012 opened by oskgo
33m 3s prevent-subtype-type-variables
prevent-subtype-type-variables
33m 3s
Deploy tc EasyCrypt CI #4888: Pull request #633 synchronize by strub
28m 7s deploy-tc
deploy-tc
28m 7s
[ci] do not rebuild base or base-build in PR runs EasyCrypt CI #4887: Pull request #1008 synchronize by fdupress
25m 43s ci-retrieve-base
ci-retrieve-base
25m 43s
[ci] do not rebuild base or base-build in PR runs EasyCrypt CI #4886: Pull request #1008 synchronize by fdupress
1m 34s ci-retrieve-base
ci-retrieve-base
1m 34s
[ci] do not rebuild base or base-build in PR runs EasyCrypt CI #4885: Pull request #1008 synchronize by fdupress
1m 25s ci-retrieve-base
ci-retrieve-base
1m 25s
[ci] do not rebuild base or base-build in PR runs EasyCrypt CI #4884: Pull request #1008 synchronize by fdupress
1m 26s ci-retrieve-base
ci-retrieve-base
1m 26s
[ci] do not rebuild base or base-build in PR runs EasyCrypt CI #4883: Pull request #1008 synchronize by fdupress
26m 6s ci-retrieve-base
ci-retrieve-base
26m 6s
[docker] consolidate dockerfiles EasyCrypt CI #4882: Pull request #1007 synchronize by fdupress
29m 23s docker-consolidate
docker-consolidate
29m 23s
[docker] use binary alt-ergo builds EasyCrypt CI #4881: Commit b09b7ae pushed by github-merge-queue Bot
34m 25s main
main
34m 25s
EasyCrypt CI EasyCrypt CI #4880: Merge group checks requested
29m 35s
29m 35s
Deploy tc EasyCrypt CI #4879: Pull request #633 synchronize by strub
36m 52s deploy-tc
deploy-tc
36m 52s
Deploy tc EasyCrypt CI #4878: Pull request #633 synchronize by strub
38m 8s deploy-tc
deploy-tc
38m 8s
Deploy tc EasyCrypt CI #4877: Pull request #633 synchronize by strub
37m 28s deploy-tc
deploy-tc
37m 28s
[ci] do not rebuild base or base-build in PR runs EasyCrypt CI #4876: Pull request #1008 synchronize by fdupress
25m 27s ci-retrieve-base
ci-retrieve-base
25m 27s
[docker] consolidate dockerfiles EasyCrypt CI #4875: Pull request #1007 synchronize by fdupress
27m 7s docker-consolidate
docker-consolidate
27m 7s
[docker] consolidate dockerfiles EasyCrypt CI #4874: Pull request #1007 synchronize by fdupress
1m 36s docker-consolidate
docker-consolidate
1m 36s
[docker] use binary alt-ergo builds EasyCrypt CI #4873: Pull request #1010 opened by fdupress
28m 10s docker-binary-alt-ergo
docker-binary-alt-ergo
28m 10s
[ci] do not rebuild base or base-build in PR runs EasyCrypt CI #4872: Pull request #1008 synchronize by fdupress
34m 41s ci-retrieve-base
ci-retrieve-base
34m 41s
[ci] do not rebuild base or base-build in PR runs EasyCrypt CI #4871: Pull request #1008 opened by fdupress
1m 36s ci-retrieve-base
ci-retrieve-base
1m 36s