Skip to content

Actions: hmonroe/lean4-logic2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Comment out #check docs #15: Commit 54878da pushed by hmonroe
February 28, 2024 03:05 6m 32s master
master
February 28, 2024 03:05 6m 32s
Comment out #check CI #28: Commit 54878da pushed by hmonroe
February 28, 2024 03:05 6m 22s master
master
February 28, 2024 03:05 6m 22s
Clean up imports CI #27: Commit ed25cef pushed by hmonroe
February 28, 2024 02:54 6m 33s master
master
February 28, 2024 02:54 6m 33s
Clean up imports docs #14: Commit ed25cef pushed by hmonroe
February 28, 2024 02:54 6m 53s master
master
February 28, 2024 02:54 6m 53s
Clean up imports CI #26: Commit 022b247 pushed by hmonroe
February 28, 2024 02:17 6m 16s master
master
February 28, 2024 02:17 6m 16s
Clean up imports docs #13: Commit 022b247 pushed by hmonroe
February 28, 2024 02:17 6m 55s master
master
February 28, 2024 02:17 6m 55s
Correct overwritten contents CI #25: Commit 51c4100 pushed by hmonroe
February 27, 2024 13:58 5m 9s master
master
February 27, 2024 13:58 5m 9s
Correct overwritten contents docs #12: Commit 51c4100 pushed by hmonroe
February 27, 2024 13:58 6m 55s master
master
February 27, 2024 13:58 6m 55s
Fix build errors CI #24: Commit a9036ba pushed by hmonroe
February 27, 2024 13:27 1m 44s master
master
February 27, 2024 13:27 1m 44s
Fix build errors docs #11: Commit a9036ba pushed by hmonroe
February 27, 2024 13:27 1m 59s master
master
February 27, 2024 13:27 1m 59s
Fixed build and lint errors CI #23: Commit 9c2c203 pushed by hmonroe
February 27, 2024 13:20 1m 50s master
master
February 27, 2024 13:20 1m 50s
Fixed build and lint errors docs #10: Commit 9c2c203 pushed by hmonroe
February 27, 2024 13:20 1m 56s master
master
February 27, 2024 13:20 1m 56s
Build lint errors CI #22: Commit 5a91c1d pushed by hmonroe
February 27, 2024 12:43 1m 46s master
master
February 27, 2024 12:43 1m 46s
Build lint errors docs #9: Commit 5a91c1d pushed by hmonroe
February 27, 2024 12:43 1m 57s master
master
February 27, 2024 12:43 1m 57s
Lint docs #8: Commit b1f9b37 pushed by hmonroe
February 26, 2024 05:03 1m 53s master
master
February 26, 2024 05:03 1m 53s
Lint CI #21: Commit b1f9b37 pushed by hmonroe
February 26, 2024 05:03 1m 39s master
master
February 26, 2024 05:03 1m 39s
Lint docs #7: Commit b4f2b56 pushed by hmonroe
February 26, 2024 04:54 6m 29s master
master
February 26, 2024 04:54 6m 29s
Lint CI #20: Commit b4f2b56 pushed by hmonroe
February 26, 2024 04:54 6m 31s master
master
February 26, 2024 04:54 6m 31s
With doc string docs #6: Commit 4ad9b00 pushed by hmonroe
February 26, 2024 04:28 6m 23s master
master
February 26, 2024 04:28 6m 23s
With doc string CI #19: Commit 4ad9b00 pushed by hmonroe
February 26, 2024 04:28 6m 34s master
master
February 26, 2024 04:28 6m 34s
ParthArith in separate file CI #18: Commit 5ce2fb1 pushed by hmonroe
February 26, 2024 04:18 6m 31s master
master
February 26, 2024 04:18 6m 31s
ParthArith in separate file docs #5: Commit 5ce2fb1 pushed by hmonroe
February 26, 2024 04:18 6m 50s master
master
February 26, 2024 04:18 6m 50s
Replace Arith₁ with Arith CI #17: Commit 8752d87 pushed by hmonroe
February 26, 2024 03:48 6m 13s master
master
February 26, 2024 03:48 6m 13s
Replace Arith₁ with Arith docs #4: Commit 8752d87 pushed by hmonroe
February 26, 2024 03:48 6m 34s master
master
February 26, 2024 03:48 6m 34s
Fix proof of coprime_mul_succ CI #16: Commit e5810a6 pushed by hmonroe
February 26, 2024 03:46 6m 12s master
master
February 26, 2024 03:46 6m 12s