Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,113 workflow runs
1,113 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
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
Refactor CI to run in fresh build box EasyCrypt CI #4840: Pull request #1000 synchronize by fdupress
15m 2s ci-in-fresh-build-box
ci-in-fresh-build-box
15m 2s
[provers] update all CVC5 versions EasyCrypt CI #4839: Pull request #1004 opened by fdupress
16m 51s docker-cvc5-1.3.4
docker-cvc5-1.3.4
16m 51s
Refactor CI to run in fresh build box EasyCrypt CI #4838: Pull request #1000 synchronize by fdupress
15m 40s ci-in-fresh-build-box
ci-in-fresh-build-box
15m 40s
EasyCrypt CI EasyCrypt CI #4837: Merge group checks requested
16m 40s
16m 40s
consolidate builds EasyCrypt CI #4836: Commit daa33ee pushed by fdupress
Failure ci-in-fresh-build-box
ci-in-fresh-build-box
Failure
Refactor CI to run in fresh build box EasyCrypt CI #4835: Pull request #1000 synchronize by fdupress
37m 2s ci-in-fresh-build-box
ci-in-fresh-build-box
37m 2s
EasyCrypt CI EasyCrypt CI #4834: Merge group checks requested
16m 28s
16m 28s
Deploy tc EasyCrypt CI #4833: Pull request #633 synchronize by strub
16m 17s deploy-tc
deploy-tc
16m 17s
ci: enforce single-commit PRs EasyCrypt CI #4832: Pull request #1003 synchronize by strub
16m 35s force-1-commit
force-1-commit
16m 35s
ci: enforce single-commit PRs EasyCrypt CI #4831: Pull request #1003 synchronize by strub
17m 2s force-1-commit
force-1-commit
17m 2s
ci: enforce single-commit PRs EasyCrypt CI #4830: Pull request #1003 opened by strub
16m 5s force-1-commit
force-1-commit
16m 5s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… EasyCrypt CI #4829: Pull request #995 synchronize by strub
16m 52s feature-zqcentered
feature-zqcentered
16m 52s
Deploy tc EasyCrypt CI #4828: Pull request #633 synchronize by strub
19m 44s deploy-tc
deploy-tc
19m 44s
subtype: generalize over section-declared free types at section close EasyCrypt CI #4827: Pull request #1002 opened by strub
19m 41s fix-subtype-section-generalize
fix-subtype-section-generalize
19m 41s
Remove the iterate SMT option EasyCrypt CI #4826: Commit b0c4c72 pushed by strub
17m 15s main
main
17m 15s
subtype: generalize over section-declared free types at section close EasyCrypt CI #4825: Commit 8cda401 pushed by strub
16m 38s main
main
16m 38s
Deploy tc EasyCrypt CI #4824: Pull request #633 synchronize by strub
17m 7s deploy-tc
deploy-tc
17m 7s
Remove the iterate SMT option EasyCrypt CI #4823: Commit b0c4c72 pushed by strub
14m 55s main
main
14m 55s