Skip to content

Actions: EasyCrypt/easycrypt

Actions

Build documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
619 workflow runs
619 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
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… Build documentation #621: Pull request #995 synchronize by mbbarbosa
3m 32s feature-zqcentered
feature-zqcentered
3m 32s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… Build documentation #620: Pull request #995 synchronize by mbbarbosa
4m 12s feature-zqcentered
feature-zqcentered
4m 12s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… Build documentation #619: Pull request #995 synchronize by mbbarbosa
4m 4s feature-zqcentered
feature-zqcentered
4m 4s
Adds theories/algebra/ZqCentered.ec providing the centered (signed) i… Build documentation #618: Pull request #995 synchronize by mbbarbosa
3m 53s feature-zqcentered
feature-zqcentered
3m 53s
Check Distr is in scope when tagging distributions Build documentation #617: Commit 7447340 pushed by github-merge-queue Bot
3m 59s main
main
3m 59s
[provers] update all CVC5 versions Build documentation #616: Pull request #1004 synchronize by fdupress
6m 44s docker-cvc5-1.3.4
docker-cvc5-1.3.4
6m 44s
Refactor CI to run in fresh build box Build documentation #615: Pull request #1000 synchronize by fdupress
3m 45s ci-in-fresh-build-box
ci-in-fresh-build-box
3m 45s
[provers] update all CVC5 versions Build documentation #614: Pull request #1004 synchronize by fdupress
3m 55s docker-cvc5-1.3.4
docker-cvc5-1.3.4
3m 55s
subtype: generalize over section-declared free types at section close Build documentation #613: Commit ac42e2a pushed by github-merge-queue Bot
4m 7s main
main
4m 7s
subtype: generalize over section-declared free types at section close Build documentation #612: Pull request #1002 synchronize by fdupress
3m 21s fix-subtype-section-generalize
fix-subtype-section-generalize
3m 21s
subtype: generalize over section-declared free types at section close Build documentation #611: Pull request #1002 synchronize by strub
3m 54s fix-subtype-section-generalize
fix-subtype-section-generalize
3m 54s
Check that Distr is in scope when tagging distributions, fixing #211 Build documentation #610: Pull request #988 synchronize by fdupress
6m 27s fix-rndll
fix-rndll
6m 27s
Check that Distr is in scope when tagging distributions, fixing #211 Build documentation #609: Pull request #988 synchronize by fdupress
4m 7s fix-rndll
fix-rndll
4m 7s
Refactor CI to run in fresh build box Build documentation #608: Pull request #1000 synchronize by fdupress
7m 43s ci-in-fresh-build-box
ci-in-fresh-build-box
7m 43s
Refactor CI to run in fresh build box Build documentation #607: Pull request #1000 synchronize by fdupress
3m 54s ci-in-fresh-build-box
ci-in-fresh-build-box
3m 54s
ci: enforce single-commit PRs Build documentation #606: Commit dda4571 pushed by github-merge-queue Bot
3m 41s main
main
3m 41s
Refactor CI to run in fresh build box Build documentation #605: Pull request #1000 synchronize by fdupress
3m 49s ci-in-fresh-build-box
ci-in-fresh-build-box
3m 49s
ci: enforce single-commit PRs Build documentation #604: Pull request #1003 synchronize by fdupress
3m 56s force-1-commit
force-1-commit
3m 56s
Refactor CI to run in fresh build box Build documentation #603: Pull request #1000 synchronize by fdupress
3m 52s ci-in-fresh-build-box
ci-in-fresh-build-box
3m 52s
[provers] update all CVC5 versions Build documentation #602: Pull request #1004 opened by fdupress
3m 27s docker-cvc5-1.3.4
docker-cvc5-1.3.4
3m 27s
Refactor CI to run in fresh build box Build documentation #601: Pull request #1000 synchronize by fdupress
3m 57s ci-in-fresh-build-box
ci-in-fresh-build-box
3m 57s
Refactor CI to run in fresh build box Build documentation #600: Pull request #1000 synchronize by fdupress
4m 22s ci-in-fresh-build-box
ci-in-fresh-build-box
4m 22s
Refactor CI to run in fresh build box Build documentation #599: Pull request #1000 synchronize by fdupress
3m 56s ci-in-fresh-build-box
ci-in-fresh-build-box
3m 56s
Deploy tc Build documentation #598: Pull request #633 synchronize by strub
4m 58s deploy-tc
deploy-tc
4m 58s
ci: enforce single-commit PRs Build documentation #597: Pull request #1003 synchronize by strub
4m 30s force-1-commit
force-1-commit
4m 30s