Skip to content

Actions: leanprover/lean4

Actions

Check stdlib_flags.h modifications

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-stdlib-flags.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
feat: add @[backward_defeq] attribute and local useBackward simp option Check stdlib_flags.h modifications #7292: Pull request #13492 labeled by mathlib-lean-pr-testing Bot
9s
9s
feat: add @[backward_defeq] attribute and local useBackward simp option Check stdlib_flags.h modifications #7291: Pull request #13492 unlabeled by mathlib-lean-pr-testing Bot
9s
9s
feat: support while let in do blocks via unified condition syntax Check stdlib_flags.h modifications #7290: Pull request #13534 synchronize by sgraf812
9s
9s
feat: support while let in do blocks via unified condition syntax Check stdlib_flags.h modifications #7289: Pull request #13534 labeled by sgraf812
7s
7s
feat: support while let in do blocks via unified condition syntax Check stdlib_flags.h modifications #7288: Pull request #13534 opened by sgraf812
7s
7s
perf: avoid unnecessary RC traffic in interpreter Check stdlib_flags.h modifications #7287: Pull request #13533 opened by Kha
10s
10s
feat: add @[backward_defeq] attribute and local useBackward simp option Check stdlib_flags.h modifications #7286: Pull request #13492 labeled by mathlib-lean-pr-testing Bot
7s
7s
feat: add @[backward_defeq] attribute and local useBackward simp option Check stdlib_flags.h modifications #7285: Pull request #13492 unlabeled by mathlib-lean-pr-testing Bot
8s
8s
feat: add @[backward_defeq] attribute and local useBackward simp option Check stdlib_flags.h modifications #7284: Pull request #13492 synchronize by nomeata
6s
6s
feat: add @[backward_defeq] attribute and local useBackward simp option Check stdlib_flags.h modifications #7283: Pull request #13492 labeled by mathlib-lean-pr-testing Bot
7s
7s
feat: add @[backward_defeq] attribute and local useBackward simp option Check stdlib_flags.h modifications #7282: Pull request #13492 unlabeled by mathlib-lean-pr-testing Bot
8s
8s
feat: MVarId.assertAfter fvar alias info, MVarId.replace mvar dependencies, specialize tactic using eta arguments Check stdlib_flags.h modifications #7281: Pull request #13528 labeled by mathlib-lean-pr-testing Bot
6s
6s
feat: MVarId.assertAfter fvar alias info, MVarId.replace mvar dependencies, specialize tactic using eta arguments Check stdlib_flags.h modifications #7280: Pull request #13528 unlabeled by mathlib-lean-pr-testing Bot
7s
7s
feat: notify satellite solvers about asserted equalities in grind Check stdlib_flags.h modifications #7279: Pull request #13532 opened by leodemoura
13s
13s
feat: notify satellite solvers about asserted equalities in grind Check stdlib_flags.h modifications #7278: Pull request #13532 labeled by leodemoura
6s
6s
feat: serve trace.profiler data via local HTTP server Check stdlib_flags.h modifications #7277: Pull request #13530 opened by Kha
7s
7s
fix: improve higher order defeq Check stdlib_flags.h modifications #7276: Pull request #13529 labeled by mathlib-lean-pr-testing Bot
5m 41s
5m 41s
fix: improve higher order defeq Check stdlib_flags.h modifications #7275: Pull request #13529 opened by Rob23oba
11s
11s
feat: MVarId.assertAfter fvar alias info, MVarId.replace mvar dependencies, specialize tactic using eta arguments Check stdlib_flags.h modifications #7274: Pull request #13528 labeled by mathlib-lean-pr-testing Bot
9s
9s
feat: MVarId.assertAfter fvar alias info, MVarId.replace mvar dependencies, specialize tactic using eta arguments Check stdlib_flags.h modifications #7273: Pull request #13528 labeled by kmill
6s
6s
feat: MVarId.assertAfter fvar alias info, MVarId.replace mvar dependencies, specialize tactic using eta arguments Check stdlib_flags.h modifications #7272: Pull request #13528 opened by kmill
7s
7s
feat: make unit RpcEncodable Check stdlib_flags.h modifications #7271: Pull request #13527 labeled by robsimmons
7s
7s
feat: make unit RpcEncodable Check stdlib_flags.h modifications #7270: Pull request #13527 opened by robsimmons
8s
8s
GetElemV draft Check stdlib_flags.h modifications #7269: Pull request #13168 synchronize by datokrat
12s
12s
GetElemV draft Check stdlib_flags.h modifications #7268: Pull request #13168 synchronize by datokrat
7s
7s
ProTip! You can narrow down the results and go further in time using created:<2026-04-25 or the other filters available.