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
Eager: match on last statement and use EqTest EasyCrypt CI #4371: Pull request #900 synchronize by Cameron-Low
18m 11s fix-eager
fix-eager
18m 11s
Tactic: add hoare split EasyCrypt CI #4370: Pull request #888 synchronize by oskgo
33m 55s hoare-split
hoare-split
33m 55s
Eager: match on last statement and use EqTest EasyCrypt CI #4369: Pull request #900 synchronize by strub
2m 34s fix-eager
fix-eager
2m 34s
Reconstruct match correctly in zip EasyCrypt CI #4368: Commit feb688f pushed by strub
19m 49s main
main
19m 49s
document proc* (#894) EasyCrypt CI #4367: Commit ee9221d pushed by oskgo
19m 30s main
main
19m 30s
document clear tactic (#895) EasyCrypt CI #4366: Commit ad0f28a pushed by oskgo
19m 25s main
main
19m 25s
document proc* EasyCrypt CI #4365: Pull request #894 synchronize by oskgo
19m 55s doc-procstar
doc-procstar
19m 55s
Internal: correctly preserve match statements when constructing a zipper EasyCrypt CI #4364: Pull request #899 synchronize by Cameron-Low
19m 53s fix-zipper-match
fix-zipper-match
19m 53s
document clear tactic EasyCrypt CI #4363: Pull request #895 synchronize by oskgo
19m 51s doc-clear
doc-clear
19m 51s
Eager: match on last statement and use EqTest EasyCrypt CI #4362: Pull request #900 opened by Cameron-Low
19m 26s fix-eager
fix-eager
19m 26s
Internal: correctly preserve match statements when constructing a zipper EasyCrypt CI #4361: Pull request #899 opened by Cameron-Low
19m 53s fix-zipper-match
fix-zipper-match
19m 53s
Feature exception EasyCrypt CI #4360: Pull request #806 synchronize by lyonel2017
19m 55s feature-exception
feature-exception
19m 55s
Tactic: add hoare split EasyCrypt CI #4359: Pull request #888 synchronize by strub
21m 54s hoare-split
hoare-split
21m 54s
Fix spurious line breaks in pretty-printing of qualified module paths EasyCrypt CI #4358: Commit 3866ec1 pushed by strub
18m 36s main
main
18m 36s
Fix spurious line breaks in pretty-printing of qualified module paths EasyCrypt CI #4357: Pull request #898 opened by JNC4
19m 49s JNC4:fix/pp-msymbol-linebreak
JNC4:fix/pp-msymbol-linebreak
19m 49s
Exposed in the API for EcScope.Theory functions for beginning and EasyCrypt CI #4356: Commit 73bb1f6 pushed by strub
19m 47s main
main
19m 47s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4355: Pull request #752 synchronize by Gustavo2622
22m 13s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
22m 13s
Exposed in the API for EcScope.Theory functions for manually beginning and finishing requires EasyCrypt CI #4354: Pull request #896 opened by alleystoughton
19m 55s external-api-requires
external-api-requires
19m 55s
document clear tactic EasyCrypt CI #4353: Pull request #895 opened by oskgo
19m 44s doc-clear
doc-clear
19m 44s
document proc* EasyCrypt CI #4352: Pull request #894 opened by oskgo
24m 2s doc-procstar
doc-procstar
24m 2s
PR: Allow symbolic assignments for cfold EasyCrypt CI #4351: Pull request #892 synchronize by strub
23m 57s improvement_symbolic_cfold
improvement_symbolic_cfold
23m 57s
[external-ci] use formosa-xmss security proof EasyCrypt CI #4350: Commit 99d826d pushed by strub
24m 4s main
main
24m 4s
[external-ci] use formosa-xmss security proof EasyCrypt CI #4349: Pull request #893 opened by fdupress
24m 1s external-ci-formosa-xmss
external-ci-formosa-xmss
24m 1s
PR: Allow symbolic assignments for cfold EasyCrypt CI #4348: Pull request #892 synchronize by Gustavo2622
23m 21s improvement_symbolic_cfold
improvement_symbolic_cfold
23m 21s
PR: Allow symbolic assignments for cfold EasyCrypt CI #4347: Pull request #892 synchronize by Gustavo2622
22m 10s improvement_symbolic_cfold
improvement_symbolic_cfold
22m 10s
ProTip! You can narrow down the results and go further in time using created:<2026-02-10 or the other filters available.