Skip to content

Actions: JovanGerb/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
238 workflow runs
238 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #4: Scheduled
June 18, 2024 07:17 22s master
master
June 18, 2024 07:17 22s
Label stale PRs Label stale PRs #3: Scheduled
June 18, 2024 02:20 14s master
master
June 18, 2024 02:20 14s
PR release PR release #3: completed by JovanGerb
June 17, 2024 07:16 2s
June 17, 2024 07:16 2s
CI CI #3: Scheduled
June 17, 2024 07:16 22s master
master
June 17, 2024 07:16 22s
Label stale PRs Label stale PRs #2: Scheduled
June 17, 2024 02:24 13s master
master
June 17, 2024 02:24 13s
PR release PR release #2: completed by JovanGerb
June 16, 2024 07:16 1s
June 16, 2024 07:16 1s
CI CI #2: Scheduled
June 16, 2024 07:16 23s master
master
June 16, 2024 07:16 23s
Label stale PRs Label stale PRs #1: Scheduled
June 16, 2024 02:24 19s master
master
June 16, 2024 02:24 19s
PR release PR release #1: completed by JovanGerb
June 16, 2024 01:12 2s
June 16, 2024 01:12 2s
feat: switching List lookup normal forms to L[n] and L[n]? (#4400) Nix CI #1: Commit e10a37d pushed by JovanGerb
June 16, 2024 00:29 34m 38s master
master
June 16, 2024 00:29 34m 38s
feat: switching List lookup normal forms to L[n] and L[n]? (#4400) Update stage0 #1: Commit e10a37d pushed by JovanGerb
June 16, 2024 00:29 26s master
master
June 16, 2024 00:29 26s
feat: switching List lookup normal forms to L[n] and L[n]? (#4400) Actionlint #1: Commit e10a37d pushed by JovanGerb
June 16, 2024 00:29 33s master
master
June 16, 2024 00:29 33s
feat: switching List lookup normal forms to L[n] and L[n]? (#4400) CI #1: Commit e10a37d pushed by JovanGerb
June 16, 2024 00:29 43m 8s master
master
June 16, 2024 00:29 43m 8s
ProTip! You can narrow down the results and go further in time using created:<2024-06-16 or the other filters available.