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

pages build and deployment
pages-build-deployment #797: by mihxil
November 1, 2024 16:18 40s main
November 1, 2024 16:18 40s
More nextRandoms.
build #355: Commit e4f319e pushed by mihxil
November 1, 2024 16:04 3m 45s main
November 1, 2024 16:04 3m 45s
pages build and deployment
pages-build-deployment #796: by mihxil
November 1, 2024 16:04 43s main
November 1, 2024 16:04 43s
Implemented a bunch of nextRandoms.
build #354: Commit a32f2d8 pushed by mihxil
November 1, 2024 15:43 3m 16s main
November 1, 2024 15:43 3m 16s
pages build and deployment
pages-build-deployment #795: by mihxil
November 1, 2024 15:43 35s main
November 1, 2024 15:43 35s
Making it compile again.
build #353: Commit 13f2f25 pushed by mihxil
November 1, 2024 15:18 7m 52s main
November 1, 2024 15:18 7m 52s
pages build and deployment
pages-build-deployment #794: by mihxil
November 1, 2024 15:18 36s main
November 1, 2024 15:18 36s
Made it compile again.
build #352: Commit f758d6b pushed by mihxil
November 1, 2024 15:09 3m 1s main
November 1, 2024 15:09 3m 1s
pages build and deployment
pages-build-deployment #793: by mihxil
November 1, 2024 15:09 34s main
November 1, 2024 15:09 34s
Merge remote-tracking branch 'origin/main'
build #351: Commit d8a8248 pushed by mihxil
November 1, 2024 15:03 2m 52s main
November 1, 2024 15:03 2m 52s
pages build and deployment
pages-build-deployment #792: by mihxil
November 1, 2024 15:03 34s main
November 1, 2024 15:03 34s
pages build and deployment
pages-build-deployment #791: by github-pages bot
October 28, 2024 22:27 35s main
October 28, 2024 22:27 35s
Automated update of dot.m4
publish documentation #147: Commit 9b5d5cc pushed by mihxil
October 28, 2024 22:26 44s main
October 28, 2024 22:26 44s
pages build and deployment
pages-build-deployment #790: by mihxil
October 28, 2024 22:26 42s main
October 28, 2024 22:26 42s
build
build #350: Manually run by mihxil
October 28, 2024 22:20 6m 42s main
October 28, 2024 22:20 6m 42s
pages build and deployment
pages-build-deployment #789: by github-pages bot
October 28, 2024 20:35 37s main
October 28, 2024 20:35 37s
Some support for golden ratio.
build #349: Commit e85d947 pushed by mihxil
October 28, 2024 20:34 7m 59s main
October 28, 2024 20:34 7m 59s
Some support for golden ratio.
publish documentation #146: Commit e85d947 pushed by mihxil
October 28, 2024 20:34 45s main
October 28, 2024 20:34 45s
pages build and deployment
pages-build-deployment #788: by mihxil
October 28, 2024 20:34 42s main
October 28, 2024 20:34 42s
pages build and deployment
pages-build-deployment #787: by github-pages bot
October 25, 2024 15:01 37s main
October 25, 2024 15:01 37s
Try to make it less prone to checkins.
publish documentation #145: Commit 6b1f6a7 pushed by mihxil
October 25, 2024 15:01 43s main
October 25, 2024 15:01 43s
pages build and deployment
pages-build-deployment #786: by mihxil
October 25, 2024 15:01 37s main
October 25, 2024 15:01 37s
Merge remote-tracking branch 'origin/main'
build #348: Commit d643776 pushed by mihxil
October 24, 2024 21:21 8m 6s main
October 24, 2024 21:21 8m 6s
pages build and deployment
pages-build-deployment #785: by mihxil
October 24, 2024 21:21 36s main
October 24, 2024 21:21 36s
pages build and deployment
pages-build-deployment #784: by github-pages bot
October 24, 2024 19:15 45s main
October 24, 2024 19:15 45s