Skip to content

Actions: utensil/formal-land

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
355 workflow runs
355 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More consistency Lean 4 CI #104: Commit 3d1f907 pushed by utensil
December 16, 2023 10:44 10m 48s master
master
December 16, 2023 10:44 10m 48s
Further clean up for golf Lean 4 CI #103: Commit 4178473 pushed by utensil
December 16, 2023 09:58 7m 27s master
master
December 16, 2023 09:58 7m 27s
Error free for mem_lipschitz_conjAct_le ! Lean 4 CI #102: Commit 212cee6 pushed by utensil
December 16, 2023 09:52 11m 0s master
master
December 16, 2023 09:52 11m 0s
Done with first focus Lean 4 CI #101: Commit bc32f56 pushed by utensil
December 15, 2023 14:24 11m 39s master
master
December 15, 2023 14:24 11m 39s
Truly as was Lean 4 CI #100: Commit a7d1fc2 pushed by utensil
December 15, 2023 13:27 10m 44s master
master
December 15, 2023 13:27 10m 44s
mem_lipschitz_conjAct_le as was Lean 4 CI #99: Commit 3bc7138 pushed by utensil
December 15, 2023 13:26 8m 18s master
master
December 15, 2023 13:26 8m 18s
Eric code Lean 4 CI #98: Commit e8ade3b pushed by utensil
December 15, 2023 13:21 11m 21s master
master
December 15, 2023 13:21 11m 21s
Prove what I can, and show what I can't Lean 4 CI #97: Commit 7424164 pushed by utensil
December 15, 2023 11:37 8m 10s master
master
December 15, 2023 11:37 8m 10s
Still not true Lean 4 CI #96: Commit e0217cc pushed by utensil
December 15, 2023 06:19 7m 53s master
master
December 15, 2023 06:19 7m 53s
Stash Lean 4 CI #95: Commit 34f50bb pushed by utensil
December 15, 2023 06:04 12m 17s master
master
December 15, 2023 06:04 12m 17s
Only update Github Pages for Ubuntu Lean 4 CI #94: Commit 3bdf680 pushed by utensil
December 12, 2023 15:19 8m 47s master
master
December 12, 2023 15:19 8m 47s
The LeanInk way of Windows CI Lean 4 CI #93: Commit 27f31af pushed by utensil
December 12, 2023 10:43 7m 26s master
master
December 12, 2023 10:43 7m 26s
Back to colon and CamelCase Lean 4 CI #92: Commit ba2876c pushed by utensil
December 12, 2023 10:03 1m 28s master
master
December 12, 2023 10:03 1m 28s
Try -NoPrompt 1 Lean 4 CI #91: Commit aecf141 pushed by utensil
December 12, 2023 05:47 7m 25s master
master
December 12, 2023 05:47 7m 25s
colon Lean 4 CI #90: Commit ebc9dc8 pushed by utensil
December 12, 2023 01:11 9m 21s master
master
December 12, 2023 01:11 9m 21s
Present means true Lean 4 CI #89: Commit b80147f pushed by utensil
December 12, 2023 00:56 9m 58s master
master
December 12, 2023 00:56 9m 58s
powershell likes CamelCase Lean 4 CI #88: Commit 3e5233f pushed by utensil
December 11, 2023 14:50 7m 17s master
master
December 11, 2023 14:50 7m 17s
Try add Windows CI Lean 4 CI #87: Commit 966bea7 pushed by utensil
December 11, 2023 13:44 10m 14s master
master
December 11, 2023 13:44 10m 14s
Add Mac CI Lean 4 CI #86: Commit 0c41046 pushed by utensil
December 11, 2023 13:15 7m 20s master
master
December 11, 2023 13:15 7m 20s
Fix LeanInk for print-paths Lean 4 CI #85: Commit f46969b pushed by utensil
December 11, 2023 12:28 3m 30s master
master
December 11, 2023 12:28 3m 30s
Improve check_examples and pass them Lean 4 CI #84: Commit 9455dac pushed by utensil
December 11, 2023 08:10 1m 31s master
master
December 11, 2023 08:10 1m 31s
Experiment with calc Lean 4 CI #83: Commit 9733fab pushed by utensil
December 11, 2023 05:51 1m 39s master
master
December 11, 2023 05:51 1m 39s
Error free! Lean 4 CI #82: Commit df6b280 pushed by utensil
December 9, 2023 15:59 1m 26s master
master
December 9, 2023 15:59 1m 26s
Code clean up Lean 4 CI #81: Commit a852f3a pushed by utensil
December 9, 2023 15:56 1m 41s master
master
December 9, 2023 15:56 1m 41s
Prove units_involute_act_eq_conjAct Lean 4 CI #80: Commit 6f7e469 pushed by utensil
December 9, 2023 15:56 1m 31s master
master
December 9, 2023 15:56 1m 31s
ProTip! You can narrow down the results and go further in time using created:<2023-12-09 or the other filters available.