Skip to content

Actions: hhu-adam/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
899 workflow runs
899 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release PR release #14: completed by joneugster
February 5, 2024 13:22 2s
February 5, 2024 13:22 2s
refactor: add helper function evalPropStep (#3252) Nix CI #4: Commit cf092e7 pushed by joneugster
February 5, 2024 12:29 3m 52s master
master
February 5, 2024 12:29 3m 52s
refactor: add helper function evalPropStep (#3252) Actionlint #3: Commit cf092e7 pushed by joneugster
February 5, 2024 12:29 34s master
master
February 5, 2024 12:29 34s
refactor: add helper function evalPropStep (#3252) Update stage0 #4: Commit cf092e7 pushed by joneugster
February 5, 2024 12:29 30s master
master
February 5, 2024 12:29 30s
refactor: add helper function evalPropStep (#3252) CI #14: Commit cf092e7 pushed by joneugster
February 5, 2024 12:29 52m 32s master
master
February 5, 2024 12:29 52m 32s
PR release PR release #13: completed by joneugster
February 5, 2024 07:03 2s
February 5, 2024 07:03 2s
CI CI #13: Scheduled
February 5, 2024 07:02 25s master
master
February 5, 2024 07:02 25s
Label stale PRs Label stale PRs #10: Scheduled
February 5, 2024 02:08 22s master
master
February 5, 2024 02:08 22s
PR release PR release #12: completed by joneugster
February 4, 2024 07:01 2s
February 4, 2024 07:01 2s
CI CI #12: Scheduled
February 4, 2024 07:01 22s master
master
February 4, 2024 07:01 22s
Label stale PRs Label stale PRs #9: Scheduled
February 4, 2024 02:07 12s master
master
February 4, 2024 02:07 12s
PR release PR release #11: completed by joneugster
February 3, 2024 07:01 2s
February 3, 2024 07:01 2s
CI CI #11: Scheduled
February 3, 2024 07:01 24s master
master
February 3, 2024 07:01 24s
Label stale PRs Label stale PRs #8: Scheduled
February 3, 2024 02:00 11s master
master
February 3, 2024 02:00 11s
PR release PR release #10: completed by joneugster
February 2, 2024 07:02 1s
February 2, 2024 07:02 1s
CI CI #10: Scheduled
February 2, 2024 07:02 25s master
master
February 2, 2024 07:02 25s
Label stale PRs Label stale PRs #7: Scheduled
February 2, 2024 02:02 15s master
master
February 2, 2024 02:02 15s
PR release PR release #9: completed by joneugster
February 1, 2024 12:53 2s
February 1, 2024 12:53 2s
feat: pp.numericTypes option for printing number literals with type… Update stage0 #3: Commit 1d8cf38 pushed by joneugster
February 1, 2024 12:13 34s master
master
February 1, 2024 12:13 34s
feat: pp.numericTypes option for printing number literals with type… Actionlint #2: Commit 1d8cf38 pushed by joneugster
February 1, 2024 12:13 35s master
master
February 1, 2024 12:13 35s
feat: pp.numericTypes option for printing number literals with type… Nix CI #3: Commit 1d8cf38 pushed by joneugster
February 1, 2024 12:13 6m 20s master
master
February 1, 2024 12:13 6m 20s
feat: pp.numericTypes option for printing number literals with type… CI #9: Commit 1d8cf38 pushed by joneugster
February 1, 2024 12:13 39m 32s master
master
February 1, 2024 12:13 39m 32s
PR release PR release #8: completed by joneugster
February 1, 2024 07:01 2s
February 1, 2024 07:01 2s
CI CI #8: Scheduled
February 1, 2024 07:01 22s master
master
February 1, 2024 07:01 22s
Label stale PRs Label stale PRs #6: Scheduled
February 1, 2024 02:07 11s master
master
February 1, 2024 02:07 11s
ProTip! You can narrow down the results and go further in time using created:<2024-02-01 or the other filters available.