Skip to content

Actions: siddhartha-gadgil/MetaExamples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

moogle query
Lean Action CI #28: Commit 1020b88 pushed by siddhartha-gadgil
September 14, 2024 12:35 1m 38s main
September 14, 2024 12:35 1m 38s
using Lean's StateT
Lean Action CI #27: Commit 8f13bc8 pushed by siddhartha-gadgil
September 14, 2024 12:35 1m 37s statem
September 14, 2024 12:35 1m 37s
overnight suggestions
Lean Action CI #26: Commit e1254be pushed by siddhartha-gadgil
September 11, 2024 02:44 1m 41s main
September 11, 2024 02:44 1m 41s
tweaks
Lean Action CI #25: Commit 68ea257 pushed by siddhartha-gadgil
September 10, 2024 16:25 1m 38s main
September 10, 2024 16:25 1m 38s
filtering of tactics
Lean Action CI #24: Commit 62a7c53 pushed by siddhartha-gadgil
September 10, 2024 16:21 1m 40s main
September 10, 2024 16:21 1m 40s
correction
Lean Action CI #23: Commit 6c3497f pushed by siddhartha-gadgil
September 10, 2024 15:08 2m 3s main
September 10, 2024 15:08 2m 3s
adjustments before grouping
Lean Action CI #22: Commit 46afd25 pushed by siddhartha-gadgil
September 10, 2024 13:34 2m 7s main
September 10, 2024 13:34 2m 7s
fixed terms, tactics ungrouped
Lean Action CI #21: Commit 7a6548f pushed by siddhartha-gadgil
September 10, 2024 13:16 1m 41s main
September 10, 2024 13:16 1m 41s
refactoring
Lean Action CI #20: Commit 6943082 pushed by siddhartha-gadgil
September 10, 2024 10:01 1m 38s main
September 10, 2024 10:01 1m 38s
revision round
Lean Action CI #19: Commit 93dffef pushed by siddhartha-gadgil
September 10, 2024 09:30 1m 41s main
September 10, 2024 09:30 1m 41s
Some cleanup
Lean Action CI #18: Commit b6cc8e0 pushed by siddhartha-gadgil
September 10, 2024 05:45 1m 37s main
September 10, 2024 05:45 1m 37s
lean-search command
Lean Action CI #17: Commit c1357aa pushed by siddhartha-gadgil
September 10, 2024 05:45 1m 56s main
September 10, 2024 05:45 1m 56s
Negate after videos
Lean Action CI #16: Commit a40d978 pushed by siddhartha-gadgil
September 9, 2024 10:14 1m 35s main
September 9, 2024 10:14 1m 35s
negation code (before video)
Lean Action CI #15: Commit 9b9dd4d pushed by siddhartha-gadgil
September 9, 2024 03:33 1m 37s main
September 9, 2024 03:33 1m 37s
after try this video
Lean Action CI #14: Commit 9185116 pushed by siddhartha-gadgil
September 7, 2024 14:00 1m 37s main
September 7, 2024 14:00 1m 37s
before second video
Lean Action CI #13: Commit 7b6ffb6 pushed by siddhartha-gadgil
September 7, 2024 12:58 1m 33s main
September 7, 2024 12:58 1m 33s
check tactics before video
Lean Action CI #12: Commit b3bd485 pushed by siddhartha-gadgil
September 7, 2024 12:27 1m 37s main
September 7, 2024 12:27 1m 37s
rewriteleq after video
Lean Action CI #11: Commit 71b93a1 pushed by siddhartha-gadgil
September 7, 2024 08:47 1m 57s main
September 7, 2024 08:47 1m 57s
meta factored out
Lean Action CI #10: Commit 7e11950 pushed by siddhartha-gadgil
September 7, 2024 06:37 1m 37s main
September 7, 2024 06:37 1m 37s
liftMetaTactic code before video
Lean Action CI #9: Commit cc92c07 pushed by siddhartha-gadgil
September 7, 2024 04:04 1m 37s main
September 7, 2024 04:04 1m 37s
rewriting inequalities tactics
Lean Action CI #8: Commit 1bae403 pushed by siddhartha-gadgil
September 6, 2024 16:15 1m 39s main
September 6, 2024 16:15 1m 39s
RewriteIneq before deletions
Lean Action CI #7: Commit f6b47ef pushed by siddhartha-gadgil
September 6, 2024 14:57 1m 43s main
September 6, 2024 14:57 1m 43s
Update after custom sorry video
Lean Action CI #6: Commit 8182104 pushed by siddhartha-gadgil
September 6, 2024 12:52 1m 40s main
September 6, 2024 12:52 1m 40s
update after fresh intro lecture
Lean Action CI #5: Commit 15aa3eb pushed by siddhartha-gadgil
September 6, 2024 08:42 1m 41s main
September 6, 2024 08:42 1m 41s
after some videos
Lean Action CI #4: Commit c14ae67 pushed by siddhartha-gadgil
September 6, 2024 02:08 1m 43s main
September 6, 2024 02:08 1m 43s