Skip to content

Actions: AU-COBRA/OVN

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
125 workflow runs
125 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refresh cache Refresh cache #30: Scheduled
October 21, 2024 01:34 1m 8s master
master
October 21, 2024 01:34 1m 8s
github_actions in /. - Update #900800724 Dependabot Updates #14: by dependabot bot
October 14, 2024 18:19 37s
October 14, 2024 18:19 37s
Refresh cache Refresh cache #29: Scheduled
October 14, 2024 01:34 53s master
master
October 14, 2024 01:34 53s
github_actions in /. - Update #897195117 Dependabot Updates #13: by dependabot bot
October 7, 2024 18:22 35s
October 7, 2024 18:22 35s
Refresh cache Refresh cache #28: Scheduled
October 7, 2024 01:34 1m 9s master
master
October 7, 2024 01:34 1m 9s
github_actions in /. - Update #893301287 Dependabot Updates #12: by dependabot bot
September 30, 2024 18:52 40s
September 30, 2024 18:52 40s
Refresh cache Refresh cache #27: Scheduled
September 30, 2024 01:34 1m 55s master
master
September 30, 2024 01:34 1m 55s
github_actions in /. - Update #889565832 Dependabot Updates #11: by dependabot bot
September 23, 2024 18:21 41s
September 23, 2024 18:21 41s
Refresh cache Refresh cache #26: Scheduled
September 23, 2024 01:34 46s master
master
September 23, 2024 01:34 46s
github_actions in /. - Update #885567990 Dependabot Updates #10: by dependabot bot
September 16, 2024 18:33 35s
September 16, 2024 18:33 35s
Refresh cache Refresh cache #25: Scheduled
September 16, 2024 01:34 1m 5s master
master
September 16, 2024 01:34 1m 5s
No more admits Build #80: Commit e3f0f84 pushed by cmester0
September 12, 2024 15:41 28m 46s master
master
September 12, 2024 15:41 28m 46s
Just some fold property missing Build #79: Commit e7b8d4f pushed by cmester0
September 12, 2024 12:10 18m 57s master
master
September 12, 2024 12:10 18m 57s
github_actions in /. - Update #881447843 Dependabot Updates #9: by dependabot bot
September 9, 2024 18:50 33s
September 9, 2024 18:50 33s
Refresh cache Refresh cache #24: Scheduled
September 9, 2024 02:15 48s master
master
September 9, 2024 02:15 48s
Run actual slow proofs Build #78: Commit c9ae303 pushed by cmester0
September 8, 2024 02:28 1h 15m 57s master
master
September 8, 2024 02:28 1h 15m 57s
No more proof relevant admits (naming) Build #77: Commit 5c5ce17 pushed by cmester0
September 8, 2024 02:26 2m 24s master
master
September 8, 2024 02:26 2m 24s
No more proof relevant admits Build #76: Commit 147ab03 pushed by cmester0
September 8, 2024 02:25 1m 20s master
master
September 8, 2024 02:25 1m 20s
Total proof fewer assumptions Build #75: Commit 94d6cc3 pushed by cmester0
September 8, 2024 01:37 5m 31s master
master
September 8, 2024 01:37 5m 31s
Fixed last admit in all_steps, just equivalent randomization remains Build #74: Commit 9df256e pushed by cmester0
September 4, 2024 15:51 7m 35s master
master
September 4, 2024 15:51 7m 35s
Working full proof, but incorrect/imprecise assumptions Build #73: Commit f49a446 pushed by cmester0
September 4, 2024 15:01 7m 35s master
master
September 4, 2024 15:01 7m 35s
github_actions in /. - Update #878123152 Dependabot Updates #8: by dependabot bot
September 2, 2024 18:36 37s
September 2, 2024 18:36 37s
Refresh cache Refresh cache #23: Scheduled
September 2, 2024 02:13 46s master
master
September 2, 2024 02:13 46s
WIP Build #72: Commit a1faacd pushed by cmester0
August 28, 2024 12:30 7m 44s master
master
August 28, 2024 12:30 7m 44s
github_actions in /. - Update #874398262 Dependabot Updates #7: by dependabot bot
August 26, 2024 18:32 41s
August 26, 2024 18:32 41s