Skip to content

Actions: leanprover/lean4

Actions

Check for modules that should use `prelude`

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-prelude.yml
1,006 workflow run results
1,006 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: omega: more helpful error messages Check for modules that should use `prelude` #931: Pull request #3847 opened by nomeata
April 8, 2024 22:45 18s joachim/omega-error
joachim/omega-error
April 8, 2024 22:45 18s
doc: lean.h Check for modules that should use `prelude` #930: Pull request #3846 opened by marcusrossel
April 8, 2024 18:54 14s marcusrossel:ffi-docs
marcusrossel:ffi-docs
April 8, 2024 18:54 14s
feat: generalize simp normal form testing code and validate Nat/Int normal forms Check for modules that should use `prelude` #929: Pull request #3562 synchronize by joehendrix
April 8, 2024 17:42 11s mod_norm
mod_norm
April 8, 2024 17:42 11s
feat: generalize simp normal form testing code and validate Nat/Int normal forms Check for modules that should use `prelude` #928: Pull request #3562 synchronize by joehendrix
April 8, 2024 17:10 13s mod_norm
mod_norm
April 8, 2024 17:10 13s
refactor: lake: --wfail & track jobs & logs & simplify build monads Check for modules that should use `prelude` #927: Pull request #3835 synchronize by tydeu
April 8, 2024 17:07 14s tydeu:lake/log-refactor
tydeu:lake/log-refactor
April 8, 2024 17:07 14s
feat: trace.profiler export to Firefox Profiler Check for modules that should use `prelude` #926: Pull request #3801 synchronize by Kha
April 8, 2024 15:35 13s Kha:fx-prof
Kha:fx-prof
April 8, 2024 15:35 13s
fix: remove unused trace.Elab.syntax option Check for modules that should use `prelude` #925: Pull request #3844 opened by nomeata
April 8, 2024 15:29 17s joachim/remove-syntax
joachim/remove-syntax
April 8, 2024 15:29 17s
refactor: no need for congruence lemmas in simpIf Check for modules that should use `prelude` #924: Pull request #3841 opened by nomeata
April 8, 2024 12:25 18s joachim/splitif-no-congr
joachim/splitif-no-congr
April 8, 2024 12:25 18s
fix: include syntax kind references in ilean Check for modules that should use `prelude` #923: Pull request #3840 synchronize by nomeata
April 8, 2024 11:41 16s joachim/tactics-in-ilean
joachim/tactics-in-ilean
April 8, 2024 11:41 16s
feat: trace.profiler export to Firefox Profiler Check for modules that should use `prelude` #922: Pull request #3801 synchronize by Kha
April 8, 2024 08:45 16s Kha:fx-prof
Kha:fx-prof
April 8, 2024 08:45 16s
fix: include syntax kind references in ilean Check for modules that should use `prelude` #921: Pull request #3840 opened by nomeata
April 8, 2024 08:40 15s joachim/tactics-in-ilean
joachim/tactics-in-ilean
April 8, 2024 08:40 15s
fix: nix: add platform dependent flag to lib target Check for modules that should use `prelude` #920: Pull request #3811 synchronize by lenianiva
April 8, 2024 03:21 15s lenianiva:bug/macos-linker-failure
lenianiva:bug/macos-linker-failure
April 8, 2024 03:21 15s
fix: typo in withSetOptionIn Check for modules that should use `prelude` #919: Pull request #3806 synchronize by thorimur
April 6, 2024 17:09 19s thorimur:withSetOptionIn-fix
thorimur:withSetOptionIn-fix
April 6, 2024 17:09 19s
fix: offset typeclass checking in simp rules Check for modules that should use `prelude` #918: Pull request #3838 synchronize by joehendrix
April 6, 2024 13:08 12s fix_nat_class_defeq_simp
fix_nat_class_defeq_simp
April 6, 2024 13:08 12s
fix: offset typeclass checking in simp rules Check for modules that should use `prelude` #917: Pull request #3838 opened by joehendrix
April 6, 2024 13:07 12s fix_nat_class_defeq_simp
fix_nat_class_defeq_simp
April 6, 2024 13:07 12s
perf: improve heuristic at isDefEq Check for modules that should use `prelude` #916: Pull request #3837 synchronize by kim-em
April 6, 2024 07:31 12s 3807_slowdown
3807_slowdown
April 6, 2024 07:31 12s
perf: improve heuristic at isDefEq Check for modules that should use `prelude` #915: Pull request #3837 opened by kim-em
April 6, 2024 07:27 12s 3807_slowdown
3807_slowdown
April 6, 2024 07:27 12s
refactor: lake: --wfail & track jobs & logs & simplify build monads Check for modules that should use `prelude` #914: Pull request #3835 synchronize by tydeu
April 6, 2024 02:13 16s tydeu:lake/log-refactor
tydeu:lake/log-refactor
April 6, 2024 02:13 16s
refactor: lake: --wfail & track jobs & logs & simplify build monads Check for modules that should use `prelude` #913: Pull request #3835 synchronize by tydeu
April 6, 2024 01:13 18s tydeu:lake/log-refactor
tydeu:lake/log-refactor
April 6, 2024 01:13 18s
refactor: lake: --wfail & track jobs & logs & simplify build monads Check for modules that should use `prelude` #912: Pull request #3835 synchronize by tydeu
April 5, 2024 23:10 20s tydeu:lake/log-refactor
tydeu:lake/log-refactor
April 5, 2024 23:10 20s
doc: update release checklist based on experience with 4.7.0 Check for modules that should use `prelude` #911: Pull request #3833 synchronize by david-christiansen
April 5, 2024 07:35 14s david-christiansen:release-checklist
david-christiansen:release-checklist
April 5, 2024 07:35 14s
doc: update release checklist based on experience with 4.7.0 Check for modules that should use `prelude` #910: Pull request #3833 synchronize by david-christiansen
April 5, 2024 07:34 15s david-christiansen:release-checklist
david-christiansen:release-checklist
April 5, 2024 07:34 15s
refactor: lake: --wfail & track jobs & logs & simplify build monads Check for modules that should use `prelude` #909: Pull request #3835 synchronize by tydeu
April 5, 2024 04:41 13s tydeu:lake/log-refactor
tydeu:lake/log-refactor
April 5, 2024 04:41 13s
fix: remove special handling of numerals in DiscrTree Check for modules that should use `prelude` #908: Pull request #3684 synchronize by timotree3
April 5, 2024 04:04 14s timotree3:discrtree-ofnat-march
timotree3:discrtree-ofnat-march
April 5, 2024 04:04 14s
refactor: lake: --wfail & track jobs & logs & simplify build monads Check for modules that should use `prelude` #907: Pull request #3835 opened by tydeu
April 5, 2024 03:28 14s tydeu:lake/log-refactor
tydeu:lake/log-refactor
April 5, 2024 03:28 14s