Skip to content

Actions: EPCCed/2023-06-28-uoe-hpcintro

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
274 workflow runs
274 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

01 Build and Deploy Site 01 Build and Deploy Site #32: Scheduled
October 31, 2023 01:14 2m 18s main
main
October 31, 2023 01:14 2m 18s
02 Maintain: Update Workflow Files 02 Maintain: Update Workflow Files #20: Scheduled
October 31, 2023 01:06 18s main
main
October 31, 2023 01:06 18s
pages build and deployment pages-build-deployment #26: by github-pages bot
October 24, 2023 01:17 41s gh-pages
gh-pages
October 24, 2023 01:17 41s
03 Maintain: Update Package Cache 03 Maintain: Update Package Cache #19: Scheduled
October 24, 2023 01:16 16s main
main
October 24, 2023 01:16 16s
01 Build and Deploy Site 01 Build and Deploy Site #31: Scheduled
October 24, 2023 01:13 4m 36s main
main
October 24, 2023 01:13 4m 36s
02 Maintain: Update Workflow Files 02 Maintain: Update Workflow Files #19: Scheduled
October 24, 2023 01:05 14s main
main
October 24, 2023 01:05 14s
03 Maintain: Update Package Cache 03 Maintain: Update Package Cache #18: Scheduled
October 17, 2023 01:17 15s main
main
October 17, 2023 01:17 15s
pages build and deployment pages-build-deployment #25: by github-pages bot
October 17, 2023 01:17 45s gh-pages
gh-pages
October 17, 2023 01:17 45s
01 Build and Deploy Site 01 Build and Deploy Site #30: Scheduled
October 17, 2023 01:14 2m 59s main
main
October 17, 2023 01:14 2m 59s
02 Maintain: Update Workflow Files 02 Maintain: Update Workflow Files #18: Scheduled
October 17, 2023 01:06 16s main
main
October 17, 2023 01:06 16s
pages build and deployment pages-build-deployment #24: by github-pages bot
October 10, 2023 01:16 42s gh-pages
gh-pages
October 10, 2023 01:16 42s
03 Maintain: Update Package Cache 03 Maintain: Update Package Cache #17: Scheduled
October 10, 2023 01:15 13s main
main
October 10, 2023 01:15 13s
01 Build and Deploy Site 01 Build and Deploy Site #29: Scheduled
October 10, 2023 01:13 3m 27s main
main
October 10, 2023 01:13 3m 27s
02 Maintain: Update Workflow Files 02 Maintain: Update Workflow Files #17: Scheduled
October 10, 2023 01:05 13s main
main
October 10, 2023 01:05 13s
pages build and deployment pages-build-deployment #23: by github-pages bot
October 4, 2023 08:34 40s gh-pages
gh-pages
October 4, 2023 08:34 40s
Bot: Remove Temporary PR Branch Bot: Remove Temporary PR Branch #1: completed by clairbarrass
October 4, 2023 08:32 19s
October 4, 2023 08:32 19s
Merge pull request #1 from zkamvar/patch-1 01 Build and Deploy Site #28: Commit a85ce66 pushed by clairbarrass
October 4, 2023 08:32 2m 24s main
main
October 4, 2023 08:32 2m 24s
fix index document; remove stray HTML tag Bot: Send Close Pull Request Signal #1: Pull request #1 closed by clairbarrass
October 4, 2023 08:32 14s patch-1
patch-1
October 4, 2023 08:32 14s
fix index document; remove stray HTML tag Pull Request Preflight Check #1: Pull request #1 opened by zkamvar
October 3, 2023 22:00 19s
October 3, 2023 22:00 19s
fix: build error - bad import 01 Build and Deploy Site #27: Commit ccc26f2 pushed by trhallam
October 3, 2023 11:20 1m 39s main
main
October 3, 2023 11:20 1m 39s
fix: full file path for snippet 01 Build and Deploy Site #26: Commit abd1637 pushed by trhallam
October 3, 2023 08:32 2m 0s main
main
October 3, 2023 08:32 2m 0s
03 Maintain: Update Package Cache 03 Maintain: Update Package Cache #16: Scheduled
October 3, 2023 01:16 21s main
main
October 3, 2023 01:16 21s
01 Build and Deploy Site 01 Build and Deploy Site #25: Scheduled
October 3, 2023 01:14 1m 32s main
main
October 3, 2023 01:14 1m 32s
02 Maintain: Update Workflow Files 02 Maintain: Update Workflow Files #16: Scheduled
October 3, 2023 01:06 13s main
main
October 3, 2023 01:06 13s
ProTip! You can narrow down the results and go further in time using created:<2023-10-03 or the other filters available.