Skip to content

Actions: software-challenge/docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #63: by github-pages bot
January 23, 2025 22:04 27s live
live
January 23, 2025 22:04 27s
server: update arguments and testclient docs Build #168: Commit 3c4903c pushed by xeruf
January 23, 2025 22:04 33s main
main
January 23, 2025 22:04 33s
pages build and deployment pages-build-deployment #62: by github-pages bot
January 21, 2025 11:15 29s live
live
January 21, 2025 11:15 29s
hyperbook: update configuration Build #167: Commit 866dd01 pushed by xeruf
January 21, 2025 11:14 35s main
main
January 21, 2025 11:14 35s
pages build and deployment pages-build-deployment #61: by github-pages bot
January 21, 2025 10:57 27s live
live
January 21, 2025 10:57 27s
entwicklung: expand by default Build #166: Commit a8e909a pushed by xeruf
January 21, 2025 10:57 22s main
main
January 21, 2025 10:57 22s
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