Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,106 workflow runs
1,106 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
[provers] update all CVC5 versions EasyCrypt CI #4865: Pull request #1004 synchronize by fdupress
40m 4s docker-cvc5-1.3.4
docker-cvc5-1.3.4
40m 4s
Refactor CI to run in fetch build box EasyCrypt CI #4864: Commit aadaa2a pushed by github-merge-queue Bot
39m 9s main
main
39m 9s
EasyCrypt CI EasyCrypt CI #4863: Merge group checks requested
40m 44s
40m 44s
Refactor CI to run in fresh build box EasyCrypt CI #4862: Pull request #1000 synchronize by strub
42m 5s ci-in-fresh-build-box
ci-in-fresh-build-box
42m 5s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… EasyCrypt CI #4861: Pull request #995 synchronize by mbbarbosa
15m 46s feature-zqcentered
feature-zqcentered
15m 46s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… EasyCrypt CI #4860: Pull request #995 synchronize by mbbarbosa
17m 4s feature-zqcentered
feature-zqcentered
17m 4s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… EasyCrypt CI #4859: Pull request #995 synchronize by mbbarbosa
16m 30s feature-zqcentered
feature-zqcentered
16m 30s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… EasyCrypt CI #4858: Pull request #995 synchronize by mbbarbosa
16m 58s feature-zqcentered
feature-zqcentered
16m 58s
Check Distr is in scope when tagging distributions EasyCrypt CI #4857: Commit 7447340 pushed by github-merge-queue Bot
18m 0s main
main
18m 0s
EasyCrypt CI EasyCrypt CI #4856: Merge group checks requested
16m 35s
16m 35s
[provers] update all CVC5 versions EasyCrypt CI #4855: Pull request #1004 synchronize by fdupress
36m 1s docker-cvc5-1.3.4
docker-cvc5-1.3.4
36m 1s
Refactor CI to run in fresh build box EasyCrypt CI #4854: Pull request #1000 synchronize by fdupress
37m 28s ci-in-fresh-build-box
ci-in-fresh-build-box
37m 28s
[provers] update all CVC5 versions EasyCrypt CI #4853: Pull request #1004 synchronize by fdupress
38m 49s docker-cvc5-1.3.4
docker-cvc5-1.3.4
38m 49s
subtype: generalize over section-declared free types at section close EasyCrypt CI #4852: Commit ac42e2a pushed by github-merge-queue Bot
17m 36s main
main
17m 36s
EasyCrypt CI EasyCrypt CI #4851: Merge group checks requested
14m 53s
14m 53s
subtype: generalize over section-declared free types at section close EasyCrypt CI #4850: Pull request #1002 synchronize by fdupress
17m 41s fix-subtype-section-generalize
fix-subtype-section-generalize
17m 41s
subtype: generalize over section-declared free types at section close EasyCrypt CI #4849: Pull request #1002 synchronize by strub
16m 35s fix-subtype-section-generalize
fix-subtype-section-generalize
16m 35s
Check that Distr is in scope when tagging distributions, fixing #211 EasyCrypt CI #4848: Pull request #988 synchronize by fdupress
17m 0s fix-rndll
fix-rndll
17m 0s
Check that Distr is in scope when tagging distributions, fixing #211 EasyCrypt CI #4847: Pull request #988 synchronize by fdupress
17m 8s fix-rndll
fix-rndll
17m 8s
Refactor CI to run in fresh build box EasyCrypt CI #4846: Pull request #1000 synchronize by fdupress
37m 34s ci-in-fresh-build-box
ci-in-fresh-build-box
37m 34s
Refactor CI to run in fresh build box EasyCrypt CI #4845: Pull request #1000 synchronize by fdupress
37m 44s ci-in-fresh-build-box
ci-in-fresh-build-box
37m 44s
ci: enforce single-commit PRs EasyCrypt CI #4844: Commit dda4571 pushed by github-merge-queue Bot
16m 45s main
main
16m 45s
EasyCrypt CI EasyCrypt CI #4843: Merge group checks requested
17m 12s
17m 12s
Refactor CI to run in fresh build box EasyCrypt CI #4842: Pull request #1000 synchronize by fdupress
16m 36s ci-in-fresh-build-box
ci-in-fresh-build-box
16m 36s
ci: enforce single-commit PRs EasyCrypt CI #4841: Pull request #1003 synchronize by fdupress
17m 10s force-1-commit
force-1-commit
17m 10s