Skip to content

Actions: EasyCrypt/easycrypt

Actions

EasyCrypt CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,449 workflow runs
1,449 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
Add named and local simplify hint databases EasyCrypt CI #4973: Pull request #954 synchronize by strub
28m 25s hint-simplify-db
hint-simplify-db
28m 25s
Add named and local simplify hint databases EasyCrypt CI #4972: Pull request #954 synchronize by strub
29m 24s hint-simplify-db
hint-simplify-db
29m 24s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4971: Pull request #752 synchronize by strub
35m 26s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
35m 26s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4970: Pull request #752 synchronize by strub
38m 13s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
38m 13s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4969: Pull request #752 synchronize by strub
35m 5s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
35m 5s
bullets: focusing operators behind +strict_bullets pragma EasyCrypt CI #4968: Commit 76bf9e9 pushed by github-merge-queue Bot
33m 11s main
main
33m 11s
congr: add congr pat and congr * variants EasyCrypt CI #4967: Commit c65e627 pushed by github-merge-queue Bot
32m 5s main
main
32m 5s
EasyCrypt CI EasyCrypt CI #4966: Merge group checks requested
26m 27s
26m 27s
bullets: focusing operators behind +strict_bullets pragma EasyCrypt CI #4965: Pull request #1017 synchronize by strub
28m 29s forced-bullets
forced-bullets
28m 29s
EasyCrypt CI EasyCrypt CI #4964: Merge group checks requested
38m 20s
38m 20s
bullets: focusing operators behind +strict_bullets pragma EasyCrypt CI #4963: Pull request #1017 synchronize by strub
28m 55s forced-bullets
forced-bullets
28m 55s
bullets: focusing operators behind +strict_bullets pragma EasyCrypt CI #4962: Pull request #1017 synchronize by strub
26m 56s forced-bullets
forced-bullets
26m 56s
congr: add congr pat and congr * variants EasyCrypt CI #4961: Pull request #1016 synchronize by strub
28m 16s congr-pattern
congr-pattern
28m 16s
congr: add congr pat and congr * variants EasyCrypt CI #4960: Pull request #1016 synchronize by strub
28m 28s congr-pattern
congr-pattern
28m 28s
congr: add congr pat and congr * variants EasyCrypt CI #4959: Pull request #1016 synchronize by strub
28m 33s congr-pattern
congr-pattern
28m 33s
PHL: make eqobs-in programmatically reusable (split parse/tactic) EasyCrypt CI #4958: Commit 171c464 pushed by github-merge-queue Bot
30m 6s main
main
30m 6s
EasyCrypt CI EasyCrypt CI #4957: Merge group checks requested
29m 36s
29m 36s
PHL: make eqobs-in programmatically reusable (split parse/tactic) EasyCrypt CI #4956: Pull request #1023 synchronize by strub
30m 52s deploy-eqobs-refactor
deploy-eqobs-refactor
30m 52s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4955: Pull request #752 synchronize by strub
36m 7s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
36m 7s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4954: Pull request #752 synchronize by strub
34m 47s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
34m 47s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4953: Pull request #752 synchronize by strub
36m 17s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
36m 17s
[llm] playground for LLM-related interaction EasyCrypt CI #4952: Pull request #1019 synchronize by strub
28m 6s llm-interactive
llm-interactive
28m 6s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4951: Pull request #752 synchronize by strub
32m 46s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
32m 46s
Cloning: support inlining a type via clone-inline (clinline) EasyCrypt CI #4950: Commit f11a6d5 pushed by github-merge-queue Bot
31m 11s main
main
31m 11s
EasyCrypt CI EasyCrypt CI #4949: Merge group checks requested
26m 9s
26m 9s
ProTip! You can narrow down the results and go further in time using created:<2026-05-31 or the other filters available.