Skip to content

Actions: namideus/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
374 workflow runs
374 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Label stale PRs Label stale PRs #7: Scheduled
9s master
master
9s
PR release PR release #7: completed by namideus
2s
2s
CI CI #7: Scheduled
18s master
master
18s
Label stale PRs Label stale PRs #6: Scheduled
11s master
master
11s
PR release PR release #6: completed by namideus
2s
2s
CI CI #6: Scheduled
21s master
master
21s
Label stale PRs Label stale PRs #5: Scheduled
10s master
master
10s
PR release PR release #5: completed by namideus
2s
2s
CI CI #5: Scheduled
18s master
master
18s
Label stale PRs Label stale PRs #4: Scheduled
10s master
master
10s
PR release PR release #4: completed by namideus
1s
1s
CI CI #4: Scheduled
18s master
master
18s
Label stale PRs Label stale PRs #3: Scheduled
12s master
master
12s
PR release PR release #3: completed by namideus
2s
2s
CI CI #3: Scheduled
18s master
master
18s
Label stale PRs Label stale PRs #2: Scheduled
12s master
master
12s
PR release PR release #2: completed by namideus
1s
1s
CI CI #2: Scheduled
19s master
master
19s
Label stale PRs Label stale PRs #1: Scheduled
10s master
master
10s
PR release PR release #1: completed by namideus
2s
2s
chore: fix confusing Environment.replayConsts parameter order (#7472) Nix CI #1: Commit 0f3d426 pushed by namideus
1h 0m 35s master
master
1h 0m 35s
chore: fix confusing Environment.replayConsts parameter order (#7472) Actionlint #1: Commit 0f3d426 pushed by namideus
51s master
master
51s
chore: fix confusing Environment.replayConsts parameter order (#7472) Update stage0 #1: Commit 0f3d426 pushed by namideus
47s master
master
47s
chore: fix confusing Environment.replayConsts parameter order (#7472) CI #1: Commit 0f3d426 pushed by namideus
1h 12m 13s master
master
1h 12m 13s
ProTip! You can narrow down the results and go further in time using created:<2025-03-13 or the other filters available.