Skip to content

Actions: Echtzeitsysteme/gips-website-hugo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #21: by github-pages bot
October 15, 2024 10:49 33s
October 15, 2024 10:49 33s
pages build and deployment pages-build-deployment #20: by github-pages bot
October 15, 2024 10:47 30s
October 15, 2024 10:47 30s
Merge pull request #25 from Echtzeitsysteme/feature/update-gips-fests… Build GIPS website #44: Commit 47fd51c pushed by maxkratz
October 15, 2024 10:47 58s main
main
October 15, 2024 10:47 58s
Merge pull request #24 from Echtzeitsysteme/feature/update-acronym Build GIPS website #43: Commit d797e59 pushed by maxkratz
October 15, 2024 10:46 59s main
main
October 15, 2024 10:46 59s
Updates the Festschrift URL to the chapter Build GIPS website #42: Commit c97acd7 pushed by maxkratz
October 15, 2024 10:45 38s feature/update-gips-festschrift-url
feature/update-gips-festschrift-url
October 15, 2024 10:45 38s
Adds a missing dot Build GIPS website #41: Commit 2867890 pushed by maxkratz
October 15, 2024 10:12 26s feature/update-acronym
feature/update-acronym
October 15, 2024 10:12 26s
Updates GIPS acronym + updates sub headline Build GIPS website #40: Commit d545538 pushed by maxkratz
October 15, 2024 10:03 45s feature/update-acronym
feature/update-acronym
October 15, 2024 10:03 45s
pages build and deployment pages-build-deployment #19: by github-pages bot
October 11, 2024 09:57 31s
October 11, 2024 09:57 31s
Merge pull request #23 from Echtzeitsysteme/feature/gips-gcm-23-publi… Build GIPS website #39: Commit 5c775dd pushed by maxkratz
October 11, 2024 09:56 1m 2s main
main
October 11, 2024 09:56 1m 2s
Adds GCM 23 GIPS publication (to appear) Build GIPS website #38: Commit eb33579 pushed by maxkratz
October 10, 2024 06:56 50s feature/gips-gcm-23-publication
feature/gips-gcm-23-publication
October 10, 2024 06:56 50s
pages build and deployment pages-build-deployment #18: by github-pages bot
October 8, 2024 14:28 29s
October 8, 2024 14:28 29s
Merge pull request #22 from Echtzeitsysteme/hotfix/gips-festschrift-u… Build GIPS website #37: Commit 449674a pushed by maxkratz
October 8, 2024 14:27 59s main
main
October 8, 2024 14:27 59s
GIPS Festschrift paper: tmp fix for the URL Build GIPS website #36: Commit 38d4a28 pushed by maxkratz
October 8, 2024 14:26 40s hotfix/gips-festschrift-url-tmp-fix
hotfix/gips-festschrift-url-tmp-fix
October 8, 2024 14:26 40s
GIPS Festschrift paper: tmp fix for the URL Build GIPS website #35: Commit 7a1f5d2 pushed by maxkratz
October 8, 2024 14:22 53s hotfix/gips-festschrift-url-tmp-fix
hotfix/gips-festschrift-url-tmp-fix
October 8, 2024 14:22 53s
pages build and deployment pages-build-deployment #17: by github-pages bot
September 21, 2024 12:26 26s
September 21, 2024 12:26 26s
Fixes a broken HTML comment Build GIPS website #34: Commit bee0022 pushed by maxkratz
September 21, 2024 12:25 56s main
main
September 21, 2024 12:25 56s
pages build and deployment pages-build-deployment #16: by github-pages bot
September 21, 2024 12:22 25s
September 21, 2024 12:22 25s
Merge pull request #21 from Echtzeitsysteme/feature/add-gips-festschr… Build GIPS website #33: Commit fd55d03 pushed by maxkratz
September 21, 2024 12:21 59s main
main
September 21, 2024 12:21 59s
Changes GIPS Festschrift 2024 paper URL from DOI to Springer Build GIPS website #32: Commit 23bc519 pushed by maxkratz
September 21, 2024 12:18 56s feature/add-gips-festschrift-2024-paper
feature/add-gips-festschrift-2024-paper
September 21, 2024 12:18 56s
Adds the GIPS Festschrift 2024 paper to the list of publications Build GIPS website #31: Commit e461b57 pushed by maxkratz
September 18, 2024 13:00 57s feature/add-gips-festschrift-2024-paper
feature/add-gips-festschrift-2024-paper
September 18, 2024 13:00 57s
pages build and deployment pages-build-deployment #15: by github-pages bot
September 18, 2024 12:58 24s
September 18, 2024 12:58 24s
Merge pull request #20 from Echtzeitsysteme/hotfix/theme-fixes-for-ne… Build GIPS website #30: Commit 4fab8f9 pushed by maxkratz
September 18, 2024 12:58 56s main
main
September 18, 2024 12:58 56s
Updates hugo to v0.134.2 + fixes deprecated config options in our theme Build GIPS website #29: Commit cf09492 pushed by maxkratz
September 18, 2024 12:08 1m 10s hotfix/theme-fixes-for-newer-hugo
hotfix/theme-fixes-for-newer-hugo
September 18, 2024 12:08 1m 10s
pages build and deployment pages-build-deployment #14: by github-pages bot
May 27, 2024 15:28 27s
May 27, 2024 15:28 27s
Merge pull request #17 from Echtzeitsysteme/feature/update-gcm-2022-url Build GIPS website #28: Commit 8aa4077 pushed by maxkratz
May 27, 2024 15:27 45s main
main
May 27, 2024 15:27 45s