Skip to content

Actions: rocq-prover/platform

Actions

Ubuntu_dev

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntu_dev.yml
426 workflow runs
426 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ubuntu_dev Ubuntu_dev #1222: Scheduled
4m 36s main
main
4m 36s
Ubuntu_dev Ubuntu_dev #1221: Scheduled
4m 46s main
main
4m 46s
Ubuntu_dev Ubuntu_dev #1220: Scheduled
4m 49s main
main
4m 49s
Ubuntu_dev Ubuntu_dev #1219: Scheduled
3m 59s main
main
3m 59s
Ubuntu_dev Ubuntu_dev #1218: Scheduled
4m 38s main
main
4m 38s
Ubuntu_dev Ubuntu_dev #1217: Scheduled
4m 39s main
main
4m 39s
Ubuntu_dev Ubuntu_dev #1216: Scheduled
4m 39s main
main
4m 39s
Ubuntu_dev Ubuntu_dev #1215: Scheduled
4m 37s main
main
4m 37s
Ubuntu_dev Ubuntu_dev #1214: Scheduled
4m 3s main
main
4m 3s
Ubuntu_dev Ubuntu_dev #1213: Scheduled
4m 38s main
main
4m 38s
Ubuntu_dev Ubuntu_dev #1212: Scheduled
4m 7s main
main
4m 7s
Ubuntu_dev Ubuntu_dev #1211: Scheduled
4m 40s main
main
4m 40s
Ubuntu_dev Ubuntu_dev #1210: Scheduled
4m 56s main
main
4m 56s
Ubuntu_dev Ubuntu_dev #1209: Scheduled
4m 44s main
main
4m 44s
Ubuntu_dev Ubuntu_dev #1208: Scheduled
4m 42s main
main
4m 42s
Ubuntu_dev Ubuntu_dev #1207: Scheduled
4m 4s main
main
4m 4s
Ubuntu_dev Ubuntu_dev #1206: Scheduled
4m 54s main
main
4m 54s
Ubuntu_dev Ubuntu_dev #1205: Scheduled
4m 35s main
main
4m 35s
Ubuntu_dev Ubuntu_dev #1204: Scheduled
5m 0s main
main
5m 0s
Ubuntu_dev Ubuntu_dev #1203: Scheduled
4m 47s main
main
4m 47s
Ubuntu_dev Ubuntu_dev #1202: Scheduled
4m 52s main
main
4m 52s
Ubuntu_dev Ubuntu_dev #1201: Scheduled
3m 57s main
main
3m 57s
Ubuntu_dev Ubuntu_dev #1200: Scheduled
4m 52s main
main
4m 52s
Ubuntu_dev Ubuntu_dev #1199: Scheduled
4m 48s main
main
4m 48s
Ubuntu_dev Ubuntu_dev #1198: Scheduled
4m 43s main
main
4m 43s