Skip to content

Actions: EasyCrypt/easycrypt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,345 workflow runs
2,345 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
[chore] fix unused unfold warnings Enforce single-commit PR #177: Pull request #1042 synchronize by fdupress
5s fix-unused-unfold
fix-unused-unfold
5s
[chore] fix unused unfold warnings Build documentation #785: Pull request #1042 synchronize by fdupress
7m 11s fix-unused-unfold
fix-unused-unfold
7m 11s
[chore] fix unused unfold warnings EasyCrypt CI #5046: Pull request #1042 synchronize by fdupress
25m 38s fix-unused-unfold
fix-unused-unfold
25m 38s
[chore] fix unused unfold warnings Build documentation #784: Pull request #1042 synchronize by fdupress
3m 53s fix-unused-unfold
fix-unused-unfold
3m 53s
[chore] fix unused unfold warnings EasyCrypt CI #5045: Pull request #1042 synchronize by fdupress
23m 27s fix-unused-unfold
fix-unused-unfold
23m 27s
[chore] fix unused unfold warnings Enforce single-commit PR #176: Pull request #1042 synchronize by fdupress
7s fix-unused-unfold
fix-unused-unfold
7s
Warn on useless unfolds by default Build documentation #783: Commit 6890b87 pushed by github-merge-queue Bot
3m 45s main
main
3m 45s
Warn on useless unfolds by default EasyCrypt CI #5044: Commit 6890b87 pushed by github-merge-queue Bot
37m 59s main
main
37m 59s
EasyCrypt CI EasyCrypt CI #5043: Merge group checks requested
23m 12s
23m 12s
Enforce single-commit PR Enforce single-commit PR #175: Merge group checks requested
7s
7s
[chore] fix unused unfold warnings EasyCrypt CI #5042: Pull request #1042 synchronize by fdupress
26m 19s fix-unused-unfold
fix-unused-unfold
26m 19s
[chore] fix unused unfold warnings Build documentation #782: Pull request #1042 synchronize by fdupress
3m 32s fix-unused-unfold
fix-unused-unfold
3m 32s
[chore] fix unused unfold warnings Enforce single-commit PR #174: Pull request #1042 synchronize by fdupress
7s fix-unused-unfold
fix-unused-unfold
7s
[chore] fix unused unfold warnings Enforce single-commit PR #173: Pull request #1042 opened by fdupress
7s fix-unused-unfold
fix-unused-unfold
7s
[chore] fix unused unfold warnings Build documentation #781: Pull request #1042 opened by fdupress
4m 4s fix-unused-unfold
fix-unused-unfold
4m 4s
[chore] fix unused unfold warnings EasyCrypt CI #5041: Pull request #1042 opened by fdupress
29m 3s fix-unused-unfold
fix-unused-unfold
29m 3s
[external-ci] point SPHINCS+ job to formosa repo EasyCrypt CI #5040: Pull request #1036 synchronize by fdupress
26m 54s external-ci-formosa-slhdsa
external-ci-formosa-slhdsa
26m 54s
[external-ci] point SPHINCS+ job to formosa repo Build documentation #780: Pull request #1036 synchronize by fdupress
4m 13s external-ci-formosa-slhdsa
external-ci-formosa-slhdsa
4m 13s
[external-ci] point SPHINCS+ job to formosa repo Enforce single-commit PR #172: Pull request #1036 synchronize by fdupress
6s external-ci-formosa-slhdsa
external-ci-formosa-slhdsa
6s
phl: reorganize the program logic into a recheckable four-layer structure Build documentation #779: Pull request #1041 synchronize by strub
3m 55s refactor-pl
refactor-pl
3m 55s
phl: reorganize the program logic into a recheckable four-layer structure EasyCrypt CI #5039: Pull request #1041 synchronize by strub
23m 37s refactor-pl
refactor-pl
23m 37s
phl: reorganize the program logic into a recheckable four-layer structure Enforce single-commit PR #171: Pull request #1041 synchronize by strub
6s refactor-pl
refactor-pl
6s
phl: reorganize the program logic into a recheckable four-layer structure Enforce single-commit PR #170: Pull request #1041 synchronize by strub
6s refactor-pl
refactor-pl
6s
phl: reorganize the program logic into a recheckable four-layer structure EasyCrypt CI #5038: Pull request #1041 synchronize by strub
23m 45s refactor-pl
refactor-pl
23m 45s
phl: reorganize the program logic into a recheckable four-layer structure Build documentation #778: Pull request #1041 synchronize by strub
5m 22s refactor-pl
refactor-pl
5m 22s