Skip to content

Actions: siddhartha-gadgil/MetaExamples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update after fresh intro lecture Lean Action CI #5: Commit 15aa3eb pushed by siddhartha-gadgil
September 6, 2024 08:42 1m 41s main
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
main
September 6, 2024 02:08 1m 43s
lake manifest Lean Action CI #3: Commit 8ff93f9 pushed by siddhartha-gadgil
September 5, 2024 06:15 2m 6s main
main
September 5, 2024 06:15 2m 6s
lake manifest Lean Action CI #2: Commit e9a7cd5 pushed by siddhartha-gadgil
September 5, 2024 06:14 15s main
main
September 5, 2024 06:14 15s
initial commit Lean Action CI #1: Commit 9e0efca pushed by siddhartha-gadgil
September 5, 2024 06:11 23s main
main
September 5, 2024 06:11 23s