Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
531 workflow runs
531 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
contributions from Claude experiments Build documentation #533: Pull request #982 opened by mbbarbosa
3m 36s claude_contributions
claude_contributions
3m 36s
Added prover quorum to project files and command line. Build documentation #532: Commit 736f20d pushed by github-merge-queue bot
3m 43s main
main
3m 43s
Make allperms_r opaque to work around #334 Build documentation #531: Commit e2d5000 pushed by github-merge-queue bot
7m 48s main
main
7m 48s
Added prover quorum to project files and command line. Build documentation #530: Pull request #981 synchronize by strub
9m 36s project-quorums
project-quorums
9m 36s
Added prover quorum to project files and command line. Build documentation #529: Pull request #981 synchronize by strub
7m 33s project-quorums
project-quorums
7m 33s
Added prover quorum to project files and command line. Build documentation #528: Pull request #981 opened by alleystoughton
3m 52s project-quorums
project-quorums
3m 52s
[docker] provers: bump alt-ergo to 2.6.3 Build documentation #527: Pull request #979 synchronize by fdupress
3m 55s prover-alt-ergo-2.6.3
prover-alt-ergo-2.6.3
3m 55s
[docker] provers: bump alt-ergo to 2.6.3 Build documentation #526: Pull request #979 synchronize by fdupress
5m 15s prover-alt-ergo-2.6.3
prover-alt-ergo-2.6.3
5m 15s
[docker] provers: bump alt-ergo to 2.6.3 Build documentation #525: Pull request #979 synchronize by fdupress
3m 53s prover-alt-ergo-2.6.3
prover-alt-ergo-2.6.3
3m 53s
[docker] provers: bump alt-ergo to 2.6.3 Build documentation #524: Pull request #979 synchronize by fdupress
3m 52s prover-alt-ergo-2.6.3
prover-alt-ergo-2.6.3
3m 52s
[docker] provers: bump alt-ergo to 2.6.3 Build documentation #523: Pull request #979 opened by fdupress
3m 50s prover-alt-ergo-2.6.3
prover-alt-ergo-2.6.3
3m 50s
Work around #334 in definition of allperms Build documentation #522: Pull request #975 synchronize by strub
5m 30s allperms-workaround
allperms-workaround
5m 30s
Work around #334 in definition of allperms Build documentation #521: Pull request #975 synchronize by strub
11s allperms-workaround
allperms-workaround
11s
Work around #334 in definition of allperms Build documentation #520: Pull request #975 synchronize by strub
6m 8s allperms-workaround
allperms-workaround
6m 8s
Work around #334 in definition of allperms Build documentation #519: Pull request #975 synchronize by strub
19s allperms-workaround
allperms-workaround
19s
Work around #334 in definition of allperms Build documentation #518: Pull request #975 synchronize by strub
1m 11s allperms-workaround
allperms-workaround
1m 11s
Work around #334 in definition of allperms Build documentation #517: Pull request #975 synchronize by strub
3m 46s allperms-workaround
allperms-workaround
3m 46s
feat(phl): add simplify if tactic Build documentation #516: Commit 9c8b4d9 pushed by github-merge-queue bot
3m 54s main
main
3m 54s
feat(phl): add simplify if tactic Build documentation #515: Pull request #973 synchronize by strub
3m 38s if-conversion
if-conversion
3m 38s
feat(phl): add simplify if tactic Build documentation #514: Pull request #973 synchronize by strub
6m 54s if-conversion
if-conversion
6m 54s
feat(phl): add simplify if tactic Build documentation #513: Pull request #973 synchronize by strub
3m 55s if-conversion
if-conversion
3m 55s
Refactor contextual rewrite: isolate strict matching modes Build documentation #512: Commit 29e0baa pushed by github-merge-queue bot
4m 0s main
main
4m 0s
[theories/modules] add law of total probability for lossless Build documentation #511: Commit 587d28f pushed by strub
4m 2s main
main
4m 2s
swap total_prob parameter, simplify proofs Build documentation #510: Commit 2f91738 pushed by github-merge-queue bot
4m 3s main
main
4m 3s
Add contextual rewrite-pattern selection Build documentation #509: Pull request #955 synchronize by strub
3m 50s rw-pattern-ctxt
rw-pattern-ctxt
3m 50s