Skip to content

Actions: proofs-and-programs/proofs-and-programs-25

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
83 workflow runs
83 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

lists from finsets Lean Action CI #88: Commit 81d349c pushed by siddhartha-gadgil
May 3, 2025 03:08 2m 24s main
main
May 3, 2025 03:08 2m 24s
comments Lean Action CI #87: Commit 871ed5d pushed by siddhartha-gadgil
April 25, 2025 08:23 2m 27s main
main
April 25, 2025 08:23 2m 27s
updated toolchain Lean Action CI #86: Commit 0c9e347 pushed by siddhartha-gadgil
April 17, 2025 12:07 2m 30s main
main
April 17, 2025 12:07 2m 30s
extra lab Lean Action CI #85: Commit cada541 pushed by siddhartha-gadgil
April 17, 2025 06:35 1m 34s main
main
April 17, 2025 06:35 1m 34s
comments added Lean Action CI #84: Commit fe3d70d pushed by siddhartha-gadgil
April 14, 2025 10:33 1m 54s main
main
April 14, 2025 10:33 1m 54s
dependencies updated Lean Action CI #83: Commit 4e42f00 pushed by siddhartha-gadgil
April 11, 2025 09:35 2m 22s main
main
April 11, 2025 09:35 2m 22s
get type Lean Action CI #82: Commit 70726ad pushed by siddhartha-gadgil
April 9, 2025 04:31 1m 8s main
main
April 9, 2025 04:31 1m 8s
min lecture Lean Action CI #81: Commit 4be4dab pushed by siddhartha-gadgil
April 4, 2025 04:22 1m 36s main
main
April 4, 2025 04:22 1m 36s
example Lean Action CI #80: Commit e7e82e7 pushed by siddhartha-gadgil
April 2, 2025 05:02 2m 1s main
main
April 2, 2025 05:02 2m 1s
natpair Lean Action CI #79: Commit 8669fe1 pushed by siddhartha-gadgil
March 27, 2025 09:28 1m 4s main
main
March 27, 2025 09:28 1m 4s
quotient example Lean Action CI #78: Commit 60c3454 pushed by siddhartha-gadgil
March 27, 2025 08:18 1m 10s main
main
March 27, 2025 08:18 1m 10s
lecture Lean Action CI #77: Commit bc75bbc pushed by siddhartha-gadgil
March 26, 2025 05:49 1m 25s main
main
March 26, 2025 05:49 1m 25s
lecture Lean Action CI #76: Commit 4dceaf6 pushed by siddhartha-gadgil
March 26, 2025 03:16 1m 6s main
main
March 26, 2025 03:16 1m 6s
product type Lean Action CI #75: Commit 0fc2480 pushed by siddhartha-gadgil
March 21, 2025 06:13 1m 4s main
main
March 21, 2025 06:13 1m 4s
lecture Lean Action CI #74: Commit 4cd0dfa pushed by siddhartha-gadgil
March 21, 2025 05:20 1m 8s main
main
March 21, 2025 05:20 1m 8s
lecture Lean Action CI #73: Commit 8a34369 pushed by siddhartha-gadgil
March 19, 2025 04:34 1m 10s main
main
March 19, 2025 04:34 1m 10s
lecture Lean Action CI #72: Commit 57362c8 pushed by siddhartha-gadgil
March 13, 2025 10:19 1m 14s main
main
March 13, 2025 10:19 1m 14s
lecture Lean Action CI #71: Commit efc319b pushed by siddhartha-gadgil
March 7, 2025 04:29 1m 13s main
main
March 7, 2025 04:29 1m 13s
counting operations, termination Lean Action CI #70: Commit b76914f pushed by siddhartha-gadgil
March 5, 2025 10:26 1m 11s main
main
March 5, 2025 10:26 1m 11s
lecture Lean Action CI #69: Commit ce2d399 pushed by siddhartha-gadgil
March 5, 2025 05:03 1m 9s main
main
March 5, 2025 05:03 1m 9s
removed catalan (scratch) Lean Action CI #68: Commit dab9d9c pushed by siddhartha-gadgil
March 4, 2025 04:13 1m 9s main
main
March 4, 2025 04:13 1m 9s
skeleton+catalan Lean Action CI #67: Commit 3c43b92 pushed by siddhartha-gadgil
March 4, 2025 04:12 1m 30s main
main
March 4, 2025 04:12 1m 30s
hcf updates Lean Action CI #66: Commit f90f17a pushed by siddhartha-gadgil
February 27, 2025 12:09 1m 22s main
main
February 27, 2025 12:09 1m 22s
lecture Lean Action CI #65: Commit 50d2b45 pushed by siddhartha-gadgil
February 19, 2025 04:51 53s main
main
February 19, 2025 04:51 53s
marks in lab Lean Action CI #64: Commit 4276e83 pushed by siddhartha-gadgil
February 17, 2025 00:49 1m 23s main
main
February 17, 2025 00:49 1m 23s