Skip to content

Actions: mihxil/math

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote-tracking branch 'origin/main'
build #300: Commit c446b64 pushed by mihxil
June 10, 2024 21:15 11m 52s main
June 10, 2024 21:15 11m 52s
pages build and deployment
pages-build-deployment #721: by mihxil
June 10, 2024 21:15 37s
June 10, 2024 21:15 37s
upped some versions
build #299: Commit ea0f7b0 pushed by mihxil
January 28, 2024 21:49 11m 58s main
January 28, 2024 21:49 11m 58s
pages build and deployment with artifacts-next
pages-build-deployment #720: by mihxil
January 28, 2024 21:49 43s
January 28, 2024 21:49 43s
That required bigger java version.
build #298: Commit 3b17dc9 pushed by mihxil
January 24, 2024 14:20 10m 58s main
January 24, 2024 14:20 10m 58s
pages build and deployment with artifacts-next
pages-build-deployment #719: by mihxil
January 24, 2024 14:20 46s
January 24, 2024 14:20 46s
Merge remote-tracking branch 'origin/main'
build #297: Commit 182852c pushed by mihxil
January 22, 2024 21:12 1m 45s main
January 22, 2024 21:12 1m 45s
pages build and deployment with artifacts-next
pages-build-deployment #718: by mihxil
January 22, 2024 21:12 45s
January 22, 2024 21:12 45s
upped some minors
build #296: Commit 04b3fa2 pushed by mihxil
November 23, 2023 09:14 11m 7s main
November 23, 2023 09:14 11m 7s
pages build and deployment
pages-build-deployment #717: by mihxil
November 23, 2023 09:14 52s
November 23, 2023 09:14 52s
release
release #19: Manually run by mihxil
November 5, 2023 21:41 4m 25s 0.12-SNAPSHOT
November 5, 2023 21:41 4m 25s
pages build and deployment
pages-build-deployment #716: by github-pages bot
November 5, 2023 21:41 52s
November 5, 2023 21:41 52s
pages build and deployment
pages-build-deployment #715: by github-pages bot
November 5, 2023 21:41 5s
November 5, 2023 21:41 5s
create release branch
create release branch #9: Manually run by mihxil
November 5, 2023 21:40 19s main
November 5, 2023 21:40 19s
Simplified, moved method.
build #295: Commit 89121b0 pushed by mihxil
November 5, 2023 21:16 16m 32s main
November 5, 2023 21:16 16m 32s
pages build and deployment
pages-build-deployment #714: by mihxil
November 5, 2023 21:16 43s
November 5, 2023 21:16 43s
temporary (?) rolled back jqwik
build #294: Commit bdedff4 pushed by mihxil
November 5, 2023 21:10 6m 9s main
November 5, 2023 21:10 6m 9s
pages build and deployment
pages-build-deployment #713: by mihxil
November 5, 2023 21:10 51s
November 5, 2023 21:10 51s
upped some minors, made it compile with java 21
build #293: Commit 251c1ea pushed by mihxil
November 5, 2023 15:21 8m 26s main
November 5, 2023 15:21 8m 26s
pages build and deployment
pages-build-deployment #712: by mihxil
November 5, 2023 15:21 48s
November 5, 2023 15:21 48s
Made the default scheduler optional.
build #292: Commit 05904fa pushed by mihxil
November 4, 2023 19:14 8m 13s main
November 4, 2023 19:14 8m 13s
pages build and deployment
pages-build-deployment #711: by mihxil
November 4, 2023 19:14 45s
November 4, 2023 19:14 45s
No point in using up 5, mostly idle, threads.
build #291: Commit fce347f pushed by mihxil
November 4, 2023 19:08 6m 57s main
November 4, 2023 19:08 6m 57s
pages build and deployment
pages-build-deployment #710: by mihxil
November 4, 2023 19:08 52s
November 4, 2023 19:08 52s
upped some minor versions
build #290: Commit 992386e pushed by mihxil
September 5, 2023 13:15 8m 48s main
September 5, 2023 13:15 8m 48s