Skip to content

Actions: ADA-research/auto-verify

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix portfolio configuration parsing Tests #338: Pull request #98 reopened by TrisCC
August 5, 2024 17:07 4m 45s TrisCC:config-bugfix
TrisCC:config-bugfix
August 5, 2024 17:07 4m 45s
pages build and deployment pages-build-deployment #19: by github-pages bot
August 1, 2024 12:05 26s
August 1, 2024 12:05 26s
Merge pull request #97 from TrisCC/freeze-deps deploy-docs #16: Commit 942c241 pushed by janvanrijn
August 1, 2024 12:04 30s main
main
August 1, 2024 12:04 30s
Merge pull request #97 from TrisCC/freeze-deps Tests #337: Commit 942c241 pushed by janvanrijn
August 1, 2024 12:04 4m 45s main
main
August 1, 2024 12:04 4m 45s
Freeze and update dependencies Tests #336: Pull request #97 reopened by TrisCC
August 1, 2024 11:57 4m 55s TrisCC:freeze-deps
TrisCC:freeze-deps
August 1, 2024 11:57 4m 55s
Fix portfolio configuration parsing Tests #335: Pull request #98 opened by TrisCC
July 29, 2024 14:09 4m 53s TrisCC:config-bugfix
TrisCC:config-bugfix
July 29, 2024 14:09 4m 53s
Freeze and update dependencies Tests #334: Pull request #97 opened by TrisCC
July 29, 2024 13:51 4m 51s TrisCC:freeze-deps
TrisCC:freeze-deps
July 29, 2024 13:51 4m 51s
Add JSON support for VerificationResults Tests #333: Pull request #93 reopened by TrisCC
July 29, 2024 10:32 4m 46s TrisCC:json-verinet
TrisCC:json-verinet
July 29, 2024 10:32 4m 46s
Update VeriNet installer Tests #332: Pull request #96 opened by TrisCC
July 16, 2024 14:42 4m 51s TrisCC:verinet-update
TrisCC:verinet-update
July 16, 2024 14:42 4m 51s
Add JSON support for VerificationResults Tests #331: Pull request #93 reopened by TrisCC
July 3, 2024 14:33 4m 54s TrisCC:json-verinet
TrisCC:json-verinet
July 3, 2024 14:33 4m 54s
Multi processing Tests #330: Pull request #95 opened by Aaron99B
June 28, 2024 10:45 4m 37s Aaron99B:multi-processing
Aaron99B:multi-processing
June 28, 2024 10:45 4m 37s
make AbCrown executable for CNNs Tests #329: Pull request #94 opened by Aaron99B
June 28, 2024 10:28 4m 35s Aaron99B:alpha-beta-crown-cnn-update
Aaron99B:alpha-beta-crown-cnn-update
June 28, 2024 10:28 4m 35s
Add JSON support for VerificationResults Tests #328: Pull request #93 opened by TrisCC
June 26, 2024 12:45 4m 57s TrisCC:json-verinet
TrisCC:json-verinet
June 26, 2024 12:45 4m 57s
Improve documentation Tests #327: Pull request #92 opened by TrisCC
June 26, 2024 12:26 4m 43s TrisCC:documentation
TrisCC:documentation
June 26, 2024 12:26 4m 43s
Add JSON support and fix Verinet installation Tests #326: Pull request #90 reopened by TrisCC
June 20, 2024 12:18 4m 45s TrisCC:main
TrisCC:main
June 20, 2024 12:18 4m 45s
Improve documentation Tests #325: Pull request #91 opened by TrisCC
June 17, 2024 18:08 4m 50s TrisCC:docs
TrisCC:docs
June 17, 2024 18:08 4m 50s
Add JSON support and fix Verinet installation Tests #324: Pull request #90 opened by TrisCC
June 17, 2024 12:04 4m 57s TrisCC:main
TrisCC:main
June 17, 2024 12:04 4m 57s
pages build and deployment pages-build-deployment #18: by github-pages bot
May 28, 2024 14:17 27s
May 28, 2024 14:17 27s
Merge pull request #89 from Aaron99B/alpha-beta-crown-update deploy-docs #15: Commit 413eec6 pushed by janvanrijn
May 28, 2024 14:16 34s main
main
May 28, 2024 14:16 34s
Merge pull request #89 from Aaron99B/alpha-beta-crown-update Tests #323: Commit 413eec6 pushed by janvanrijn
May 28, 2024 14:16 5m 8s main
main
May 28, 2024 14:16 5m 8s
Alpha beta crown update Tests #322: Pull request #89 reopened by Aaron99B
May 15, 2024 14:10 4m 51s Aaron99B:alpha-beta-crown-update
Aaron99B:alpha-beta-crown-update
May 15, 2024 14:10 4m 51s
Alpha beta crown update Tests #321: Pull request #89 reopened by Aaron99B
May 15, 2024 13:58 4m 50s Aaron99B:alpha-beta-crown-update
Aaron99B:alpha-beta-crown-update
May 15, 2024 13:58 4m 50s
Alpha beta crown update Tests #320: Pull request #89 reopened by Aaron99B
May 15, 2024 13:44 4m 54s Aaron99B:alpha-beta-crown-update
Aaron99B:alpha-beta-crown-update
May 15, 2024 13:44 4m 54s
Alpha beta crown update Tests #319: Pull request #89 opened by Aaron99B
May 15, 2024 09:53 4m 34s Aaron99B:alpha-beta-crown-update
Aaron99B:alpha-beta-crown-update
May 15, 2024 09:53 4m 34s
pages build and deployment pages-build-deployment #17: by github-pages bot
April 16, 2024 13:53 38s
April 16, 2024 13:53 38s