Skip to content

Actions: utensil/lean-playground

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
228 workflow runs
228 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Add more docs about tactics Lean 4 Playground #205: Commit 1d59f39 pushed by utensil
June 15, 2024 10:08 3m 50s main
main
June 15, 2024 10:08 3m 50s
Add Json experiments Lean 4 Playground #204: Commit 838f625 pushed by utensil
June 13, 2024 09:23 3m 33s main
main
June 13, 2024 09:23 3m 33s
Try mk_all with the linker flag on all OSes Lean 4 Playground #203: Commit 92a586d pushed by utensil
June 12, 2024 13:40 3m 22s main
main
June 12, 2024 13:40 3m 22s
Should be weakLinkArgs Lean 4 Playground #202: Commit 2bc3dde pushed by utensil
June 12, 2024 13:31 3m 45s main
main
June 12, 2024 13:31 3m 45s
lake -R Lean 4 Playground #201: Commit 3c0027e pushed by utensil
June 12, 2024 13:25 3m 28s main
main
June 12, 2024 13:25 3m 28s
Try add weakLeancArgs := #["-lLake"] Lean 4 Playground #200: Commit f770e70 pushed by utensil
June 12, 2024 13:21 3m 25s main
main
June 12, 2024 13:21 3m 25s
Try bash Lean 4 Playground #199: Commit 0dde8ef pushed by utensil
June 12, 2024 13:17 3m 11s main
main
June 12, 2024 13:17 3m 11s
Try lake env lake exe mk_all on Windows Lean 4 Playground #198: Commit 9390014 pushed by utensil
June 12, 2024 12:44 3m 22s main
main
June 12, 2024 12:44 3m 22s
Try lake env lake exe mk_all Lean 4 Playground #197: Commit 2e053a3 pushed by utensil
June 12, 2024 12:39 2m 54s main
main
June 12, 2024 12:39 2m 54s
Try mk_all Lean 4 Playground #196: Commit 1720ad7 pushed by utensil
June 12, 2024 12:18 3m 16s main
main
June 12, 2024 12:18 3m 16s
Bump to leanprover/lean4:v4.9.0-rc1 Lean 4 Playground #195: Commit cb78fd9 pushed by utensil
June 12, 2024 12:16 3m 21s main
main
June 12, 2024 12:16 3m 21s
Add some experiments Lean 4 Playground #194: Commit 0ef9f65 pushed by utensil
June 12, 2024 11:37 9m 53s main
main
June 12, 2024 11:37 9m 53s
Run lake build Duper first Lean 4 Playground #193: Commit 8c46d8b pushed by utensil
May 28, 2024 04:47 9m 45s main
main
May 28, 2024 04:47 9m 45s
Bump mathlib Lean 4 Playground #192: Commit e716bde pushed by utensil
May 27, 2024 09:12 3m 16s main
main
May 27, 2024 09:12 3m 16s
Partially recover Duper examples Lean 4 Playground #191: Commit 4e732eb pushed by utensil
May 27, 2024 08:33 3m 13s main
main
May 27, 2024 08:33 3m 13s
Bump to leanprover/lean4:v4.8.0-rc2 [annotate] Lean 4 Playground #190: Commit a9b1c59 pushed by utensil
May 22, 2024 13:01 3m 27s main
main
May 22, 2024 13:01 3m 27s
Extract fillLeft Lean 4 Playground #189: Commit 9188be6 pushed by utensil
May 22, 2024 08:51 3m 6s main
main
May 22, 2024 08:51 3m 6s
Fix filling 0 [annotate] Lean 4 Playground #188: Commit e10ea0a pushed by utensil
May 22, 2024 07:21 3m 42s main
main
May 22, 2024 07:21 3m 42s
Add Zulip/Float.lean [annotate] Lean 4 Playground #187: Commit 6079003 pushed by utensil
May 22, 2024 06:57 3m 21s main
main
May 22, 2024 06:57 3m 21s
Add --toc [annotate] Lean 4 Playground #186: Commit 08e2d99 pushed by utensil
May 20, 2024 12:30 3m 25s main
main
May 20, 2024 12:30 3m 25s
Fix cp order [annotate] Lean 4 Playground #185: Commit 5a3183d pushed by utensil
May 20, 2024 12:09 3m 24s main
main
May 20, 2024 12:09 3m 24s
Move some root files into Zulip and revamp annotation script [annotate] Lean 4 Playground #184: Commit fc726ca pushed by utensil
May 20, 2024 11:59 2m 53s main
main
May 20, 2024 11:59 2m 53s
Move examples into a package, and adjust accordingly [annotate] Lean 4 Playground #183: Commit 5aba82f pushed by utensil
May 20, 2024 09:45 4m 11s main
main
May 20, 2024 09:45 4m 11s
Distinguish tests with warnings, and support --verbose Lean 4 Playground #182: Commit fd4d1d4 pushed by utensil
May 20, 2024 09:16 3m 30s main
main
May 20, 2024 09:16 3m 30s
[annotate] Lean 4 Playground #181: Commit dada6db pushed by utensil
May 20, 2024 06:55 3m 58s main
main
May 20, 2024 06:55 3m 58s