Skip to content

Actions: algebraic-dev/lean4

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,144 workflow runs
1,144 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PR release
PR release #5: completed by algebraic-dev
July 29, 2024 18:18 3s
July 29, 2024 18:18 3s
chore: fix universe in PSigma.exists (#4862)
Actionlint #2: Commit a845a00 pushed by algebraic-dev
July 29, 2024 17:49 30s master
July 29, 2024 17:49 30s
chore: fix universe in PSigma.exists (#4862)
CI #5: Commit a845a00 pushed by algebraic-dev
July 29, 2024 17:49 29m 30s master
July 29, 2024 17:49 29m 30s
chore: fix universe in PSigma.exists (#4862)
Nix CI #2: Commit a845a00 pushed by algebraic-dev
July 29, 2024 17:49 36m 21s master
July 29, 2024 17:49 36m 21s
chore: fix universe in PSigma.exists (#4862)
Update stage0 #2: Commit a845a00 pushed by algebraic-dev
July 29, 2024 17:49 31s master
July 29, 2024 17:49 31s
PR release
PR release #4: completed by algebraic-dev
July 29, 2024 07:00 2s
July 29, 2024 07:00 2s
CI
CI #4: Scheduled
July 29, 2024 07:00 24s master
July 29, 2024 07:00 24s
Label stale PRs
Label stale PRs #3: Scheduled
July 29, 2024 01:55 11s master
July 29, 2024 01:55 11s
PR release
PR release #3: completed by algebraic-dev
July 28, 2024 07:00 1s
July 28, 2024 07:00 1s
CI
CI #3: Scheduled
July 28, 2024 07:00 21s master
July 28, 2024 07:00 21s
Label stale PRs
Label stale PRs #2: Scheduled
July 28, 2024 01:57 11s master
July 28, 2024 01:57 11s
PR release
PR release #2: completed by algebraic-dev
July 27, 2024 07:00 1s
July 27, 2024 07:00 1s
CI
CI #2: Scheduled
July 27, 2024 07:00 22s master
July 27, 2024 07:00 22s
Label stale PRs
Label stale PRs #1: Scheduled
July 27, 2024 01:52 9s master
July 27, 2024 01:52 9s
PR release
PR release #1: completed by algebraic-dev
July 26, 2024 20:39 2s
July 26, 2024 20:39 2s
fix: calling programs with spaces on Windows (#4515)
Nix CI #1: Commit 9b342ef pushed by algebraic-dev
July 26, 2024 19:56 49m 11s master
July 26, 2024 19:56 49m 11s
fix: calling programs with spaces on Windows (#4515)
Actionlint #1: Commit 9b342ef pushed by algebraic-dev
July 26, 2024 19:56 2m 49s master
July 26, 2024 19:56 2m 49s
fix: calling programs with spaces on Windows (#4515)
Update stage0 #1: Commit 9b342ef pushed by algebraic-dev
July 26, 2024 19:56 24s master
July 26, 2024 19:56 24s
fix: calling programs with spaces on Windows (#4515)
CI #1: Commit 9b342ef pushed by algebraic-dev
July 26, 2024 19:56 43m 32s master
July 26, 2024 19:56 43m 32s
ProTip! You can narrow down the results and go further in time using created:<2024-07-26 or the other filters available.