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 #60: by github-pages bot
December 2, 2024 11:15 30s live
live
December 2, 2024 11:15 30s
hui/xml: fix wrong advance Build #165: Commit 07def37 pushed by xeruf
December 2, 2024 11:14 27s main
main
December 2, 2024 11:14 27s
pages build and deployment pages-build-deployment #59: by github-pages bot
December 2, 2024 10:41 25s live
live
December 2, 2024 10:41 25s
entwicklung/java: update links and instructions (#104) Build #164: Commit cc45e1d pushed by xeruf
December 2, 2024 10:41 26s main
main
December 2, 2024 10:41 26s
pages build and deployment pages-build-deployment #58: by github-pages bot
November 18, 2024 21:14 31s live
live
November 18, 2024 21:14 31s
spiele: auto-expand while virtual tag is not working Build #163: Commit f3f8559 pushed by xeruf
November 18, 2024 21:14 25s main
main
November 18, 2024 21:14 25s
pages build and deployment pages-build-deployment #57: by github-pages bot
November 18, 2024 21:02 32s live
live
November 18, 2024 21:02 32s
hui/xml: correct salad field name Build #162: Commit 0960932 pushed by xeruf
November 18, 2024 21:02 28s main
main
November 18, 2024 21:02 28s
pages build and deployment pages-build-deployment #56: by github-pages bot
November 18, 2024 20:53 26s live
live
November 18, 2024 20:53 26s
hui/xml: dokumentation für 2025 Build #161: Commit 7bb4946 pushed by xeruf
November 18, 2024 20:52 27s main
main
November 18, 2024 20:52 27s
pages build and deployment pages-build-deployment #55: by github-pages bot
October 25, 2024 23:56 25s live
live
October 25, 2024 23:56 25s
entwicklung/abgabe: remove outdated and duplicated docker image details Build #160: Commit 60a7298 pushed by xeruf
October 25, 2024 23:52 3m 44s main
main
October 25, 2024 23:52 3m 44s
pages build and deployment pages-build-deployment #54: by github-pages bot
July 13, 2024 13:14 22s live
live
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 live
live
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 live
live
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 live
live
June 15, 2024 13:46 28s
pages build and deployment pages-build-deployment #50: by github-pages bot
June 15, 2024 13:43 27s live
live
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 live
live
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