Skip to content

Actions: EasyCrypt/easycrypt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,994 workflow runs
1,994 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
split: add split * and split + to iterate over top-level conjunct… Build documentation #669: Commit e2bb4eb pushed by github-merge-queue Bot
3m 59s main
main
3m 59s
split: add split * and split + to iterate over top-level conjunct… EasyCrypt CI #4916: Commit e2bb4eb pushed by github-merge-queue Bot
31m 13s main
main
31m 13s
EasyCrypt CI EasyCrypt CI #4915: Merge group checks requested
27m 46s
27m 46s
Enforce single-commit PR Enforce single-commit PR #67: Merge group checks requested
7s
7s
Merge remote-tracking branch 'origin/main' into deploy-expected-cost EasyCrypt CI #4914: Commit 77802af pushed by strub
Queued dilithium
dilithium
Queued
[ci] do not rebuild base or base-build in PR runs EasyCrypt CI #4913: Pull request #1008 synchronize by fdupress
45s ci-retrieve-base
ci-retrieve-base
45s
[ci] do not rebuild base or base-build in PR runs Build documentation #668: Pull request #1008 synchronize by fdupress
7s ci-retrieve-base
ci-retrieve-base
7s
[ci] do not rebuild base or base-build in PR runs Enforce single-commit PR #66: Pull request #1008 synchronize by fdupress
5s ci-retrieve-base
ci-retrieve-base
5s
bullets: focusing operators behind +strict_bullets pragma EasyCrypt CI #4912: Pull request #1017 synchronize by strub
27m 44s forced-bullets
forced-bullets
27m 44s
bullets: focusing operators behind +strict_bullets pragma Enforce single-commit PR #65: Pull request #1017 synchronize by strub
6s forced-bullets
forced-bullets
6s
bullets: focusing operators behind +strict_bullets pragma Build documentation #667: Pull request #1017 synchronize by strub
4m 29s forced-bullets
forced-bullets
4m 29s
bullets: focusing operators behind +strict_bullets pragma Build documentation #666: Pull request #1017 synchronize by strub
3m 53s forced-bullets
forced-bullets
3m 53s
bullets: focusing operators behind +strict_bullets pragma EasyCrypt CI #4911: Pull request #1017 synchronize by strub
27m 29s forced-bullets
forced-bullets
27m 29s
bullets: focusing operators behind +strict_bullets pragma Enforce single-commit PR #64: Pull request #1017 synchronize by strub
6s forced-bullets
forced-bullets
6s
bullets: focusing operators behind +strict_bullets pragma Enforce single-commit PR #63: Pull request #1017 synchronize by strub
8s forced-bullets
forced-bullets
8s
bullets: focusing operators behind +strict_bullets pragma EasyCrypt CI #4910: Pull request #1017 synchronize by strub
27m 52s forced-bullets
forced-bullets
27m 52s
bullets: focusing operators behind +strict_bullets pragma Build documentation #665: Pull request #1017 synchronize by strub
4m 8s forced-bullets
forced-bullets
4m 8s
split: add split * and split + to iterate over top-level conjunctions EasyCrypt CI #4909: Pull request #1015 synchronize by strub
28m 9s split-star
split-star
28m 9s
split: add split * and split + to iterate over top-level conjunctions Enforce single-commit PR #62: Pull request #1015 synchronize by strub
6s split-star
split-star
6s
split: add split * and split + to iterate over top-level conjunctions Build documentation #664: Pull request #1015 synchronize by strub
6m 12s split-star
split-star
6m 12s
[docker] consolidate dockerfiles Build documentation #663: Commit 3665b5e pushed by github-merge-queue Bot
4m 1s main
main
4m 1s
[docker] consolidate dockerfiles EasyCrypt CI #4908: Commit 3665b5e pushed by github-merge-queue Bot
31m 14s main
main
31m 14s
EasyCrypt CI EasyCrypt CI #4907: Merge group checks requested
28m 17s
28m 17s
Enforce single-commit PR Enforce single-commit PR #61: Merge group checks requested
5s
5s
bullets: focusing operators behind +strict_bullets pragma Build documentation #662: Pull request #1017 synchronize by strub
3m 49s forced-bullets
forced-bullets
3m 49s