Skip to content

Actions: pitmonticone/LeanProject

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
166 workflow runs
166 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove files in dev Lint Style #121: Commit 6ce0727 pushed by pitmonticone
October 8, 2024 15:51 10s main
main
October 8, 2024 15:51 10s
Update README.md Lint Style #120: Commit 6f43e14 pushed by pitmonticone
October 8, 2024 15:51 15s main
main
October 8, 2024 15:51 15s
Create CODE_OF_CONDUCT.md Lint Style #119: Commit cd407d0 pushed by pitmonticone
October 7, 2024 17:28 12s main
main
October 7, 2024 17:28 12s
Update issue templates Lint Style #118: Commit f50ae2e pushed by pitmonticone
October 7, 2024 17:27 11s main
main
October 7, 2024 17:27 11s
Updates available and ready to merge (#5) Lint Style #117: Commit 5ff525f pushed by pitmonticone
October 6, 2024 14:22 13s main
main
October 6, 2024 14:22 13s
Update Dependencies Update Dependencies #5: Manually run by pitmonticone
October 6, 2024 14:19 2m 18s main
main
October 6, 2024 14:19 2m 18s
Update Dependencies Update Dependencies #4: Manually run by pitmonticone
October 6, 2024 14:13 1m 54s main
main
October 6, 2024 14:13 1m 54s
add scripts Lint Style #116: Commit 4ae310f pushed by pitmonticone
October 5, 2024 14:34 10s main
main
October 5, 2024 14:34 10s
Update update_mathlib.sh Lint Style #115: Commit 4105a26 pushed by pitmonticone
October 5, 2024 14:01 14s main
main
October 5, 2024 14:01 14s
Bump dependencies Lint Style #114: Commit 4a54aca pushed by pitmonticone
October 5, 2024 13:59 9s main
main
October 5, 2024 13:59 9s
Make bump script executable Lint Style #113: Commit ed41445 pushed by pitmonticone
October 5, 2024 13:59 9s main
main
October 5, 2024 13:59 9s
Make python script executable Lint Style #112: Commit e59424f pushed by pitmonticone
October 5, 2024 13:57 9s main
main
October 5, 2024 13:57 9s
Update CONTRIBUTING.md Lint Style #111: Commit e5d734f pushed by pitmonticone
October 5, 2024 13:56 11s main
main
October 5, 2024 13:56 11s
bump Lint Style #110: Commit 1c9fd55 pushed by pitmonticone
October 2, 2024 19:55 11s main
main
October 2, 2024 19:55 11s
github_actions in /. - Update #893738953 Dependabot Updates #6: by dependabot bot
October 1, 2024 06:33 34s
October 1, 2024 06:33 34s
Update lake-manifest.json Lint Style #109: Commit 533dec3 pushed by pitmonticone
September 29, 2024 21:13 10s main
main
September 29, 2024 21:13 10s
Update README.md Lint Style #108: Commit 9a15227 pushed by pitmonticone
September 29, 2024 21:12 11s main
main
September 29, 2024 21:12 11s
Update README.md Lint Style #107: Commit b094c37 pushed by pitmonticone
September 26, 2024 19:10 12s main
main
September 26, 2024 19:10 12s
add update workflow Lint Style #106: Commit b3c6faf pushed by pitmonticone
September 26, 2024 18:47 11s main
main
September 26, 2024 18:47 11s
"Generalise" bumping scripts Lint Style #105: Commit 53912d4 pushed by pitmonticone
September 26, 2024 18:41 11s main
main
September 26, 2024 18:41 11s
Bump dependencies Lint Style #104: Commit 70431cb pushed by pitmonticone
September 26, 2024 18:41 15s main
main
September 26, 2024 18:41 15s
Update README.md Lint Style #103: Commit a3b7114 pushed by pitmonticone
September 21, 2024 15:15 10s main
main
September 21, 2024 15:15 10s
Update README.md Lint Style #102: Commit 6dbb5a1 pushed by pitmonticone
September 21, 2024 11:52 11s main
main
September 21, 2024 11:52 11s
Update README.md Lint Style #101: Commit 421f7bb pushed by pitmonticone
September 20, 2024 07:55 14s main
main
September 20, 2024 07:55 14s
Update README.md Lint Style #100: Commit 85fa144 pushed by pitmonticone
September 20, 2024 07:50 9s main
main
September 20, 2024 07:50 9s