Skip to content

Actions: cadake/LeanTQI

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #941089464 Dependabot Updates #6: by dependabot bot
January 1, 2025 03:35 32s main
main
January 1, 2025 03:35 32s
todo:svd Compile blueprint #21: Commit 31d5d60 pushed by cadake
December 23, 2024 09:16 17m 56s main
main
December 23, 2024 09:16 17m 56s
todo:svd Lint Style #23: Commit 31d5d60 pushed by cadake
December 23, 2024 09:16 13s main
main
December 23, 2024 09:16 13s
i1it Compile blueprint #20: Commit e57c7f8 pushed by cadake
December 3, 2024 03:42 16m 50s main
main
December 3, 2024 03:42 16m 50s
i1it Lint Style #22: Commit e57c7f8 pushed by cadake
December 3, 2024 03:42 14s main
main
December 3, 2024 03:42 14s
github_actions in /. - Update #924920069 Dependabot Updates #5: by dependabot bot
December 1, 2024 03:41 34s main
main
December 1, 2024 03:41 34s
ipq doing Compile blueprint #19: Commit 3b4d2c6 pushed by cadake
November 3, 2024 14:44 1h 6m 38s main
main
November 3, 2024 14:44 1h 6m 38s
ipq doing Lint Style #21: Commit 3b4d2c6 pushed by cadake
November 3, 2024 14:44 15s main
main
November 3, 2024 14:44 15s
github_actions in /. - Update #909988904 Dependabot Updates #4: by dependabot bot
November 1, 2024 03:15 38s main
main
November 1, 2024 03:15 38s
p1~2 done; todo simplify Compile blueprint #18: Commit 7a984a2 pushed by cadake
October 16, 2024 14:25 7m 39s main
main
October 16, 2024 14:25 7m 39s
p1~2 done; todo simplify Lint Style #20: Commit 7a984a2 pushed by cadake
October 16, 2024 14:25 13s main
main
October 16, 2024 14:25 13s
lp diag Compile blueprint #17: Commit 79e5e89 pushed by cadake
October 13, 2024 13:33 7m 31s main
main
October 13, 2024 13:33 7m 31s
lp diag Lint Style #19: Commit 79e5e89 pushed by cadake
October 13, 2024 13:33 12s main
main
October 13, 2024 13:33 12s
Update VectorNorm.lean Compile blueprint #16: Commit 7eea793 pushed by cadake
October 13, 2024 09:11 8m 4s main
main
October 13, 2024 09:11 8m 4s
Update VectorNorm.lean Lint Style #18: Commit 7eea793 pushed by cadake
October 13, 2024 09:11 13s main
main
October 13, 2024 09:11 13s
iSup_comm Compile blueprint #15: Commit ad384ee pushed by cadake
October 13, 2024 09:06 7m 22s main
main
October 13, 2024 09:06 7m 22s
iSup_comm Lint Style #17: Commit ad384ee pushed by cadake
October 13, 2024 09:06 15s main
main
October 13, 2024 09:06 15s
test Lint Style #16: Commit 082a1df pushed by cadake
October 7, 2024 05:01 12s main
main
October 7, 2024 05:01 12s
test Compile blueprint #14: Commit 082a1df pushed by cadake
October 7, 2024 05:01 7m 13s main
main
October 7, 2024 05:01 7m 13s
continuous over p Lint Style #15: Commit cdddda5 pushed by cadake
October 6, 2024 08:08 14s main
main
October 6, 2024 08:08 14s
continuous over p Compile blueprint #13: Commit cdddda5 pushed by cadake
October 6, 2024 08:08 16m 44s main
main
October 6, 2024 08:08 16m 44s
github_actions in /. - Update #896328847 Dependabot Updates #3: by dependabot bot
October 6, 2024 08:02 32s main
main
October 6, 2024 08:02 32s
Merge branch 'main' of github.com:cadake/LeanTQI Lint Style #14: Commit 7dea3ab pushed by cadake
October 6, 2024 08:02 10s main
main
October 6, 2024 08:02 10s
Merge branch 'main' of github.com:cadake/LeanTQI Compile blueprint #12: Commit 7dea3ab pushed by cadake
October 6, 2024 08:02 1m 47s main
main
October 6, 2024 08:02 1m 47s
github_actions in /. - Update #893636144 Dependabot Updates #2: by dependabot bot
October 1, 2024 03:37 35s main
main
October 1, 2024 03:37 35s