Skip to content

Actions: leanprover/lean4wip

Actions

PR release

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #61: completed by jtristan
December 30, 2024 07:02 2s
December 30, 2024 07:02 2s
PR release PR release #60: completed by jtristan
December 29, 2024 07:02 2s
December 29, 2024 07:02 2s
PR release PR release #59: completed by jtristan
December 28, 2024 07:02 2s
December 28, 2024 07:02 2s
PR release PR release #58: completed by jtristan
December 27, 2024 07:02 2s
December 27, 2024 07:02 2s
PR release PR release #57: completed by jtristan
December 26, 2024 07:02 1s
December 26, 2024 07:02 1s
PR release PR release #56: completed by jtristan
December 25, 2024 07:02 1s
December 25, 2024 07:02 1s
PR release PR release #55: completed by jtristan
December 24, 2024 07:02 2s
December 24, 2024 07:02 2s
PR release PR release #54: completed by jtristan
December 23, 2024 07:02 2s
December 23, 2024 07:02 2s
PR release PR release #53: completed by jtristan
December 22, 2024 07:02 2s
December 22, 2024 07:02 2s
PR release PR release #52: completed by jtristan
December 21, 2024 07:02 2s
December 21, 2024 07:02 2s
PR release PR release #51: completed by jtristan
December 20, 2024 07:02 2s
December 20, 2024 07:02 2s
PR release PR release #50: completed by jtristan
December 19, 2024 07:02 1s
December 19, 2024 07:02 1s
PR release PR release #49: completed by jtristan
December 18, 2024 07:02 1s
December 18, 2024 07:02 1s
PR release PR release #48: completed by jtristan
December 17, 2024 07:02 2s
December 17, 2024 07:02 2s
PR release PR release #47: completed by jtristan
December 16, 2024 07:02 2s
December 16, 2024 07:02 2s
PR release PR release #46: completed by jtristan
December 15, 2024 07:02 1s
December 15, 2024 07:02 1s
PR release PR release #45: completed by jtristan
December 14, 2024 07:02 2s
December 14, 2024 07:02 2s
PR release PR release #44: completed by jtristan
December 13, 2024 07:02 2s
December 13, 2024 07:02 2s
PR release PR release #43: completed by jtristan
December 12, 2024 07:02 2s
December 12, 2024 07:02 2s
PR release PR release #42: completed by jtristan
December 11, 2024 07:02 2s
December 11, 2024 07:02 2s
PR release PR release #41: completed by jtristan
December 10, 2024 07:02 2s
December 10, 2024 07:02 2s
PR release PR release #40: completed by jtristan
December 9, 2024 07:02 2s
December 9, 2024 07:02 2s
PR release PR release #39: completed by jtristan
December 8, 2024 07:02 2s
December 8, 2024 07:02 2s
PR release PR release #38: completed by jtristan
December 7, 2024 07:02 1s
December 7, 2024 07:02 1s
PR release PR release #37: completed by jtristan
December 6, 2024 07:02 2s
December 6, 2024 07:02 2s