Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
622 workflow runs
622 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
EasyCrypt Circuit Based Reasoning Extension Build documentation #499: Pull request #752 synchronize by strub
7m 20s bdep_ecCircuitsRefactor
bdep_ecCircuitsRefactor
7m 20s
Add contextual rewrite-pattern selection Build documentation #498: Pull request #955 synchronize by strub
3m 57s rw-pattern-ctxt
rw-pattern-ctxt
3m 57s
Add tentative auto-generated EasyCrypt language documentation Build documentation #497: Pull request #976 opened by strub
3m 54s doc-language
doc-language
3m 54s
Add goal printing flags (-upto, -lastgoals) and LLM agent guide Build documentation #496: Commit fe9fba3 pushed by github-merge-queue Bot
4m 13s main
main
4m 13s
Add goal printing flags (-upto, -lastgoals) and LLM agent guide Build documentation #495: Pull request #944 synchronize by strub
3m 38s namasikanam:main
namasikanam:main
3m 38s
Update to the latest keywords list and remove the letter environment. Build documentation #494: Commit 5a50911 pushed by github-merge-queue Bot
4m 4s main
main
4m 4s
Add a LaTeX formatting style file Build documentation #493: Pull request #971 synchronize by strub
3m 51s latex-format
latex-format
3m 51s
Add a LaTeX formatting style file Build documentation #492: Pull request #971 synchronize by namasikanam
3m 43s latex-format
latex-format
3m 43s
feat(phl): add simplify if tactic Build documentation #491: Pull request #973 synchronize by bgregoir
3m 39s if-conversion
if-conversion
3m 39s
Fix multi-line error message Build documentation #490: Commit c5ddeca pushed by github-merge-queue Bot
4m 22s main
main
4m 22s
Work around #334 in definition of allperms Build documentation #489: Pull request #975 synchronize by oskgo
3m 43s allperms-workaround
allperms-workaround
3m 43s
Work around #334 in definition of allperms Build documentation #488: Pull request #975 opened by oskgo
3m 47s allperms-workaround
allperms-workaround
3m 47s
feat(phl): add simplify if tactic Build documentation #487: Pull request #973 synchronize by bgregoir
3m 45s if-conversion
if-conversion
3m 45s
Add goal printing flags (-upto, -lastgoals) and LLM agent guide Build documentation #486: Pull request #944 synchronize by namasikanam
3m 51s namasikanam:main
namasikanam:main
3m 51s
Add a LaTeX formatting style file Build documentation #485: Pull request #971 synchronize by namasikanam
4m 16s latex-format
latex-format
4m 16s
Fix multi-line error message Build documentation #484: Pull request #974 synchronize by strub
3m 58s fix-long-message
fix-long-message
3m 58s
feat(phl): add simplify if tactic Build documentation #483: Pull request #973 synchronize by bgregoir
5m 10s if-conversion
if-conversion
5m 10s
feat(phl): add simplify if tactic Build documentation #482: Pull request #973 synchronize by bgregoir
3m 46s if-conversion
if-conversion
3m 46s
Fix multi-line error message Build documentation #481: Pull request #974 opened by strub
7m 30s fix-long-message
fix-long-message
7m 30s
feat(phl): add simplify if tactic Build documentation #480: Pull request #973 opened by bgregoir
3m 55s if-conversion
if-conversion
3m 55s
Add a LaTeX formatting style file Build documentation #479: Pull request #971 synchronize by strub
3m 49s latex-format
latex-format
3m 49s
implement allperms to get rid of some unneeded axioms Build documentation #478: Commit ecb3395 pushed by github-merge-queue Bot
4m 13s main
main
4m 13s
Add a LaTeX formatting style file Build documentation #477: Pull request #971 opened by namasikanam
3m 41s latex-format
latex-format
3m 41s
implement allperms to get rid of some unneeded axioms Build documentation #476: Pull request #970 synchronize by strub
3m 38s remove-axioms
remove-axioms
3m 38s
implement allperms to get rid of some unneeded axioms Build documentation #475: Pull request #970 opened by oskgo
3m 39s remove-axioms
remove-axioms
3m 39s