Skip to content

Actions: hhu-adam/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
651 workflow run results
651 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #211: completed by joneugster
August 14, 2024 07:06 2s
August 14, 2024 07:06 2s
CI CI #211: Scheduled
August 14, 2024 07:06 21s master
master
August 14, 2024 07:06 21s
Label stale PRs Label stale PRs #201: Scheduled
August 14, 2024 02:26 11s master
master
August 14, 2024 02:26 11s
PR release PR release #210: completed by joneugster
August 13, 2024 11:51 2s
August 13, 2024 11:51 2s
feat: use save-always in cache action (#5010) Update stage0 #10: Commit 74f9dea pushed by joneugster
August 13, 2024 10:57 32s master
master
August 13, 2024 10:57 32s
feat: use save-always in cache action (#5010) Actionlint #8: Commit 74f9dea pushed by joneugster
August 13, 2024 10:57 2m 48s master
master
August 13, 2024 10:57 2m 48s
feat: use save-always in cache action (#5010) CI #210: Commit 74f9dea pushed by joneugster
August 13, 2024 10:57 54m 2s master
master
August 13, 2024 10:57 54m 2s
feat: use save-always in cache action (#5010) Nix CI #10: Commit 74f9dea pushed by joneugster
August 13, 2024 10:57 46m 52s master
master
August 13, 2024 10:57 46m 52s
PR release PR release #209: completed by joneugster
August 13, 2024 07:07 2s
August 13, 2024 07:07 2s
CI CI #209: Scheduled
August 13, 2024 07:07 27s master
master
August 13, 2024 07:07 27s
Label stale PRs Label stale PRs #200: Scheduled
August 13, 2024 02:27 18s master
master
August 13, 2024 02:27 18s
PR release PR release #208: completed by joneugster
August 12, 2024 07:07 3s
August 12, 2024 07:07 3s
CI CI #208: Scheduled
August 12, 2024 07:07 27s master
master
August 12, 2024 07:07 27s
Label stale PRs Label stale PRs #199: Scheduled
August 12, 2024 02:28 12s master
master
August 12, 2024 02:28 12s
PR release PR release #207: completed by joneugster
August 11, 2024 07:02 2s
August 11, 2024 07:02 2s
CI CI #207: Scheduled
August 11, 2024 07:02 19s master
master
August 11, 2024 07:02 19s
Label stale PRs Label stale PRs #198: Scheduled
August 11, 2024 02:30 14s master
master
August 11, 2024 02:30 14s
PR release PR release #206: completed by joneugster
August 10, 2024 07:03 2s
August 10, 2024 07:03 2s
CI CI #206: Scheduled
August 10, 2024 07:03 22s master
master
August 10, 2024 07:03 22s
Label stale PRs Label stale PRs #197: Scheduled
August 10, 2024 02:24 11s master
master
August 10, 2024 02:24 11s
PR release PR release #205: completed by joneugster
August 9, 2024 07:07 2s
August 9, 2024 07:07 2s
CI CI #205: Scheduled
August 9, 2024 07:06 26s master
master
August 9, 2024 07:06 26s
Label stale PRs Label stale PRs #196: Scheduled
August 9, 2024 02:26 12s master
master
August 9, 2024 02:26 12s
PR release PR release #204: completed by joneugster
August 8, 2024 07:07 1s
August 8, 2024 07:07 1s
CI CI #204: Scheduled
August 8, 2024 07:06 28s master
master
August 8, 2024 07:06 28s