Skip to content

Actions: EPCCed/eidf-docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
110 workflow runs
110 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #99: by github-pages bot
April 5, 2024 16:07 30s
April 5, 2024 16:07 30s
Merge pull request #145 from EPCCed/aaron-docs ci #112: Commit 8977724 pushed by akrause2014
April 5, 2024 16:07 33s main
main
April 5, 2024 16:07 33s
pages build and deployment pages-build-deployment #98: by github-pages bot
March 11, 2024 13:20 27s
March 11, 2024 13:20 27s
Merge pull request #138 from nickaj/guacdragdrop ci #111: Commit 9ee5a58 pushed by akrause2014
March 11, 2024 13:20 27s main
main
March 11, 2024 13:20 27s
pages build and deployment pages-build-deployment #97: by github-pages bot
March 7, 2024 16:49 26s
March 7, 2024 16:49 26s
Merge pull request #137 from nickaj/policyupdate ci #110: Commit 6857b55 pushed by akrause2014
March 7, 2024 16:49 32s main
main
March 7, 2024 16:49 32s
pages build and deployment pages-build-deployment #96: by github-pages bot
February 15, 2024 13:12 33s
February 15, 2024 13:12 33s
Merge pull request #135 from EPCCed/kueue_update ci #109: Commit 5cc5e65 pushed by agngrant
February 15, 2024 13:11 30s main
main
February 15, 2024 13:11 30s
pages build and deployment pages-build-deployment #95: by github-pages bot
February 6, 2024 14:03 36s
February 6, 2024 14:03 36s
Merge pull request #128 from nickaj/main ci #108: Commit ef3889f pushed by nickaj
February 6, 2024 14:03 35s main
main
February 6, 2024 14:03 35s
pages build and deployment pages-build-deployment #94: by github-pages bot
January 15, 2024 14:17 37s
January 15, 2024 14:17 37s
Merge pull request #131 from EPCCed/aaron-docs ci #107: Commit dd7d43c pushed by nickaj
January 15, 2024 14:17 38s main
main
January 15, 2024 14:17 38s
pages build and deployment pages-build-deployment #93: by github-pages bot
December 20, 2023 15:24 41s
December 20, 2023 15:24 41s
pages build and deployment pages-build-deployment #92: by github-pages bot
December 20, 2023 15:24 20s
December 20, 2023 15:24 20s
Merge pull request #127 from EPCCed/jsindt-patch-1 ci #106: Commit 0cd42a9 pushed by akrause2014
December 20, 2023 15:24 26s main
main
December 20, 2023 15:24 26s
Merge pull request #126 from justsz/main ci #105: Commit 45f0d31 pushed by akrause2014
December 20, 2023 15:24 33s main
main
December 20, 2023 15:24 33s
pages build and deployment pages-build-deployment #91: by github-pages bot
December 15, 2023 14:55 32s
December 15, 2023 14:55 32s
Merge pull request #125 from EPCCed/aaron-docs ci #104: Commit e9142f4 pushed by rkm
December 15, 2023 14:55 29s main
main
December 15, 2023 14:55 29s
pages build and deployment pages-build-deployment #90: by github-pages bot
December 1, 2023 09:50 38s
December 1, 2023 09:50 38s
Merge pull request #121 from EPCCed/gc_fix_indent ci #103: Commit f0fa69a pushed by agngrant
December 1, 2023 09:50 30s main
main
December 1, 2023 09:50 30s
pages build and deployment pages-build-deployment #89: by github-pages bot
November 30, 2023 14:24 39s
November 30, 2023 14:24 39s
Merge pull request #120 from EPCCed/gc_fixes ci #102: Commit 6e08e1f pushed by agngrant
November 30, 2023 14:24 36s main
main
November 30, 2023 14:24 36s
pages build and deployment pages-build-deployment #88: by github-pages bot
November 30, 2023 08:05 34s
November 30, 2023 08:05 34s
Merge pull request #119 from EPCCed/omp_thread_update ci #101: Commit 951b823 pushed by agngrant
November 30, 2023 08:04 27s main
main
November 30, 2023 08:04 27s
pages build and deployment pages-build-deployment #87: by github-pages bot
November 20, 2023 13:58 32s
November 20, 2023 13:58 32s