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 #22: Scheduled
7s master
master
7s
PR release PR release #23: completed by namideus
1s
1s
fix: missing forall normalization rules in grind (#7808) Update stage0 #2: Commit 5f2f010 pushed by namideus
32s master
master
32s
fix: missing forall normalization rules in grind (#7808) Actionlint #2: Commit 5f2f010 pushed by namideus
39s master
master
39s
fix: missing forall normalization rules in grind (#7808) CI #23: Commit 5f2f010 pushed by namideus
1h 32m 24s master
master
1h 32m 24s
fix: missing forall normalization rules in grind (#7808) Nix CI #2: Commit 5f2f010 pushed by namideus
1h 3m 30s master
master
1h 3m 30s
PR release PR release #22: completed by namideus
1s
1s
CI CI #22: Scheduled
15s master
master
15s
Label stale PRs Label stale PRs #21: Scheduled
10s master
master
10s
PR release PR release #21: completed by namideus
Skipped
Skipped
CI CI #21: Scheduled
14s master
master
14s
Label stale PRs Label stale PRs #20: Scheduled
7s master
master
7s
PR release PR release #20: completed by namideus
1s
1s
CI CI #20: Scheduled
18s master
master
18s
Label stale PRs Label stale PRs #19: Scheduled
8s master
master
8s
PR release PR release #19: completed by namideus
Skipped
Skipped
CI CI #19: Scheduled
14s master
master
14s
Label stale PRs Label stale PRs #18: Scheduled
10s master
master
10s
PR release PR release #18: completed by namideus
Skipped
Skipped
CI CI #18: Scheduled
20s master
master
20s
Label stale PRs Label stale PRs #17: Scheduled
14s master
master
14s
PR release PR release #17: completed by namideus
1s
1s
CI CI #17: Scheduled
15s master
master
15s
Label stale PRs Label stale PRs #16: Scheduled
9s master
master
9s
PR release PR release #16: completed by namideus
1s
1s
ProTip! You can narrow down the results and go further in time using created:<2025-03-28 or the other filters available.