Skip to content

Actions: EasyCrypt/easycrypt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
feat(circuit): polymorphic array init binding kind (painit) Build documentation #932: Commit ccff776 pushed by github-merge-queue Bot
9m 53s main
main
9m 53s
feat(circuit): polymorphic array init binding kind (painit) EasyCrypt CI #5221: Commit ccff776 pushed by github-merge-queue Bot
In progress main
main
In progress
Enforce single-commit PR Enforce single-commit PR #323: Merge group checks requested
7s
7s
EasyCrypt CI EasyCrypt CI #5220: Merge group checks requested
28m 24s
28m 24s
feat(circuit): polymorphic array init binding kind (painit) EasyCrypt CI #5219: Pull request #1071 synchronize by strub
33m 54s bdep-slow
bdep-slow
33m 54s
feat(circuit): polymorphic array init binding kind (painit) Build documentation #931: Pull request #1071 synchronize by strub
16m 5s bdep-slow
bdep-slow
16m 5s
feat(circuit): polymorphic array init binding kind (painit) Enforce single-commit PR #322: Pull request #1071 synchronize by strub
5s bdep-slow
bdep-slow
5s
feat(circuit): polymorphic array init binding kind (painit) EasyCrypt CI #5218: Pull request #1071 opened by strub
31m 48s bdep-slow
bdep-slow
31m 48s
feat(circuit): polymorphic array init binding kind (painit) Enforce single-commit PR #321: Pull request #1071 opened by strub
6s bdep-slow
bdep-slow
6s
feat(circuit): polymorphic array init binding kind (painit) Build documentation #930: Pull request #1071 opened by strub
10m 37s bdep-slow
bdep-slow
10m 37s
Fall back to checking equality of expressions in sim Enforce single-commit PR #320: Pull request #997 synchronize by oskgo
7s fix-990-2
fix-990-2
7s
Fall back to checking equality of expressions in sim Build documentation #929: Pull request #997 synchronize by oskgo
10m 56s fix-990-2
fix-990-2
10m 56s
Fall back to checking equality of expressions in sim EasyCrypt CI #5217: Pull request #997 synchronize by oskgo
33m 5s fix-990-2
fix-990-2
33m 5s
PolyReduceZp: use default clone overrides (<=) and drop redundant `… Build documentation #928: Commit fbf412f pushed by strub
6m 36s main
main
6m 36s
PolyReduceZp: use default clone overrides (<=) and drop redundant `… EasyCrypt CI #5216: Commit fbf412f pushed by strub
48m 51s main
main
48m 51s
PolyReduceZp: use default clone overrides (<=) and drop redundant p param Enforce single-commit PR #319: Pull request #1069 opened by strub
8s better-clones-poly-reduce
better-clones-poly-reduce
8s
PolyReduceZp: use default clone overrides (<=) and drop redundant p param Build documentation #927: Pull request #1069 opened by strub
6m 52s better-clones-poly-reduce
better-clones-poly-reduce
6m 52s
PolyReduceZp: use default clone overrides (<=) and drop redundant p param EasyCrypt CI #5215: Pull request #1069 opened by strub
30m 21s better-clones-poly-reduce
better-clones-poly-reduce
30m 21s
emit error when overrinding a subtype with a type that is not a subty… Build documentation #926: Commit 9ecaecc pushed by github-merge-queue Bot
6m 43s main
main
6m 43s
emit error when overrinding a subtype with a type that is not a subty… EasyCrypt CI #5214: Commit 9ecaecc pushed by github-merge-queue Bot
59m 28s main
main
59m 28s
EasyCrypt CI EasyCrypt CI #5213: Merge group checks requested
31m 13s
31m 13s
Enforce single-commit PR Enforce single-commit PR #318: Merge group checks requested
5s
5s
fix(quotient): keep repr/pi opaque to SMT EasyCrypt CI #5212: Commit 36b86f1 pushed by github-merge-queue Bot
48m 37s main
main
48m 37s
fix(quotient): keep repr/pi opaque to SMT Build documentation #925: Commit 36b86f1 pushed by github-merge-queue Bot
6m 48s main
main
6m 48s
EasyCrypt CI EasyCrypt CI #5211: Merge group checks requested
31m 58s
31m 58s