Skip to content
Deploy Jekyll site to Pages

Merge pull request #1 from CHERIoT-Platform/scheduler-trimming #15

Sign in to view logs

Merge pull request #1 from CHERIoT-Platform/scheduler-trimming

Merge pull request #1 from CHERIoT-Platform/scheduler-trimming #15

Triggered via push November 30, 2023 17:35
@davidchisnalldavidchisnall
pushed aae7d10
main
Status Success
Total duration 1m 15s
Artifacts –

main.yml

on: push
build
45s
build
deploy
7s
deploy
Fit to window
Zoom out
Zoom in