Skip to content

Actions: gap-system/GapWWW

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
300 workflow runs
300 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update etc/README.server.md Build #282: Commit 8dd016f pushed by fingolfin
March 14, 2024 10:47 2m 31s dev
dev
March 14, 2024 10:47 2m 31s
tweak config for dev.gap-system.org deployment Build #281: Commit 9fb520f pushed by fingolfin
March 14, 2024 10:44 2m 19s dev
dev
March 14, 2024 10:44 2m 19s
fix some parent renamings Build #280: Commit 7a6ccae pushed by schnellecom
March 14, 2024 10:44 2m 23s dev
dev
March 14, 2024 10:44 2m 23s
fix even more links in the overview pages Build #279: Commit 524af52 pushed by schnellecom
March 14, 2024 10:37 2m 18s dev
dev
March 14, 2024 10:37 2m 18s
Merge branch 'dev' of github.com:gap-system/GapWWW into dev Build #278: Commit 0150054 pushed by schnellecom
March 14, 2024 10:34 2m 21s dev
dev
March 14, 2024 10:34 2m 21s
added cite into nav Build #277: Commit d215836 pushed by ruthhoffmann
March 14, 2024 10:27 2m 23s dev
dev
March 14, 2024 10:27 2m 23s
Merge branch 'dev' of https://github.com/gap-system/GapWWW into dev Build #276: Commit 41d62d3 pushed by MeikeWeiss
March 14, 2024 10:19 2m 21s dev
dev
March 14, 2024 10:19 2m 21s
Merge branch 'dev' of github.com:gap-system/GapWWW into dev Build #275: Commit 755596c pushed by schnellecom
March 14, 2024 09:44 2m 34s dev
dev
March 14, 2024 09:44 2m 34s
added releases layout back in Build #274: Commit 1ab882b pushed by ruthhoffmann
March 14, 2024 09:37 2m 35s dev
dev
March 14, 2024 09:37 2m 35s
Merge branch 'dev' of https://github.com/gap-system/GapWWW into dev Build #273: Commit d0abf7b pushed by ruthhoffmann
March 14, 2024 09:33 2m 24s dev
dev
March 14, 2024 09:33 2m 24s
add back copyright page and add it to navbar footer Build #272: Commit a74b80d pushed by schnellecom
March 14, 2024 09:25 2m 21s dev
dev
March 14, 2024 09:25 2m 21s
Merge branch 'dev' of github.com:gap-system/GapWWW into dev Build #271: Commit 6eb62fa pushed by schnellecom
March 14, 2024 09:03 2m 18s dev
dev
March 14, 2024 09:03 2m 18s
Merge branch 'dev' of https://github.com/gap-system/GapWWW into dev Build #270: Commit f2e0f4b pushed by MeikeWeiss
March 14, 2024 09:01 2m 18s dev
dev
March 14, 2024 09:01 2m 18s
Update some server integration stuff Build #269: Commit 5698ba0 pushed by fingolfin
March 14, 2024 08:54 2m 18s dev
dev
March 14, 2024 08:54 2m 18s
Merge branch 'dev' of https://github.com/gap-system/GapWWW into dev Build #268: Commit 5b85828 pushed by ruthhoffmann
March 14, 2024 08:45 2m 35s dev
dev
March 14, 2024 08:45 2m 35s
Build jekyll page from dev, not master Build #267: Commit 6f65de1 pushed by fingolfin
March 14, 2024 08:37 2m 41s dev
dev
March 14, 2024 08:37 2m 41s
added grand_parent to prefaces Build #266: Commit baf506a pushed by ruthhoffmann
March 14, 2024 08:36 2m 21s dev
dev
March 14, 2024 08:36 2m 21s
Tweak headers and footers Build #265: Commit 1a1b841 pushed by fingolfin
March 13, 2024 16:44 2m 28s dev
dev
March 13, 2024 16:44 2m 28s
Merge branch 'master' into dev Build #264: Commit c5dfc97 pushed by fingolfin
March 13, 2024 16:15 2m 30s dev
dev
March 13, 2024 16:15 2m 30s
Merge pull request #338 from ruthhoffmann/master Build #263: Commit 05c6ce6 pushed by fingolfin
March 13, 2024 16:13 2m 21s dev
dev
March 13, 2024 16:13 2m 21s
Regenerate bib data with latest GAPDoc Build #262: Commit a7d77b9 pushed by fingolfin
March 13, 2024 16:12 2m 18s master
master
March 13, 2024 16:12 2m 18s
New layout with working table Build #261: Pull request #338 synchronize by ruthhoffmann
March 13, 2024 15:55 2m 22s ruthhoffmann:master
ruthhoffmann:master
March 13, 2024 15:55 2m 22s
New layout with working table Build #260: Pull request #338 synchronize by ruthhoffmann
March 13, 2024 15:48 3m 21s ruthhoffmann:master
ruthhoffmann:master
March 13, 2024 15:48 3m 21s
New layout with working table Build #259: Pull request #338 opened by ruthhoffmann
March 13, 2024 15:21 2m 23s ruthhoffmann:master
ruthhoffmann:master
March 13, 2024 15:21 2m 23s
Fix privacy policy link Build #258: Commit d62ea98 pushed by fingolfin
March 13, 2024 14:37 2m 31s master
master
March 13, 2024 14:37 2m 31s
ProTip! You can narrow down the results and go further in time using created:<2024-03-13 or the other filters available.