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
[ci] do not rebuild base or base-build in PR runs EasyCrypt CI #4887: Pull request #1008 synchronize by fdupress
25m 43s ci-retrieve-base
ci-retrieve-base
25m 43s
[ci] do not rebuild base or base-build in PR runs Enforce single-commit PR #43: 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 Build documentation #645: Pull request #1008 synchronize by fdupress
3m 50s ci-retrieve-base
ci-retrieve-base
3m 50s
[ci] do not rebuild base or base-build in PR runs EasyCrypt CI #4886: Pull request #1008 synchronize by fdupress
1m 34s ci-retrieve-base
ci-retrieve-base
1m 34s
[ci] do not rebuild base or base-build in PR runs Enforce single-commit PR #42: 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 Build documentation #644: Pull request #1008 synchronize by fdupress
3m 33s ci-retrieve-base
ci-retrieve-base
3m 33s
[ci] do not rebuild base or base-build in PR runs Build documentation #643: Pull request #1008 synchronize by fdupress
4m 13s ci-retrieve-base
ci-retrieve-base
4m 13s
[ci] do not rebuild base or base-build in PR runs EasyCrypt CI #4885: Pull request #1008 synchronize by fdupress
1m 25s ci-retrieve-base
ci-retrieve-base
1m 25s
[ci] do not rebuild base or base-build in PR runs Enforce single-commit PR #41: 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 EasyCrypt CI #4884: Pull request #1008 synchronize by fdupress
1m 26s ci-retrieve-base
ci-retrieve-base
1m 26s
[ci] do not rebuild base or base-build in PR runs Build documentation #642: Pull request #1008 synchronize by fdupress
4m 10s ci-retrieve-base
ci-retrieve-base
4m 10s
[ci] do not rebuild base or base-build in PR runs Enforce single-commit PR #40: Pull request #1008 synchronize by fdupress
6s ci-retrieve-base
ci-retrieve-base
6s
[ci] do not rebuild base or base-build in PR runs EasyCrypt CI #4883: Pull request #1008 synchronize by fdupress
26m 6s ci-retrieve-base
ci-retrieve-base
26m 6s
[ci] do not rebuild base or base-build in PR runs Enforce single-commit PR #39: Pull request #1008 synchronize by fdupress
10s ci-retrieve-base
ci-retrieve-base
10s
[ci] do not rebuild base or base-build in PR runs Build documentation #641: Pull request #1008 synchronize by fdupress
6m 53s ci-retrieve-base
ci-retrieve-base
6m 53s
[docker] consolidate dockerfiles EasyCrypt CI #4882: Pull request #1007 synchronize by fdupress
29m 23s docker-consolidate
docker-consolidate
29m 23s
[docker] consolidate dockerfiles Enforce single-commit PR #38: Pull request #1007 synchronize by fdupress
7s docker-consolidate
docker-consolidate
7s
[docker] consolidate dockerfiles Build documentation #640: Pull request #1007 synchronize by fdupress
4m 8s docker-consolidate
docker-consolidate
4m 8s
[docker] use binary alt-ergo builds EasyCrypt CI #4881: Commit b09b7ae pushed by github-merge-queue Bot
34m 25s main
main
34m 25s
[docker] use binary alt-ergo builds Build documentation #639: Commit b09b7ae pushed by github-merge-queue Bot
3m 52s main
main
3m 52s
Enforce single-commit PR Enforce single-commit PR #37: Merge group checks requested
8s
8s
EasyCrypt CI EasyCrypt CI #4880: Merge group checks requested
29m 35s
29m 35s
Deploy tc Build documentation #638: Pull request #633 synchronize by strub
3m 50s deploy-tc
deploy-tc
3m 50s
Deploy tc EasyCrypt CI #4879: Pull request #633 synchronize by strub
36m 52s deploy-tc
deploy-tc
36m 52s
Deploy tc Enforce single-commit PR #36: Pull request #633 synchronize by strub
8s deploy-tc
deploy-tc
8s