Skip to content

Actions: EasyCrypt/easycrypt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,879 workflow runs
1,879 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
[ci] do not rebuild base in PR runs Enforce single-commit PR #29: Pull request #1008 synchronize by fdupress
10s ci-retrieve-base
ci-retrieve-base
10s
[ci] do not rebuild base 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 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 in PR runs Enforce single-commit PR #28: Pull request #1008 opened by fdupress
8s ci-retrieve-base
ci-retrieve-base
8s
[ci] do not rebuild base in PR runs EasyCrypt CI #4871: Pull request #1008 opened by fdupress
1m 36s ci-retrieve-base
ci-retrieve-base
1m 36s
[ci] do not rebuild base 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
[docker] consolidate dockerfiles Enforce single-commit PR #27: Pull request #1007 opened by fdupress
13s docker-consolidate
docker-consolidate
13s
[docker] consolidate dockerfiles EasyCrypt CI #4870: Pull request #1007 opened by fdupress
36m 58s docker-consolidate
docker-consolidate
36m 58s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… EasyCrypt CI #4869: Pull request #995 synchronize by mbbarbosa
38m 5s feature-zqcentered
feature-zqcentered
38m 5s
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… Enforce single-commit PR #26: Pull request #995 synchronize by mbbarbosa
13s feature-zqcentered
feature-zqcentered
13s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… Enforce single-commit PR #25: Pull request #995 synchronize by mbbarbosa
7s feature-zqcentered
feature-zqcentered
7s
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
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… EasyCrypt CI #4868: Pull request #995 synchronize by mbbarbosa
38m 16s feature-zqcentered
feature-zqcentered
38m 16s
update all CVC5 versions EasyCrypt CI #4867: Commit 909464e pushed by fdupress
44m 31s main
main
44m 31s
update all CVC5 versions Build documentation #626: Commit 909464e pushed by fdupress
5m 4s main
main
5m 4s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… EasyCrypt CI #4866: Pull request #995 synchronize by mbbarbosa
41m 13s feature-zqcentered
feature-zqcentered
41m 13s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… Enforce single-commit PR #24: Pull request #995 synchronize by mbbarbosa
13s feature-zqcentered
feature-zqcentered
13s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… Build documentation #625: Pull request #995 synchronize by mbbarbosa
4m 47s feature-zqcentered
feature-zqcentered
4m 47s
[provers] update all CVC5 versions Enforce single-commit PR #23: Pull request #1004 synchronize by fdupress
6s docker-cvc5-1.3.4
docker-cvc5-1.3.4
6s
[provers] update all CVC5 versions Build documentation #624: Pull request #1004 synchronize by fdupress
3m 46s docker-cvc5-1.3.4
docker-cvc5-1.3.4
3m 46s
[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
Refactor CI to run in fetch build box Build documentation #623: Commit aadaa2a pushed by github-merge-queue Bot
4m 3s main
main
4m 3s