Skip to content

Actions: ADA-research/auto-verify

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
82 workflow runs
82 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
pages build and deployment pages-build-deployment #29: by github-pages Bot
25s gh-pages
gh-pages
25s
Merge pull request #111 from ADA-research/henba1-sdp-crown deploy-docs #26: Commit f1abace pushed by AWbosman
27s main
main
27s
Merge pull request #111 from ADA-research/henba1-sdp-crown Tests #401: Commit f1abace pushed by AWbosman
3m 2s main
main
3m 2s
correct commit hash for sdpcrown Tests #400: Pull request #111 opened by henba1
3m 12s henba1-sdp-crown
henba1-sdp-crown
3m 12s
correct commit hash for sdpcrown Tests #399: Commit 2f7c1a7 pushed by henba1
3m 1s henba1-sdp-crown
henba1-sdp-crown
3m 1s
Merge pull request #109 from ADA-research/henba1-sdp-crown Tests #398: Commit 9a068b6 pushed by henba1
3m 11s v1.0.0
v1.0.0
3m 11s
pages build and deployment pages-build-deployment #28: by github-pages Bot
4m 56s gh-pages
gh-pages
4m 56s
pages build and deployment pages-build-deployment #27: by github-pages Bot
24s gh-pages
gh-pages
24s
Merge pull request #109 from ADA-research/henba1-sdp-crown Tests #397: Commit 9a068b6 pushed by henba1
3m 9s main
main
3m 9s
Merge pull request #109 from ADA-research/henba1-sdp-crown deploy-docs #25: Commit 9a068b6 pushed by henba1
22s main
main
22s
Merge pull request #110 from ADA-research/henba1-add-explanation-for-… deploy-docs #24: Commit b783bc2 pushed by henba1
31s main
main
31s
Merge pull request #110 from ADA-research/henba1-add-explanation-for-… Tests #396: Commit b783bc2 pushed by henba1
3m 15s main
main
3m 15s
Merge branch 'main' into henba1-sdp-crown Tests #395: Commit fa241aa pushed by henba1
3m 0s henba1-sdp-crown
henba1-sdp-crown
3m 0s
address ruff format Tests #394: Commit 9ec6b39 pushed by henba1
3m 1s henba1-sdp-crown
henba1-sdp-crown
3m 1s
Merge branch 'main' into henba1-sdp-crown Tests #393: Commit 8dbb88d pushed by henba1
3m 12s henba1-sdp-crown
henba1-sdp-crown
3m 12s
remove unnecessary comments and clean up verifier (also for other ver… Tests #392: Commit b8ff9c5 pushed by henba1
2m 56s henba1-sdp-crown
henba1-sdp-crown
2m 56s
pages build and deployment pages-build-deployment #26: by github-pages Bot
9m 2s gh-pages
gh-pages
9m 2s
Merge pull request #108 from ADA-research/henba1-patch-obtained_labels deploy-docs #23: Commit 9e5f8de pushed by henba1
1m 19s main
main
1m 19s
Merge pull request #108 from ADA-research/henba1-patch-obtained_labels Tests #391: Commit 9e5f8de pushed by henba1
3m 31s main
main
3m 31s
pages build and deployment pages-build-deployment #25: by github-pages Bot
24s gh-pages
gh-pages
24s
Merge pull request #106 from ADA-research/henba1-patch-README_verifie… Tests #390: Commit 49f813c pushed by henba1
3m 8s main
main
3m 8s
Merge pull request #106 from ADA-research/henba1-patch-README_verifie… deploy-docs #22: Commit 49f813c pushed by henba1
21s main
main
21s
remove pkill to avoid pre-emptive termination Tests #389: Commit 4bf40e1 pushed by henba1
3m 6s henba1-sdp-crown
henba1-sdp-crown
3m 6s
Adjust environment file to exclude ada-verona and overwrite _check_in… Tests #388: Commit a6ee478 pushed by henba1
3m 6s henba1-sdp-crown
henba1-sdp-crown
3m 6s
Merge branch 'henba1-sdp-crown' of github.com:ADA-research/auto-verif… Tests #387: Commit 8ebf3b0 pushed by henba1
3m 15s henba1-sdp-crown
henba1-sdp-crown
3m 15s