Skip to content

Actions: software-challenge/docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #72: by github-pages bot
June 30, 2025 09:36 25s live
live
June 30, 2025 09:36 25s
General slight adjustments and updates Build #178: Commit d3b0075 pushed by xeruf
June 30, 2025 09:35 24s main
main
June 30, 2025 09:35 24s
pages build and deployment pages-build-deployment #71: by github-pages bot
June 30, 2025 09:34 24s live
live
June 30, 2025 09:34 24s
General slight adjustments and updates Build #177: Commit a1e3882 pushed by xeruf
June 30, 2025 09:34 22s main
main
June 30, 2025 09:34 22s
pages build and deployment pages-build-deployment #70: by github-pages bot
June 30, 2025 08:39 30s live
live
June 30, 2025 08:39 30s
piranhas: konkretere Formulierung der Beispiele (#115) Build #176: Commit a0abf57 pushed by xeruf
June 30, 2025 08:38 21s main
main
June 30, 2025 08:38 21s
build: prevent build cache creating outdated docs-server images Build #175: Commit 077f4fd pushed by xeruf
June 28, 2025 07:59 19s main
main
June 28, 2025 07:59 19s
pages build and deployment pages-build-deployment #69: by github-pages bot
June 27, 2025 14:49 23s live
live
June 27, 2025 14:49 23s
Update current game from HuI to Piranhas Build #174: Commit 7905e88 pushed by xeruf
June 27, 2025 14:48 28s main
main
June 27, 2025 14:48 28s
pages build and deployment pages-build-deployment #68: by github-pages bot
June 5, 2025 10:27 31s live
live
June 5, 2025 10:27 31s
hui: slight wording corrections Build #173: Commit 48cd282 pushed by xeruf
June 5, 2025 10:27 20s main
main
June 5, 2025 10:27 20s
pages build and deployment pages-build-deployment #67: by github-pages bot
May 29, 2025 10:48 27s live
live
May 29, 2025 10:48 27s
readme: link semantic linebreaker tool Build #172: Commit 8a293ab pushed by xeruf
May 29, 2025 10:48 21s main
main
May 29, 2025 10:48 21s
pages build and deployment pages-build-deployment #66: by github-pages bot
May 13, 2025 06:10 27s live
live
May 13, 2025 06:10 27s
server: reformat and adjust docs for more clarity Build #171: Commit 20e5243 pushed by xeruf
May 13, 2025 06:10 34s main
main
May 13, 2025 06:10 34s
pages build and deployment pages-build-deployment #65: by github-pages bot
May 8, 2025 19:04 28s live
live
May 8, 2025 19:04 28s
Overhaul IDE Instructions (#110) Build #170: Commit 2d4fef4 pushed by xeruf
May 8, 2025 19:03 27s main
main
May 8, 2025 19:03 27s
pages build and deployment pages-build-deployment #64: by github-pages bot
March 4, 2025 09:02 28s live
live
March 4, 2025 09:02 28s
fix(hui/xml): mistake in hui xml docs (#109) Build #169: Commit 0debcbc pushed by xeruf
March 4, 2025 09:02 23s main
main
March 4, 2025 09:02 23s
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