Skip to content

Actions: leanprover/lean4

Actions

PR release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-release.yml
13,271 workflow runs
13,271 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #13271: completed by tobiasgrosser
October 13, 2024 16:21 2m 5s
October 13, 2024 16:21 2m 5s
PR release PR release #13270: completed by tobiasgrosser
October 13, 2024 16:08 3s
October 13, 2024 16:08 3s
PR release PR release #13269: completed by tobiasgrosser
October 13, 2024 16:06 1s
October 13, 2024 16:06 1s
PR release PR release #13268: completed by tobiasgrosser
October 13, 2024 16:03 2s
October 13, 2024 16:03 2s
PR release PR release #13267: completed by tobiasgrosser
October 13, 2024 13:35 2m 35s
October 13, 2024 13:35 2m 35s
PR release PR release #13266: completed by tobiasgrosser
October 13, 2024 13:24 2s
October 13, 2024 13:24 2s
PR release PR release #13265: completed by tobiasgrosser
October 13, 2024 13:20 2s
October 13, 2024 13:20 2s
PR release PR release #13264: completed by kim-em
October 13, 2024 11:58 1s
October 13, 2024 11:58 1s
PR release PR release #13263: completed by kim-em
October 13, 2024 11:36 3m 56s
October 13, 2024 11:36 3m 56s
PR release PR release #13262: completed by nomeata
October 13, 2024 10:33 3m 58s
October 13, 2024 10:33 3m 58s
PR release PR release #13261: completed by nomeata
October 13, 2024 10:18 1s
October 13, 2024 10:18 1s
PR release PR release #13260: completed by Kha
October 13, 2024 08:25 3s
October 13, 2024 08:25 3s
PR release PR release #13259: completed by github-merge-queue bot
October 13, 2024 07:20 2s
October 13, 2024 07:20 2s
PR release PR release #13258: completed by nomeata
October 13, 2024 06:59 1s
October 13, 2024 06:59 1s
PR release PR release #13257: completed by tobiasgrosser
October 13, 2024 05:35 2s
October 13, 2024 05:35 2s
PR release PR release #13256: completed by tobiasgrosser
October 13, 2024 05:30 2s
October 13, 2024 05:30 2s
PR release PR release #13255: completed by tobiasgrosser
October 13, 2024 05:26 1s
October 13, 2024 05:26 1s
PR release PR release #13254: completed by tobiasgrosser
October 13, 2024 05:17 3m 8s
October 13, 2024 05:17 3m 8s
PR release PR release #13253: completed by James-Oswald
October 13, 2024 02:29 3m 39s
October 13, 2024 02:29 3m 39s
PR release PR release #13252: completed by github-merge-queue bot
October 12, 2024 23:41 1s
October 12, 2024 23:41 1s
PR release PR release #13251: completed by tydeu
October 12, 2024 23:19 1s
October 12, 2024 23:19 1s
PR release PR release #13250: completed by tydeu
October 12, 2024 23:12 3m 48s
October 12, 2024 23:12 3m 48s
PR release PR release #13249: completed by tobiasgrosser
October 12, 2024 13:32 2s
October 12, 2024 13:32 2s
PR release PR release #13248: completed by nomeata
October 12, 2024 13:19 3m 56s
October 12, 2024 13:19 3m 56s
PR release PR release #13247: completed by tobiasgrosser
October 12, 2024 12:55 2s
October 12, 2024 12:55 2s