Skip to content

Actions: EasyCrypt/easycrypt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,920 workflow runs
1,920 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… Enforce single-commit PR #20: Pull request #995 synchronize by mbbarbosa
13s feature-zqcentered
feature-zqcentered
13s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… Build documentation #620: Pull request #995 synchronize by mbbarbosa
4m 12s feature-zqcentered
feature-zqcentered
4m 12s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… Enforce single-commit PR #19: Pull request #995 synchronize by mbbarbosa
14s feature-zqcentered
feature-zqcentered
14s
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… Enforce single-commit PR #18: Pull request #995 synchronize by mbbarbosa
8s feature-zqcentered
feature-zqcentered
8s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… Build documentation #619: Pull request #995 synchronize by mbbarbosa
4m 4s feature-zqcentered
feature-zqcentered
4m 4s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… Enforce single-commit PR #17: Pull request #995 synchronize by mbbarbosa
6s feature-zqcentered
feature-zqcentered
6s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… Build documentation #618: Pull request #995 synchronize by mbbarbosa
3m 53s feature-zqcentered
feature-zqcentered
3m 53s
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
Check Distr is in scope when tagging distributions Build documentation #617: Commit 7447340 pushed by github-merge-queue Bot
3m 59s main
main
3m 59s
Check Distr is in scope when tagging distributions EasyCrypt Docker Containers Build #116: Commit 7447340 pushed by github-merge-queue Bot
18m 0s main
main
18m 0s
Enforce single-commit PR Enforce single-commit PR #16: Merge group checks requested
5s
5s
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
[provers] update all CVC5 versions Enforce single-commit PR #15: Pull request #1004 synchronize by fdupress
13s docker-cvc5-1.3.4
docker-cvc5-1.3.4
13s
[provers] update all CVC5 versions Build documentation #616: Pull request #1004 synchronize by fdupress
6m 44s docker-cvc5-1.3.4
docker-cvc5-1.3.4
6m 44s
Refactor CI to run in fresh build box Build documentation #615: Pull request #1000 synchronize by fdupress
3m 45s ci-in-fresh-build-box
ci-in-fresh-build-box
3m 45s
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
Refactor CI to run in fresh build box Enforce single-commit PR #14: Pull request #1000 synchronize by fdupress
8s ci-in-fresh-build-box
ci-in-fresh-build-box
8s
[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
[provers] update all CVC5 versions Enforce single-commit PR #13: Pull request #1004 synchronize by fdupress
7s docker-cvc5-1.3.4
docker-cvc5-1.3.4
7s
[provers] update all CVC5 versions Build documentation #614: Pull request #1004 synchronize by fdupress
3m 55s docker-cvc5-1.3.4
docker-cvc5-1.3.4
3m 55s
subtype: generalize over section-declared free types at section close EasyCrypt Docker Containers Build #115: Commit ac42e2a pushed by github-merge-queue Bot
18m 9s main
main
18m 9s