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
84 workflow runs
84 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
Check that Distr is in scope when tagging distributions, fixing #211 Enforce single-commit PR #9: Pull request #988 synchronize by fdupress
23s fix-rndll
fix-rndll
23s
Check that Distr is in scope when tagging distributions, fixing #211 Enforce single-commit PR #8: Pull request #988 synchronize by fdupress
7s fix-rndll
fix-rndll
7s
Refactor CI to run in fresh build box Enforce single-commit PR #7: Pull request #1000 synchronize by fdupress
6s ci-in-fresh-build-box
ci-in-fresh-build-box
6s
Refactor CI to run in fresh build box Enforce single-commit PR #6: Pull request #1000 synchronize by fdupress
14s ci-in-fresh-build-box
ci-in-fresh-build-box
14s
Enforce single-commit PR Enforce single-commit PR #5: Merge group checks requested
14s
14s
ci: enforce single-commit PRs Enforce single-commit PR #4: Pull request #1003 synchronize by fdupress
13s force-1-commit
force-1-commit
13s
ci: enforce single-commit PRs Enforce single-commit PR #3: Pull request #1003 synchronize by strub
6s force-1-commit
force-1-commit
6s
ci: enforce single-commit PRs Enforce single-commit PR #2: Pull request #1003 synchronize by strub
13s force-1-commit
force-1-commit
13s
ci: enforce single-commit PRs Enforce single-commit PR #1: Pull request #1003 opened by strub
6s force-1-commit
force-1-commit
6s