Skip to content

Actions: coq-tactician/platform

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
753 workflow runs
753 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ubuntu_dev Ubuntu_dev #3: Scheduled
April 14, 2024 00:46 1h 1m 2s main
main
April 14, 2024 00:46 1h 1m 2s
Windows Windows #96: Scheduled
April 13, 2024 01:03 3h 14m 31s main
main
April 13, 2024 01:03 3h 14m 31s
Ubuntu Ubuntu #96: Scheduled
April 13, 2024 00:38 2h 43m 53s main
main
April 13, 2024 00:38 2h 43m 53s
Macos Macos #96: Scheduled
April 13, 2024 00:35 3h 4m 49s main
main
April 13, 2024 00:35 3h 4m 49s
Ubuntu_dev Ubuntu_dev #2: Scheduled
April 13, 2024 00:34 1h 4m 5s main
main
April 13, 2024 00:34 1h 4m 5s
Windows Windows #95: Scheduled
April 12, 2024 01:16 3h 16m 41s main
main
April 12, 2024 01:16 3h 16m 41s
Ubuntu Ubuntu #95: Scheduled
April 12, 2024 00:47 2h 46m 4s main
main
April 12, 2024 00:47 2h 46m 4s
Macos Macos #95: Scheduled
April 12, 2024 00:41 3h 3m 23s main
main
April 12, 2024 00:41 3h 3m 23s
Ubuntu_dev Ubuntu_dev #1: Scheduled
April 12, 2024 00:41 1h 0m 48s main
main
April 12, 2024 00:41 1h 0m 48s
Install z3 first Macos #94: Commit 76dfd11 pushed by LasseBlaauwbroek
April 11, 2024 19:39 1h 50m 21s tactician
tactician
April 11, 2024 19:39 1h 50m 21s
Install z3 first Windows #94: Commit 76dfd11 pushed by LasseBlaauwbroek
April 11, 2024 19:39 52m 24s tactician
tactician
April 11, 2024 19:39 52m 24s
Install z3 first Ubuntu #94: Commit 76dfd11 pushed by LasseBlaauwbroek
April 11, 2024 19:39 3h 14m 19s tactician
tactician
April 11, 2024 19:39 3h 14m 19s
Fix Windows #93: Commit 0354734 pushed by LasseBlaauwbroek
April 11, 2024 18:44 59m 11s tactician
tactician
April 11, 2024 18:44 59m 11s
Fix Ubuntu #93: Commit 0354734 pushed by LasseBlaauwbroek
April 11, 2024 18:44 3h 1m 29s tactician
tactician
April 11, 2024 18:44 3h 1m 29s
Fix Macos #93: Commit 0354734 pushed by LasseBlaauwbroek
April 11, 2024 18:44 3h 1m 49s tactician
tactician
April 11, 2024 18:44 3h 1m 49s
Dev version Macos #92: Commit e0ad332 pushed by LasseBlaauwbroek
April 11, 2024 18:34 10m 50s tactician
tactician
April 11, 2024 18:34 10m 50s
Dev version Windows #92: Commit e0ad332 pushed by LasseBlaauwbroek
April 11, 2024 18:34 10m 43s tactician
tactician
April 11, 2024 18:34 10m 43s
Dev version Ubuntu #92: Commit e0ad332 pushed by LasseBlaauwbroek
April 11, 2024 18:34 10m 37s tactician
tactician
April 11, 2024 18:34 10m 37s
Don't install z3 in cygwin Windows #91: Commit 250ac40 pushed by LasseBlaauwbroek
April 11, 2024 16:44 49m 25s tactician
tactician
April 11, 2024 16:44 49m 25s
Don't install z3 in cygwin Ubuntu #91: Commit 250ac40 pushed by LasseBlaauwbroek
April 11, 2024 16:44 2h 53m 18s tactician
tactician
April 11, 2024 16:44 2h 53m 18s
Don't install z3 in cygwin Macos #91: Commit 250ac40 pushed by LasseBlaauwbroek
April 11, 2024 16:44 1h 51m 39s tactician
tactician
April 11, 2024 16:44 1h 51m 39s
Pre-install z3 Macos #90: Commit ee3291b pushed by LasseBlaauwbroek
April 11, 2024 15:29 2h 6m 48s tactician
tactician
April 11, 2024 15:29 2h 6m 48s
Pre-install z3 Ubuntu #90: Commit ee3291b pushed by LasseBlaauwbroek
April 11, 2024 15:29 2h 51m 2s tactician
tactician
April 11, 2024 15:29 2h 51m 2s
Pre-install z3 Windows #90: Commit ee3291b pushed by LasseBlaauwbroek
April 11, 2024 15:29 1h 10m 13s tactician
tactician
April 11, 2024 15:29 1h 10m 13s
Full pick Windows #89: Commit 778d712 pushed by LasseBlaauwbroek
April 11, 2024 15:13 16m 40s tactician
tactician
April 11, 2024 15:13 16m 40s
ProTip! You can narrow down the results and go further in time using created:<2024-04-11 or the other filters available.