Skip to content

Actions: software-challenge/docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #54: by github-pages bot
July 13, 2024 13:14 22s
July 13, 2024 13:14 22s
hui: update game examples including updated screenshot (#103) Build #159: Commit 63663aa pushed by xeruf
July 13, 2024 13:10 3m 42s main
main
July 13, 2024 13:10 3m 42s
pages build and deployment pages-build-deployment #53: by github-pages bot
June 21, 2024 14:45 24s
June 21, 2024 14:45 24s
bin: terminate ssh socket when push-production aborts Build #158: Commit 0e76e56 pushed by xeruf
June 21, 2024 14:40 4m 8s main
main
June 21, 2024 14:40 4m 8s
pages build and deployment pages-build-deployment #52: by github-pages bot
June 15, 2024 14:25 26s
June 15, 2024 14:25 26s
hui: hide outdated XML docs Build #157: Commit 0bb0d02 pushed by xeruf
June 15, 2024 14:21 3m 58s main
main
June 15, 2024 14:21 3m 58s
pages build and deployment pages-build-deployment #51: by github-pages bot
June 15, 2024 13:46 28s
June 15, 2024 13:46 28s
pages build and deployment pages-build-deployment #50: by github-pages bot
June 15, 2024 13:43 27s
June 15, 2024 13:43 27s
book: move shown game from mq to hui 25 Build #156: Commit 1317ef1 pushed by xeruf
June 15, 2024 13:42 4m 0s main
main
June 15, 2024 13:42 4m 0s
caddy: update hui redirection Build #155: Commit 6943367 pushed by xeruf
June 15, 2024 13:40 4m 1s main
main
June 15, 2024 13:40 4m 1s
pages build and deployment pages-build-deployment #49: by github-pages bot
June 11, 2024 05:03 28s
June 11, 2024 05:03 28s
hyperbook: cleanup old gui images Build #154: Commit 8c83628 pushed by xeruf
June 11, 2024 04:38 3m 43s main
main
June 11, 2024 04:38 3m 43s
github: be lax with dependencies Build #153: Commit 1814270 pushed by xeruf
May 22, 2024 06:54 2m 31s main
main
May 22, 2024 06:54 2m 31s
github: update workflow credentials and versions Build #152: Commit c700eee pushed by xeruf
May 22, 2024 06:42 42s main
main
May 22, 2024 06:42 42s
mq: clarify current Build #151: Commit cf4b56e pushed by xeruf
April 22, 2024 11:36 1m 56s main
main
April 22, 2024 11:36 1m 56s
mq/regeln: clarify passengers Build #150: Commit e9a23e5 pushed by xeruf
April 22, 2024 01:02 1m 58s main
main
April 22, 2024 01:02 1m 58s
pages build and deployment pages-build-deployment #48: by socha-bot
March 27, 2024 09:39 32s
March 27, 2024 09:39 32s
book: revert rule inconsistencies Build #149: Commit 36b54eb pushed by xeruf
March 27, 2024 09:38 1m 58s main
main
March 27, 2024 09:38 1m 58s
pages build and deployment pages-build-deployment #47: by socha-bot
March 21, 2024 04:44 34s
March 21, 2024 04:44 34s
mq/regeln: clarify winner primarily based on reaching goal Build #148: Commit 9e122e9 pushed by xeruf
March 21, 2024 04:42 1m 57s main
main
March 21, 2024 04:42 1m 57s
pages build and deployment pages-build-deployment #46: by socha-bot
March 20, 2024 15:48 2m 30s
March 20, 2024 15:48 2m 30s
mq/xml: adjust ship properties to newset version Build #147: Commit fcdf034 pushed by xeruf
March 20, 2024 15:46 3m 17s main
main
March 20, 2024 15:46 3m 17s
pages build and deployment pages-build-deployment #45: by socha-bot
March 14, 2024 15:49 28s
March 14, 2024 15:49 28s
mq: adjust rules to allow non-violating player to play on Build #146: Commit f26e778 pushed by xeruf
March 14, 2024 15:47 2m 16s main
main
March 14, 2024 15:47 2m 16s
pages build and deployment pages-build-deployment #44: by socha-bot
March 12, 2024 09:38 28s
March 12, 2024 09:38 28s