Skip to content

Actions: cadake/LeanTQI

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge branch 'main' of github.com:cadake/LeanTQI Lint Style #13: Commit 7aa9633 pushed by cadake
September 23, 2024 07:11 10s main
main
September 23, 2024 07:11 10s
Merge branch 'main' of github.com:cadake/LeanTQI Compile blueprint #11: Commit 7aa9633 pushed by cadake
September 23, 2024 07:11 7m 6s main
main
September 23, 2024 07:11 7m 6s
test Compile blueprint #10: Commit 0d1ce27 pushed by cadake
September 23, 2024 04:37 17m 5s main
main
September 23, 2024 04:37 17m 5s