Skip to content

Actions: coq-tactician/platform

Actions

Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntu.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
37 workflow run results
37 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ubuntu Ubuntu #108: Scheduled
April 25, 2024 00:50 2h 44m 39s main
main
April 25, 2024 00:50 2h 44m 39s
Ubuntu Ubuntu #107: Scheduled
April 24, 2024 00:47 3h 5m 54s main
main
April 24, 2024 00:47 3h 5m 54s
Ubuntu Ubuntu #106: Scheduled
April 23, 2024 00:48 2h 42m 9s main
main
April 23, 2024 00:48 2h 42m 9s
Ubuntu Ubuntu #105: Scheduled
April 22, 2024 00:49 2h 41m 56s main
main
April 22, 2024 00:49 2h 41m 56s
Ubuntu Ubuntu #104: Scheduled
April 21, 2024 00:51 2h 43m 27s main
main
April 21, 2024 00:51 2h 43m 27s
Ubuntu Ubuntu #103: Scheduled
April 20, 2024 00:47 2h 40m 48s main
main
April 20, 2024 00:47 2h 40m 48s
Ubuntu Ubuntu #102: Scheduled
April 19, 2024 00:47 2h 41m 34s main
main
April 19, 2024 00:47 2h 41m 34s
Ubuntu Ubuntu #101: Scheduled
April 18, 2024 00:46 2h 43m 23s main
main
April 18, 2024 00:46 2h 43m 23s
Ubuntu Ubuntu #100: Scheduled
April 17, 2024 00:47 2h 39m 49s main
main
April 17, 2024 00:47 2h 39m 49s
Ubuntu Ubuntu #99: Scheduled
April 16, 2024 00:46 2h 46m 31s main
main
April 16, 2024 00:46 2h 46m 31s
Ubuntu Ubuntu #98: Scheduled
April 15, 2024 03:12 2h 45m 3s main
main
April 15, 2024 03:12 2h 45m 3s
Ubuntu Ubuntu #97: Scheduled
April 14, 2024 01:04 2h 40m 23s main
main
April 14, 2024 01:04 2h 40m 23s
Ubuntu Ubuntu #96: Scheduled
April 13, 2024 00:38 2h 43m 53s main
main
April 13, 2024 00:38 2h 43m 53s
Ubuntu Ubuntu #95: Scheduled
April 12, 2024 00:47 2h 46m 4s main
main
April 12, 2024 00:47 2h 46m 4s
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 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
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 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
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
Full pick Ubuntu #89: Commit 778d712 pushed by LasseBlaauwbroek
April 11, 2024 15:13 16m 59s tactician
tactician
April 11, 2024 15:13 16m 59s
Debug x Ubuntu #88: Commit ed8da65 pushed by LasseBlaauwbroek
April 11, 2024 14:51 20m 52s tactician
tactician
April 11, 2024 14:51 20m 52s
Debug Ubuntu #87: Commit 7d00da2 pushed by LasseBlaauwbroek
April 11, 2024 14:35 16m 43s tactician
tactician
April 11, 2024 14:35 16m 43s
Debug more Ubuntu #86: Commit a5c274d pushed by LasseBlaauwbroek
April 11, 2024 14:22 34m 19s tactician
tactician
April 11, 2024 14:22 34m 19s
Disable smoke tests Ubuntu #85: Commit 124dbf6 pushed by LasseBlaauwbroek
April 11, 2024 12:08 22m 54s tactician
tactician
April 11, 2024 12:08 22m 54s
debug6 Ubuntu #84: Commit dbd34f7 pushed by LasseBlaauwbroek
April 11, 2024 11:06 2h 39m 34s tactician
tactician
April 11, 2024 11:06 2h 39m 34s