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 #11: completed by jtristan
November 10, 2024 07:02 2s
November 10, 2024 07:02 2s
PR release PR release #10: completed by jtristan
November 9, 2024 07:02 2s
November 9, 2024 07:02 2s
PR release PR release #9: completed by jtristan
November 8, 2024 07:02 2s
November 8, 2024 07:02 2s
PR release PR release #8: completed by jtristan
November 7, 2024 07:02 1s
November 7, 2024 07:02 1s
PR release PR release #7: completed by jtristan
November 6, 2024 07:02 2s
November 6, 2024 07:02 2s
PR release PR release #6: completed by jtristan
November 5, 2024 07:02 2s
November 5, 2024 07:02 2s
PR release PR release #5: completed by jtristan
November 4, 2024 07:02 2s
November 4, 2024 07:02 2s
PR release PR release #4: completed by jtristan
November 3, 2024 07:02 1s
November 3, 2024 07:02 1s
PR release PR release #3: completed by jtristan
November 2, 2024 07:03 3s
November 2, 2024 07:03 3s
PR release PR release #2: completed by jtristan
November 1, 2024 07:02 1s
November 1, 2024 07:02 1s
PR release PR release #1: completed by jtristan
November 1, 2024 00:14 2s
November 1, 2024 00:14 2s