Skip to content

Actions: mihxil/math

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,102 workflow runs
1,102 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #1219: by mihxil
July 25, 2025 13:18 23s main
July 25, 2025 13:18 23s
pages build and deployment
pages-build-deployment #1218: by github-pages bot
July 25, 2025 13:08 37s main
July 25, 2025 13:08 37s
Merge remote-tracking branch 'origin/main'
publish documentation #230: Commit 69e41f2 pushed by mihxil
July 25, 2025 13:08 35s main
July 25, 2025 13:08 35s
pages build and deployment
pages-build-deployment #1217: by mihxil
July 25, 2025 13:08 38s main
July 25, 2025 13:08 38s
pages build and deployment
pages-build-deployment #1216: by github-pages bot
July 25, 2025 13:07 36s main
July 25, 2025 13:07 36s
Details.
publish documentation #229: Commit 17d9f68 pushed by mihxil
July 25, 2025 13:06 50s main
July 25, 2025 13:06 50s
pages build and deployment
pages-build-deployment #1215: by mihxil
July 25, 2025 13:06 43s main
July 25, 2025 13:06 43s
publish documentation
publish documentation #228: Manually run by mihxil
July 25, 2025 13:04 39s main
July 25, 2025 13:04 39s
modernized.
build #628: Commit 1c0ddb2 pushed by mihxil
July 25, 2025 10:18 11m 19s main
July 25, 2025 10:18 11m 19s
pages build and deployment
pages-build-deployment #1214: by mihxil
July 25, 2025 10:18 1m 19s main
July 25, 2025 10:18 1m 19s
Merge remote-tracking branch 'origin/main'
build #627: Commit ed230db pushed by mihxil
July 25, 2025 10:18 1m 17s main
July 25, 2025 10:18 1m 17s
pages build and deployment
pages-build-deployment #1213: by mihxil
July 25, 2025 10:18 35s main
July 25, 2025 10:18 35s
pages build and deployment
pages-build-deployment #1212: by github-pages bot
July 25, 2025 10:07 44s main
July 25, 2025 10:07 44s
pages build and deployment
pages-build-deployment #1211: by github-pages bot
July 25, 2025 10:07 24s main
July 25, 2025 10:07 24s
Merge remote-tracking branch 'origin/main'
Reduce README #87: Commit a2383a1 pushed by mihxil
July 25, 2025 10:07 18s main
July 25, 2025 10:07 18s
Merge remote-tracking branch 'origin/main'
publish documentation #227: Commit a2383a1 pushed by mihxil
July 25, 2025 10:07 40s main
July 25, 2025 10:07 40s
Merge remote-tracking branch 'origin/main'
build #626: Commit a2383a1 pushed by mihxil
July 25, 2025 10:07 11m 13s main
July 25, 2025 10:07 11m 13s
pages build and deployment
pages-build-deployment #1210: by mihxil
July 25, 2025 10:06 24s main
July 25, 2025 10:06 24s
pages build and deployment
pages-build-deployment #1209: by github-pages bot
July 25, 2025 09:52 40s main
July 25, 2025 09:52 40s
Merge remote-tracking branch 'origin/main'
publish documentation #226: Commit 8511afd pushed by mihxil
July 25, 2025 09:52 39s main
July 25, 2025 09:52 39s
pages build and deployment
pages-build-deployment #1208: by mihxil
July 25, 2025 09:52 42s main
July 25, 2025 09:52 42s
pages build and deployment
pages-build-deployment #1207: by github-pages bot
July 25, 2025 09:32 40s main
July 25, 2025 09:32 40s
better updating.
publish documentation #225: Commit 115d1cd pushed by mihxil
July 25, 2025 09:31 39s main
July 25, 2025 09:31 39s
pages build and deployment
pages-build-deployment #1206: by mihxil
July 25, 2025 09:31 36s main
July 25, 2025 09:31 36s
Merge remote-tracking branch 'origin/main'
build #625: Commit 04c7053 pushed by mihxil
July 24, 2025 21:07 11m 32s main
July 24, 2025 21:07 11m 32s