Skip to content

Actions: opencompl/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,427 workflow runs
3,427 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Label stale PRs Label stale PRs #692: Scheduled
9s master
master
9s
PR release PR release #1380: completed by alexkeizer
1s
1s
Grove Grove #212: completed by alexkeizer
10s
10s
CI CI #1380: Scheduled
15s master
master
15s
Label stale PRs Label stale PRs #691: Scheduled
6s master
master
6s
PR release PR release #1379: completed by luisacicolini
1s
1s
Grove Grove #211: completed by luisacicolini
1s
1s
fix: add OfNat instance for LeanOptionValue (#11859) Update stage0 #96: Commit abed967 pushed by luisacicolini
1d 0h 0m 2s master
master
1d 0h 0m 2s
fix: add OfNat instance for LeanOptionValue (#11859) CI #1379: Commit abed967 pushed by luisacicolini
2h 17m 23s master
master
2h 17m 23s
Grove Grove #210: completed by alexkeizer
1s
1s
PR release PR release #1378: completed by alexkeizer
Skipped
Skipped
CI CI #1378: Scheduled
16s master
master
16s
Label stale PRs Label stale PRs #690: Scheduled
6s master
master
6s
Grove Grove #209: completed by luisacicolini
1s
1s
PR release PR release #1377: completed by luisacicolini
1s
1s
feat: add BitVec induction cons|concat induction principles (#11767) Actionlint #73: Commit 94c45c3 pushed by luisacicolini
52s master
master
52s
feat: add BitVec induction cons|concat induction principles (#11767) CI #1377: Commit 94c45c3 pushed by luisacicolini
2h 14m 37s master
master
2h 14m 37s
feat: add BitVec induction cons|concat induction principles (#11767) Update stage0 #95: Commit 94c45c3 pushed by luisacicolini
1d 0h 0m 1s master
master
1d 0h 0m 1s
PR release PR release #1376: completed by alexkeizer
1s
1s
Grove Grove #208: completed by alexkeizer
1s
1s
CI CI #1376: Scheduled
20s master
master
20s
Label stale PRs Label stale PRs #689: Scheduled
10s master
master
10s
PR release PR release #1375: completed by alexkeizer
Skipped
Skipped
Grove Grove #207: completed by alexkeizer
1s
1s
CI CI #1375: Scheduled
15s master
master
15s