Skip to content

Actions: thisis-Shitanshu/lean_exercises

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Solution: Exercise 3 Lean Action CI #5: Commit f980293 pushed by thisis-Shitanshu
October 31, 2024 11:27 1m 26s main
main
October 31, 2024 11:27 1m 26s
Solution: Exercise 1 Lean Action CI #4: Commit c6b1feb pushed by thisis-Shitanshu
October 31, 2024 10:33 1m 50s main
main
October 31, 2024 10:33 1m 50s
Solution: Exercise 2 Lean Action CI #3: Commit d3dbfee pushed by thisis-Shitanshu
October 31, 2024 09:40 1m 30s main
main
October 31, 2024 09:40 1m 30s
Updated: README.md Lean Action CI #2: Commit 5ebcedb pushed by thisis-Shitanshu
October 27, 2024 19:13 1m 26s main
main
October 27, 2024 19:13 1m 26s
Exercises Added. Lean Action CI #1: Commit 3385c13 pushed by thisis-Shitanshu
October 27, 2024 19:01 1m 57s main
main
October 27, 2024 19:01 1m 57s