Skip to content

Actions: opencompl/lean4

Actions

PR release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr-release.yml
998 workflow runs
998 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #357: completed by tobiasgrosser
August 12, 2024 06:37 2s
August 12, 2024 06:37 2s
PR release PR release #356: completed by tobiasgrosser
August 11, 2024 10:10 2s
August 11, 2024 10:10 2s
PR release PR release #355: completed by tobiasgrosser
August 11, 2024 09:50 1s
August 11, 2024 09:50 1s
PR release PR release #354: completed by alexkeizer
August 11, 2024 07:01 2s
August 11, 2024 07:01 2s
PR release PR release #353: completed by tobiasgrosser
August 10, 2024 10:32 2s
August 10, 2024 10:32 2s
PR release PR release #352: completed by tobiasgrosser
August 10, 2024 10:23 2s
August 10, 2024 10:23 2s
PR release PR release #351: completed by tobiasgrosser
August 10, 2024 10:01 2s
August 10, 2024 10:01 2s
PR release PR release #350: completed by tobiasgrosser
August 10, 2024 09:56 2s
August 10, 2024 09:56 2s
PR release PR release #349: completed by tobiasgrosser
August 10, 2024 09:35 1s
August 10, 2024 09:35 1s
PR release PR release #348: completed by alexkeizer
August 10, 2024 07:01 2s
August 10, 2024 07:01 2s
PR release PR release #347: completed by tobiasgrosser
August 10, 2024 06:13 2s
August 10, 2024 06:13 2s
PR release PR release #346: completed by tobiasgrosser
August 10, 2024 05:54 2s
August 10, 2024 05:54 2s
PR release PR release #345: completed by tobiasgrosser
August 10, 2024 05:52 2s
August 10, 2024 05:52 2s
PR release PR release #344: completed by tobiasgrosser
August 10, 2024 05:23 3s
August 10, 2024 05:23 3s
PR release PR release #343: completed by tobiasgrosser
August 10, 2024 05:03 2s
August 10, 2024 05:03 2s
PR release PR release #342: completed by alexkeizer
August 9, 2024 07:01 3s
August 9, 2024 07:01 3s
PR release PR release #341: completed by tobiasgrosser
August 9, 2024 03:41 1s
August 9, 2024 03:41 1s
PR release PR release #340: completed by tobiasgrosser
August 9, 2024 03:00 2s
August 9, 2024 03:00 2s
PR release PR release #339: completed by tobiasgrosser
August 9, 2024 02:46 2s
August 9, 2024 02:46 2s
PR release PR release #338: completed by tobiasgrosser
August 9, 2024 02:32 2s
August 9, 2024 02:32 2s
PR release PR release #337: completed by tobiasgrosser
August 9, 2024 02:29 2s
August 9, 2024 02:29 2s
PR release PR release #336: completed by tobiasgrosser
August 9, 2024 02:15 2s
August 9, 2024 02:15 2s
PR release PR release #335: completed by tobiasgrosser
August 8, 2024 09:04 3s
August 8, 2024 09:04 3s
PR release PR release #334: completed by tobiasgrosser
August 8, 2024 08:46 2s
August 8, 2024 08:46 2s
PR release PR release #333: completed by tobiasgrosser
August 8, 2024 07:14 2s
August 8, 2024 07:14 2s
ProTip! You can narrow down the results and go further in time using created:<2024-08-08 or the other filters available.