Skip to content

Actions: leanprover/lean4

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.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: completions for @[delab app.foo] attribute CI #62539: Pull request #14971 opened by kmill
8m 14s kmill_delab_app_completion
kmill_delab_app_completion
8m 14s
perf: use String.compare in ConfigEval decision tree CI #62538: Pull request #13806 synchronize by kmill
7m 26s kmill_configeval_compare
kmill_configeval_compare
7m 26s
feat: improve #print recursor rules (#14960) CI #62537: Commit 1584f13 pushed by github-merge-queue Bot
26m 22s master
master
26m 22s
perf: give currRecDepth its own ReaderT layer in CoreM CI #62536: Pull request #14970 opened by Kha
16m 27s core-recdepth-readert
core-recdepth-readert
16m 27s
fix: use the correct calling convention when over-applying a closure in lean_apply_m CI #62535: Pull request #14969 opened by Kha
13m 16s runtime-apply-m-fix
runtime-apply-m-fix
13m 16s
perf: cache the innermost scope state in ScopedEnvExtension.StateStack CI #62534: Pull request #14968 opened by Kha
24m 35s scoped-ext-cached-state
scoped-ext-cached-state
24m 35s
CI CI #62533: Merge group checks requested
21m 48s
21m 48s
perf: avoid setTransparency when the transparency is already in effect CI #62532: Pull request #14967 opened by Kha
12m 18s meta-transparency-noop
meta-transparency-noop
12m 18s
perf: move currRecDepth from Core.Context into Core.State CI #62531: Pull request #14966 opened by Kha
9m 40s core-recdepth-in-state
core-recdepth-in-state
9m 40s
fix: kernel error from simp results cached with a proof that has free variables CI #62530: Pull request #14965 opened by nomeata
11m 38s joachim/issue14961
joachim/issue14961
11m 38s
joachim/issue14961 CI #62529: Pull request #14964 opened by nomeata
7m 56s joachim/issue14961
joachim/issue14961
7m 56s
fix: link libLeanExport.a into executables that link Lake (#14963) CI #62528: Commit 80e859f pushed by github-merge-queue Bot
29m 32s master
master
29m 32s
perf: split Core.Context into hot and cold subobjects (#14962) CI #62527: Commit 696e847 pushed by github-merge-queue Bot
28m 36s master
master
28m 36s
CI CI #62526: Merge group checks requested
30m 5s
30m 5s
fix: link libLeanExport.a into executables that link Lake CI #62525: Pull request #14963 opened by Kha
11m 11s lake-leanexport-link
lake-leanexport-link
11m 11s
perf: compile mimalloc with MI_MAX_ALIGN_SIZE=8 (#14948) CI #62524: Commit 482150a pushed by github-merge-queue Bot
17m 58s master
master
17m 58s
CI CI #62523: Merge group checks requested
32m 24s
32m 24s
CI CI #62522: Merge group checks requested
2m 10s
2m 10s
CI CI #62521: Merge group checks requested
28m 36s
28m 36s
perf: split Core.Context into hot and cold subobjects CI #62520: Pull request #14962 opened by Kha
9m 51s core-context-cold-split
core-context-cold-split
9m 51s
CI CI #62519: Scheduled
1h 37m 45s master
master
1h 37m 45s
feat: lake: separate leanir job CI #62518: Pull request #14906 synchronize by tydeu
9m 47s tydeu:lake/ir-arts
tydeu:lake/ir-arts
9m 47s
feat: lake: separate leanir job CI #62517: Pull request #14906 synchronize by tydeu
2m 40s tydeu:lake/ir-arts
tydeu:lake/ir-arts
2m 40s
feat: lake: separate leanir job CI #62516: Pull request #14906 synchronize by tydeu
9m 18s tydeu:lake/ir-arts
tydeu:lake/ir-arts
9m 18s
feat: lake: separate leanir job CI #62515: Pull request #14906 synchronize by tydeu
9m 34s tydeu:lake/ir-arts
tydeu:lake/ir-arts
9m 34s