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 #4998: Pull request #954 synchronize by strub
27m 24s hint-simplify-db
hint-simplify-db
27m 24s
[runtest] list failing files EasyCrypt CI #4997: Commit 053ee6e pushed by github-merge-queue Bot
31m 55s main
main
31m 55s
EasyCrypt CI EasyCrypt CI #4996: Merge group checks requested
28m 17s
28m 17s
Add named and local simplify hint databases EasyCrypt CI #4995: Pull request #954 synchronize by strub
28m 6s hint-simplify-db
hint-simplify-db
28m 6s
[ci] do not rebuild base or base-build in PR runs EasyCrypt CI #4994: Pull request #1008 synchronize by fdupress
23m 13s ci-retrieve-base
ci-retrieve-base
23m 13s
[runtest] list failing files EasyCrypt CI #4993: Pull request #1032 synchronize by fdupress
29m 33s runtest-list-errors
runtest-list-errors
29m 33s
[runtest] list failing files EasyCrypt CI #4992: Pull request #1032 opened by fdupress
16m 55s runtest-list-errors
runtest-list-errors
16m 55s
feat(phl): support backward ecall on bdHoare/phoare goals EasyCrypt CI #4991: Pull request #1031 opened by mbbarbosa
54m 25s ecall-phoare-bwd
ecall-phoare-bwd
54m 25s
[distributions] in programmatic list sampling, make the distribution dynamic EasyCrypt CI #4990: Pull request #1030 synchronize by fdupress
25m 0s generalise-dlist-program
generalise-dlist-program
25m 0s
[distributions] in programmatic list sampling, make the distribution dynamic EasyCrypt CI #4989: Pull request #1030 opened by fdupress
29m 40s generalise-dlist-program
generalise-dlist-program
29m 40s
Switch axiom replay to use exact rather than a custom apply variant EasyCrypt CI #4988: Pull request #1029 opened by oskgo
27m 59s simplify-clone-ax-replay
simplify-clone-ax-replay
27m 59s
[cryptolib] generalize PRF definitions, PRP<->PRF EasyCrypt CI #4987: Pull request #1028 opened by fdupress
30m 50s prf-generalise
prf-generalise
30m 50s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4986: Pull request #752 synchronize by Gustavo2622
35m 26s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
35m 26s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4985: Pull request #752 synchronize by Gustavo2622
37m 5s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
37m 5s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4984: Pull request #752 synchronize by Gustavo2622
35m 20s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
35m 20s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4983: Pull request #752 synchronize by Gustavo2622
35m 4s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
35m 4s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4982: Pull request #752 synchronize by Gustavo2622
35m 45s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
35m 45s
Simplify some smt calls EasyCrypt CI #4981: Pull request #1025 opened by oskgo
28m 40s flaky-smt
flaky-smt
28m 40s
Use auto unfold for some Logic operators EasyCrypt CI #4980: Pull request #1014 synchronize by oskgo
27m 55s stdlib-auto-unfold
stdlib-auto-unfold
27m 55s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4979: Pull request #752 synchronize by Gustavo2622
34m 35s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
34m 35s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4978: Pull request #752 synchronize by strub
35m 57s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
35m 57s
Add bit-level circuit reasoning: circuit/extens tactics and bind command EasyCrypt CI #4977: Pull request #752 synchronize by strub
35m 42s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
35m 42s
Add named and local simplify hint databases EasyCrypt CI #4976: Pull request #954 synchronize by strub
27m 40s hint-simplify-db
hint-simplify-db
27m 40s
Add named and local simplify hint databases EasyCrypt CI #4975: Pull request #954 synchronize by strub
27m 58s hint-simplify-db
hint-simplify-db
27m 58s
Add named and local simplify hint databases EasyCrypt CI #4974: Pull request #954 synchronize by strub
28m 7s hint-simplify-db
hint-simplify-db
28m 7s
ProTip! You can narrow down the results and go further in time using created:<2026-06-02 or the other filters available.