Skip to content

Actions: EasyCrypt/easycrypt

Actions

Enforce single-commit PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
enforce-single-commit.yml
49 workflow runs
49 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
Use auto unfold for some Logic operators Enforce single-commit PR #49: Pull request #1014 opened by oskgo
7s stdlib-auto-unfold
stdlib-auto-unfold
7s
Deploy tc Enforce single-commit PR #48: Pull request #633 synchronize by strub
6s deploy-tc
deploy-tc
6s
Deploy tc Enforce single-commit PR #47: Pull request #633 synchronize by strub
11s deploy-tc
deploy-tc
11s
Emit proper error message when typing ={pvar} in a single sided context Enforce single-commit PR #46: Pull request #1013 opened by oskgo
10s fix-1009
fix-1009
10s
Prevent type parameters in subtypes Enforce single-commit PR #45: Pull request #1012 opened by oskgo
10s prevent-subtype-type-variables
prevent-subtype-type-variables
10s
Deploy tc Enforce single-commit PR #44: Pull request #633 synchronize by strub
9s deploy-tc
deploy-tc
9s
[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 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 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 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 Enforce single-commit PR #39: Pull request #1008 synchronize by fdupress
10s ci-retrieve-base
ci-retrieve-base
10s
[docker] consolidate dockerfiles Enforce single-commit PR #38: Pull request #1007 synchronize by fdupress
7s docker-consolidate
docker-consolidate
7s
Enforce single-commit PR Enforce single-commit PR #37: Merge group checks requested
8s
8s
Deploy tc Enforce single-commit PR #36: Pull request #633 synchronize by strub
8s deploy-tc
deploy-tc
8s
Deploy tc Enforce single-commit PR #35: Pull request #633 synchronize by strub
6s deploy-tc
deploy-tc
6s
Deploy tc Enforce single-commit PR #34: Pull request #633 synchronize by strub
6s deploy-tc
deploy-tc
6s
[ci] do not rebuild base or base-build in PR runs Enforce single-commit PR #33: Pull request #1008 synchronize by fdupress
6s ci-retrieve-base
ci-retrieve-base
6s
[docker] consolidate dockerfiles Enforce single-commit PR #32: Pull request #1007 synchronize by fdupress
6s docker-consolidate
docker-consolidate
6s
[docker] consolidate dockerfiles Enforce single-commit PR #31: Pull request #1007 synchronize by fdupress
6s docker-consolidate
docker-consolidate
6s
[docker] use binary alt-ergo builds Enforce single-commit PR #30: Pull request #1010 opened by fdupress
8s docker-binary-alt-ergo
docker-binary-alt-ergo
8s
[ci] do not rebuild base or base-build 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 or base-build in PR runs Enforce single-commit PR #28: Pull request #1008 opened by fdupress
8s ci-retrieve-base
ci-retrieve-base
8s
[docker] consolidate dockerfiles Enforce single-commit PR #27: Pull request #1007 opened by fdupress
13s docker-consolidate
docker-consolidate
13s
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