Skip to content

Actions: mihxil/math

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
225 workflow runs
225 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added some more tests.
build #338: Commit e81204e pushed by mihxil
October 23, 2024 21:00 7m 20s main
October 23, 2024 21:00 7m 20s
pages build and deployment
pages-build-deployment #771: by mihxil
October 23, 2024 21:00 36s main
October 23, 2024 21:00 36s
Added some more tests.
build #337: Commit 292cc12 pushed by mihxil
October 23, 2024 20:53 7m 28s main
October 23, 2024 20:53 7m 28s
pages build and deployment
pages-build-deployment #770: by mihxil
October 23, 2024 20:53 41s main
October 23, 2024 20:53 41s
Merge remote-tracking branch 'origin/main'
build #336: Commit a4f1725 pushed by mihxil
October 23, 2024 20:32 7m 31s main
October 23, 2024 20:32 7m 31s
pages build and deployment
pages-build-deployment #769: by mihxil
October 23, 2024 20:32 37s main
October 23, 2024 20:32 37s
pages build and deployment
pages-build-deployment #768: by github-pages bot
October 23, 2024 07:52 41s main
October 23, 2024 07:52 41s
Automated update of dot.m4
publish documentation #142: Commit 833336c pushed by mihxil
October 23, 2024 07:51 38s main
October 23, 2024 07:51 38s
pages build and deployment
pages-build-deployment #767: by mihxil
October 23, 2024 07:51 41s main
October 23, 2024 07:51 41s
Merge remote-tracking branch 'origin/main'
build #335: Commit 57e9fab pushed by mihxil
October 23, 2024 07:43 8m 2s main
October 23, 2024 07:43 8m 2s
pages build and deployment
pages-build-deployment #766: by mihxil
October 23, 2024 07:43 43s main
October 23, 2024 07:43 43s
pages build and deployment
pages-build-deployment #765: by github-pages bot
October 22, 2024 22:53 44s main
October 22, 2024 22:53 44s
Automated update of dot.m4
publish documentation #141: Commit b255b8c pushed by mihxil
October 22, 2024 22:52 46s main
October 22, 2024 22:52 46s
pages build and deployment
pages-build-deployment #764: by mihxil
October 22, 2024 22:52 39s main
October 22, 2024 22:52 39s
Detail.s
build #334: Commit a4463fb pushed by mihxil
October 22, 2024 22:45 7m 39s main
October 22, 2024 22:45 7m 39s
pages build and deployment
pages-build-deployment #763: by mihxil
October 22, 2024 22:45 37s main
October 22, 2024 22:45 37s
Merge remote-tracking branch 'origin/main'
build #333: Commit 9f43863 pushed by mihxil
October 22, 2024 22:29 7m 32s main
October 22, 2024 22:29 7m 32s
pages build and deployment
pages-build-deployment #762: by mihxil
October 22, 2024 22:29 47s main
October 22, 2024 22:29 47s
pages build and deployment
pages-build-deployment #761: by github-pages bot
October 22, 2024 22:28 42s main
October 22, 2024 22:28 42s
Automated update of dot.m4
publish documentation #140: Commit b3fb9ee pushed by mihxil
October 22, 2024 22:28 40s main
October 22, 2024 22:28 40s
pages build and deployment
pages-build-deployment #760: by mihxil
October 22, 2024 22:28 35s main
October 22, 2024 22:28 35s
A Ring is a MultiplicativeMonoid
build #332: Commit 3e57fc5 pushed by mihxil
October 22, 2024 22:20 7m 47s main
October 22, 2024 22:20 7m 47s
pages build and deployment
pages-build-deployment #759: by mihxil
October 22, 2024 22:20 39s main
October 22, 2024 22:20 39s
DiHedral -> Dihedral
build #331: Commit 96b498a pushed by mihxil
October 22, 2024 22:00 8m 5s main
October 22, 2024 22:00 8m 5s
pages build and deployment
pages-build-deployment #758: by mihxil
October 22, 2024 22:00 33s main
October 22, 2024 22:00 33s