Skip to content

Actions: KWARC/bibs

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
127 workflow runs
127 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #103: by github-pages bot
September 22, 2023 13:28 40s
September 22, 2023 13:28 40s
draining
CI #92: Commit 922b534 pushed by kohlhase
September 22, 2023 13:06 21m 47s master
September 22, 2023 13:06 21m 47s
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
September 2, 2023 08:23 28m 24s
more
CI #90: Commit 6df692a pushed by kohlhase
September 2, 2023 08:20 2m 28s 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
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
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
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
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
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
August 9, 2023 14:39 29m 4s
more
CI #83: Commit 51bc46f pushed by kohlhase
August 9, 2023 14:38 15m 15s 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
August 7, 2023 11:26 34m 58s
more
CI #81: Commit 570df7e pushed by kohlhase
August 7, 2023 11:25 19m 21s 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
August 5, 2023 11:00 15m 7s