Skip to content

Actions: leanprover/lean4

Actions

Update stage0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update-stage0.yml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix: lake: await needs before processing module headers (#13601) Update stage0 #8063: Commit dae3257 pushed by github-merge-queue Bot
1m 5s master
master
1m 5s
fix: lake: meta import transitive import artifacts (#13600) Update stage0 #8062: Commit 326f43a pushed by github-merge-queue Bot
1m 3s master
master
1m 3s
fix: grind congruence-table invariant for lazy ite branches (#13624) Update stage0 #8061: Commit 316c39f pushed by github-merge-queue Bot
1m 5s master
master
1m 5s
fix: grind cast internalization order (#13625) Update stage0 #8060: Commit ee8acc1 pushed by github-merge-queue Bot
1m 3s master
master
1m 3s
fix: missing proof hints in grind propagators (#13623) Update stage0 #8059: Commit 1b23b05 pushed by github-merge-queue Bot
1m 1s master
master
1m 1s
fix: another grind AC invariant (#13622) Update stage0 #8058: Commit 2d79ec2 pushed by github-merge-queue Bot
1m 1s master
master
1m 1s
fix: grind AC invariant (#13614) Update stage0 #8057: Commit fe3c739 pushed by github-merge-queue Bot
1m 0s master
master
1m 0s
fix: missing case in processLevel at SymM (#13612) Update stage0 #8056: Commit 0303977 pushed by github-merge-queue Bot
1m 0s master
master
1m 0s
fix: remove incorrect assertion at Sym/Simp/Have.lean (#13611) Update stage0 #8055: Commit 75e37de pushed by github-merge-queue Bot
1m 0s master
master
1m 0s
feat: add .instances-transparency type-check diagnostics (#13368) Update stage0 #8054: Commit 508a113 pushed by github-merge-queue Bot
59s master
master
59s
chore: refine PR description guidance in .claude/CLAUDE.md (#13597) Update stage0 #8053: Commit b7ca76a pushed by github-merge-queue Bot
1m 2s master
master
1m 2s
chore: disable flaky test (#13603) Update stage0 #8052: Commit 4b8e74b pushed by github-merge-queue Bot
1m 0s master
master
1m 0s
fix: prevent private default instances from leaking into public scope… Update stage0 #8051: Commit c53c4b4 pushed by github-merge-queue Bot
1m 0s master
master
1m 0s
fix: always fail on unsolved metavariables after Verso docstring elab… Update stage0 #8050: Commit 659249a pushed by github-merge-queue Bot
1m 1s master
master
1m 1s
fix: disable model-based theory combination in grind derived tactic… Update stage0 #8049: Commit 53db221 pushed by github-merge-queue Bot
1m 5s master
master
1m 5s
fix: case-split on arithmetic implications with And/Or antecedent… Update stage0 #8048: Commit a9946fe pushed by github-merge-queue Bot
1m 1s master
master
1m 1s
feat: script for finding deprecated options, modules and syntax (#13586) Update stage0 #8047: Commit 84f8c16 pushed by github-merge-queue Bot
1m 5s master
master
1m 5s
fix: limit ring solver polynomial degree in grind (#13585) Update stage0 #8046: Commit 427e3bc pushed by github-merge-queue Bot
1m 5s master
master
1m 5s
feat: MVarId.assertAfter fvar alias info, MVarId.replace mvar dep… Update stage0 #8045: Commit 19baa47 pushed by github-merge-queue Bot
1m 4s master
master
1m 4s
chore: switch Invariant helpers from abbrev to def + @[simp] (#13583) Update stage0 #8044: Commit ad5a329 pushed by github-merge-queue Bot
1m 4s master
master
1m 4s
fix: propagate parent cancel token to parallel tactic subtasks (#13428) Update stage0 #8043: Commit 9efe428 pushed by github-merge-queue Bot
1m 4s master
master
1m 4s
feat: add SPred and PostCond entailment lemmas (#13582) Update stage0 #8042: Commit 906d9cf pushed by github-merge-queue Bot
1m 5s master
master
1m 5s
feat: upstream unnecessarySeqFocus linter (#13540) Update stage0 #8041: Commit 2b5d154 pushed by github-merge-queue Bot
1m 11s master
master
1m 11s
test: regression tests for do issues fixed by the new elaborator (#… Update stage0 #8040: Commit e6f44ee pushed by github-merge-queue Bot
1m 6s master
master
1m 6s
feat: upstream dupNamespace environment linter (#13538) Update stage0 #8039: Commit 2ba4c55 pushed by github-merge-queue Bot
1m 12s master
master
1m 12s