Skip to content

Actions: juggr/juggr.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adjust sidebar CI #76: Commit ba96988 pushed by manuel-mauky
December 7, 2023 16:11 4m 30s source
source
December 7, 2023 16:11 4m 30s
pages build and deployment pages-build-deployment #67: by github-pages bot
November 30, 2023 08:48 1m 47s gh-pages
gh-pages
November 30, 2023 08:48 1m 47s
Add slides for 2023-11-29. CI #75: Commit 3192e01 pushed by muxmax
November 30, 2023 08:43 4m 37s source
source
November 30, 2023 08:43 4m 37s
pages build and deployment pages-build-deployment #66: by github-pages bot
November 29, 2023 17:22 1m 33s gh-pages
gh-pages
November 29, 2023 17:22 1m 33s
add talk for january 2024 CI #74: Commit 4a814c3 pushed by patr-lew
November 29, 2023 17:17 4m 34s source
source
November 29, 2023 17:17 4m 34s
pages build and deployment pages-build-deployment #65: by github-pages bot
November 20, 2023 00:30 1m 44s gh-pages
gh-pages
November 20, 2023 00:30 1m 44s
add poster talk nov 2023 CI #73: Commit 81f0008 pushed by Sanguinik
November 20, 2023 00:26 4m 34s source
source
November 20, 2023 00:26 4m 34s
pages build and deployment pages-build-deployment #64: by github-pages bot
October 31, 2023 08:35 1m 54s gh-pages
gh-pages
October 31, 2023 08:35 1m 54s
fix spelling CI #72: Commit adb06f2 pushed by manuel-mauky
October 31, 2023 08:28 6m 54s source
source
October 31, 2023 08:28 6m 54s