Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
283,607 workflow runs
283,607 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: migrate more tests to new test suite CI #53464: Pull request #12809 synchronize by Garmelon
In progress joscha/migrate-more-tests
joscha/migrate-more-tests
In progress
chore: migrate more tests to new test suite Check for stage0 changes #29889: Pull request #12809 synchronize by Garmelon
53s joscha/migrate-more-tests
joscha/migrate-more-tests
53s
chore: migrate more tests to new test suite Check for copyright header #24293: Pull request #12809 synchronize by Garmelon
1m 5s joscha/migrate-more-tests
joscha/migrate-more-tests
1m 5s
chore: migrate more tests to new test suite Check PR title for commit convention #38787: Pull request #12809 synchronize by Garmelon
8s joscha/migrate-more-tests
joscha/migrate-more-tests
8s
chore: migrate more tests to new test suite Check for modules that should use `prelude` #24138: Pull request #12809 synchronize by Garmelon
13s joscha/migrate-more-tests
joscha/migrate-more-tests
13s
chore: migrate more tests to new test suite Check PR body for changelog convention #35906: Pull request #12809 synchronize by Garmelon
8s
8s
chore: migrate more tests to new test suite Check awaiting-manual label #16366: Pull request #12809 synchronize by Garmelon
7s
7s
chore: migrate more tests to new test suite Check awaiting-mathlib label #24036: Pull request #12809 synchronize by Garmelon
7s
7s
chore: migrate more tests to new test suite Check stdlib_flags.h modifications #4322: Pull request #12809 synchronize by Garmelon
14s
14s
PR release PR release #44496: completed by nomeata
7m 1s
7m 1s
Grove Grove #15986: completed by nomeata
12s
12s
Kernel accesses uninitialized memory Jira sync #980: Issue #10577 closed by nomeata
12s
12s
fix: kernel: move level parameter count and thm-is-prop checks for robustness Backport #17759: Pull request #12817 closed by nomeata
8s
8s
fix: kernel: move level parameter count and thm-is-prop checks for ro… CI #53463: Commit 6ebe573 pushed by github-merge-queue bot
In progress master
master
In progress
fix: kernel: move level parameter count and thm-is-prop checks for ro… Update stage0 #7524: Commit 6ebe573 pushed by github-merge-queue bot
1m 2s master
master
1m 2s
Grove Grove #15985: completed by nomeata
18s
18s
PR release PR release #44495: completed by nomeata
1s
1s
PR release PR release #44494: completed by Rob23oba
15s
15s
Grove Grove #15984: completed by Rob23oba
38s
38s
perf: improve proof-over-applied cases in ToLCNF Label PR based on Comment #23073: Issue comment #12814 (comment) created by mathlib-lean-pr-testing bot
1s
1s
perf: improve proof-over-applied cases in ToLCNF Backport #17758: Pull request #12814 labeled by mathlib-lean-pr-testing bot
3s
3s
perf: improve proof-over-applied cases in ToLCNF Restart by label #9767: Pull request #12814 labeled by mathlib-lean-pr-testing bot
3s
3s
perf: improve proof-over-applied cases in ToLCNF Check awaiting-mathlib label #24035: Pull request #12814 labeled by mathlib-lean-pr-testing bot
8s
8s
perf: improve proof-over-applied cases in ToLCNF Check PR body for changelog convention #35905: Pull request #12814 labeled by mathlib-lean-pr-testing bot
10s
10s
perf: improve proof-over-applied cases in ToLCNF Check awaiting-manual label #16365: Pull request #12814 labeled by mathlib-lean-pr-testing bot
9s
9s