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 bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4948: Pull request #752 synchronize by strub
34m 6s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
34m 6s
PHL: make eqobs-in programmatically reusable (split parse/tactic) EasyCrypt CI #4947: Pull request #1023 opened by strub
29m 29s deploy-eqobs-refactor
deploy-eqobs-refactor
29m 29s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4946: Pull request #752 synchronize by strub
34m 55s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
34m 55s
flake: update toolchain and dev shells EasyCrypt CI #4945: Pull request #1022 opened by strub
25m 33s deploy-flake
deploy-flake
25m 33s
split: add split * and split + to iterate over top-level conjunct… EasyCrypt CI #4944: Commit e2bb4eb pushed by strub
34m 4s main
main
34m 4s
flake: update toolchain and dev shells EasyCrypt CI #4943: Commit 097065e pushed by strub
32m 44s main
main
32m 44s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4942: Pull request #752 synchronize by strub
6m 8s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
6m 8s
Cloning: support inlining a type via clone-inline (clinline) EasyCrypt CI #4941: Pull request #1021 opened by strub
30m 32s deploy-tyd-clinline-pr
deploy-tyd-clinline-pr
30m 32s
split: add split * and split + to iterate over top-level conjunct… EasyCrypt CI #4940: Commit e2bb4eb pushed by strub
31m 35s main
main
31m 35s
Cloning: support inlining a type via clone-inline (clinline) EasyCrypt CI #4939: Commit 47c9fba pushed by strub
32m 8s main
main
32m 8s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4938: Pull request #752 synchronize by strub
51m 24s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
51m 24s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4937: Pull request #752 synchronize by strub
51m 32s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
51m 32s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4936: Pull request #752 synchronize by strub
32m 54s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
32m 54s
Add black-box quotation preprocessor EasyCrypt CI #4935: Pull request #1020 synchronize by strub
27m 35s quotation-preprocessor
quotation-preprocessor
27m 35s
Add black-box quotation preprocessor EasyCrypt CI #4934: Pull request #1020 synchronize by strub
28m 47s quotation-preprocessor
quotation-preprocessor
28m 47s
Fall back to checking equality of expressions in sim EasyCrypt CI #4933: Pull request #997 synchronize by oskgo
31m 14s fix-990-2
fix-990-2
31m 14s
Add black-box quotation preprocessor EasyCrypt CI #4932: Pull request #1020 synchronize by strub
28m 13s quotation-preprocessor
quotation-preprocessor
28m 13s
Add black-box quotation preprocessor EasyCrypt CI #4931: Pull request #1020 synchronize by strub
28m 49s quotation-preprocessor
quotation-preprocessor
28m 49s
Add black-box quotation preprocessor EasyCrypt CI #4930: Pull request #1020 synchronize by strub
29m 20s quotation-preprocessor
quotation-preprocessor
29m 20s
LSP EasyCrypt CI #4929: Pull request #871 synchronize by strub
29m 52s vscode
vscode
29m 52s
LSP EasyCrypt CI #4928: Pull request #871 synchronize by strub
28m 43s vscode
vscode
28m 43s
Add black-box quotation preprocessor EasyCrypt CI #4927: Pull request #1020 opened by strub
26m 55s quotation-preprocessor
quotation-preprocessor
26m 55s
Add named and local simplify hint databases EasyCrypt CI #4926: Pull request #954 synchronize by strub
27m 23s hint-simplify-db
hint-simplify-db
27m 23s
Add named and local simplify hint databases EasyCrypt CI #4925: Pull request #954 synchronize by strub
28m 38s hint-simplify-db
hint-simplify-db
28m 38s
Check equality of expressions up to convertibility EasyCrypt CI #4924: Pull request #996 synchronize by oskgo
27m 25s fix-990
fix-990
27m 25s
ProTip! You can narrow down the results and go further in time using created:<2026-05-28 or the other filters available.