Skip to content

Actions: ADA-research/auto-verify

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tests.yml
62 workflow runs
62 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
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
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
Merge pull request #87 from TrisCC/fix-linter Tests #318: Commit 2f681ea pushed by janvanrijn
April 16, 2024 13:52 4m 57s main
main
April 16, 2024 13:52 4m 57s
Merge pull request #85 from TrisCC/fix-dependency Tests #317: Commit fad844e pushed by janvanrijn
April 16, 2024 13:52 5m 2s main
main
April 16, 2024 13:52 5m 2s
build(deps-dev): bump numpy from 1.24.3 to 1.26.4 Tests #312: Pull request #83 opened by dependabot bot
February 6, 2024 16:10 4m 30s dependabot/pip/develop/numpy-1.26.4
dependabot/pip/develop/numpy-1.26.4
February 6, 2024 16:10 4m 30s
build(deps-dev): bump numpy from 1.24.3 to 1.26.4 Tests #311: Commit e157988 pushed by dependabot bot
February 6, 2024 16:10 4m 21s dependabot/pip/develop/numpy-1.26.4
dependabot/pip/develop/numpy-1.26.4
February 6, 2024 16:10 4m 21s
build(deps-dev): bump onnxruntime from 1.14.1 to 1.17.0 Tests #310: Pull request #82 opened by dependabot bot
February 1, 2024 16:47 4m 40s dependabot/pip/develop/onnxruntime-1.17.0
dependabot/pip/develop/onnxruntime-1.17.0
February 1, 2024 16:47 4m 40s