Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
27,370 workflow runs
27,370 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #53498: Merge group checks requested
In progress
In progress
CI CI #53497: Merge group checks requested
In progress
In progress
fix: prevent cbv from picking up classical Decidable instances CI #53496: Pull request #12816 synchronize by wkrozowski
In progress wkrozowski:wojciech/cbv-classical-draft
wkrozowski:wojciech/cbv-classical-draft
In progress
feat: unify name demangling with single Lean implementation (#12539) CI #53495: Commit 5f3ca3a pushed by github-merge-queue bot
In progress master
master
In progress
chore: migrate more tests to new test suite CI #53494: Pull request #12809 synchronize by Garmelon
In progress joscha/migrate-more-tests
joscha/migrate-more-tests
In progress
CI CI #53493: Merge group checks requested
In progress
In progress
chore: migrate more tests to new test suite CI #53492: Pull request #12809 synchronize by Garmelon
36s joscha/migrate-more-tests
joscha/migrate-more-tests
36s
CI CI #53491: Merge group checks requested
32m 23s
32m 23s
test: add instantiateMVars tests and benchmark for delayed assignment… CI #53490: Commit ee293de pushed by github-merge-queue bot
1h 25m 21s master
master
1h 25m 21s
CI CI #53489: Merge group checks requested
31m 11s
31m 11s
CI CI #53488: Merge group checks requested
42m 13s
42m 13s
fix: prevent cbv from picking up classical Decidable instances CI #53487: Pull request #12816 synchronize by wkrozowski
2h 20m 13s wkrozowski:wojciech/cbv-classical-draft
wkrozowski:wojciech/cbv-classical-draft
2h 20m 13s
chore: nix shell: add python314 CI #53486: Pull request #12774 synchronize by fiforeach
48m 44s fiforeach:nix-python3
fiforeach:nix-python3
48m 44s
CI CI #53485: Merge group checks requested
2h 37m 31s
2h 37m 31s
chore: nix shell: add python314 CI #53484: Pull request #12774 synchronize by fiforeach
12m 57s fiforeach:nix-python3
fiforeach:nix-python3
12m 57s
feat: unify name demangling with single Lean implementation CI #53483: Pull request #12539 synchronize by hargoniX
1h 11m 59s feat/lean-name-demangling
feat/lean-name-demangling
1h 11m 59s
CI CI #53482: Scheduled
Queued master
master
Queued
perf: fuse fvar substitution into instantiateMVars CI #53481: Pull request #12233 synchronize by nomeata
50m 55s joachim/instantiateMVarsNoUpdate
joachim/instantiateMVarsNoUpdate
50m 55s
chore: grind guard condition for List.eq_or_mem_of_mem_cons CI #53480: Pull request #12824 opened by kim-em
18m 2s eq_or_mem_of_mem_cons
eq_or_mem_of_mem_cons
18m 2s
CI CI #53479: by kim-em
Queued v4.29.0-rc6
v4.29.0-rc6
Queued
feat: unify name demangling with single Lean implementation CI #53478: Pull request #12539 synchronize by kim-em
1h 40m 54s feat/lean-name-demangling
feat/lean-name-demangling
1h 40m 54s
fix: remove @[grind →] from getElem_of_getElem? (#12821) CI #53477: Commit a165292 pushed by github-merge-queue bot
1h 35m 5s master
master
1h 35m 5s
CI CI #53476: Merge group checks requested
34m 12s
34m 12s
feat: move instance-class check to declaration site (#12325) CI #53475: Commit db6aa9d pushed by github-merge-queue bot
55m 57s master
master
55m 57s
CI CI #53474: Merge group checks requested
33m 33s
33m 33s