Skip to content

Actions: KWARC/bibs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
125 workflow runs
125 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #102: by github-pages bot
September 2, 2023 08:51 29s
September 2, 2023 08:51 29s
pages build and deployment pages-build-deployment #101: by github-pages bot
September 2, 2023 08:36 34s
September 2, 2023 08:36 34s
more CI #91: Commit 3bb796d pushed by kohlhase
September 2, 2023 08:23 28m 24s master
master
September 2, 2023 08:23 28m 24s
more CI #90: Commit 6df692a pushed by kohlhase
September 2, 2023 08:20 2m 28s master
master
September 2, 2023 08:20 2m 28s
git subrepo commit (merge) kbibs CI #89: Commit 211e101 pushed by kohlhase
September 2, 2023 08:16 19m 5s master
master
September 2, 2023 08:16 19m 5s
pages build and deployment pages-build-deployment #100: by github-pages bot
August 28, 2023 15:12 35s
August 28, 2023 15:12 35s
more CI #88: Commit 3c4e622 pushed by kohlhase
August 28, 2023 14:57 15m 30s master
master
August 28, 2023 14:57 15m 30s
pages build and deployment pages-build-deployment #99: by github-pages bot
August 18, 2023 11:16 33s
August 18, 2023 11:16 33s
more CI #87: Commit 1ee5892 pushed by kohlhase
August 18, 2023 11:01 15m 7s master
master
August 18, 2023 11:01 15m 7s
pages build and deployment pages-build-deployment #98: by github-pages bot
August 11, 2023 10:18 34s
August 11, 2023 10:18 34s
more CI #86: Commit 45e5fe6 pushed by kohlhase
August 11, 2023 10:00 17m 42s master
master
August 11, 2023 10:00 17m 42s
pages build and deployment pages-build-deployment #97: by github-pages bot
August 11, 2023 01:02 31s
August 11, 2023 01:02 31s
y-model update CI #85: Commit 87b54f9 pushed by Hundecode
August 11, 2023 00:40 22m 4s master
master
August 11, 2023 00:40 22m 4s
pages build and deployment pages-build-deployment #96: by github-pages bot
August 9, 2023 15:09 35s
August 9, 2023 15:09 35s
pages build and deployment pages-build-deployment #95: by github-pages bot
August 9, 2023 14:54 29s
August 9, 2023 14:54 29s
git subrepo pull (merge) kbibs CI #84: Commit c127897 pushed by kohlhase
August 9, 2023 14:39 29m 4s master
master
August 9, 2023 14:39 29m 4s
more CI #83: Commit 51bc46f pushed by kohlhase
August 9, 2023 14:38 15m 15s master
master
August 9, 2023 14:38 15m 15s
pages build and deployment pages-build-deployment #94: by github-pages bot
August 7, 2023 12:01 44s
August 7, 2023 12:01 44s
pages build and deployment pages-build-deployment #93: by github-pages bot
August 7, 2023 11:44 36s
August 7, 2023 11:44 36s
git subrepo pull (merge) kbibs CI #82: Commit 4865d0f pushed by kohlhase
August 7, 2023 11:26 34m 58s master
master
August 7, 2023 11:26 34m 58s
more CI #81: Commit 570df7e pushed by kohlhase
August 7, 2023 11:25 19m 21s master
master
August 7, 2023 11:25 19m 21s
pages build and deployment pages-build-deployment #92: by github-pages bot
August 5, 2023 11:15 28s
August 5, 2023 11:15 28s
more CI #80: Commit 610e064 pushed by kohlhase
August 5, 2023 11:00 15m 7s master
master
August 5, 2023 11:00 15m 7s
pages build and deployment pages-build-deployment #91: by github-pages bot
July 24, 2023 06:57 32s
July 24, 2023 06:57 32s
more CI #79: Commit 4169832 pushed by kohlhase
July 24, 2023 06:42 15m 10s master
master
July 24, 2023 06:42 15m 10s