Skip to content
manual_build

Merge branch '7.0' of https://github.com/csound/manual into 7.0 #818

Sign in to view logs

Merge branch '7.0' of https://github.com/csound/manual into 7.0

Merge branch '7.0' of https://github.com/csound/manual into 7.0 #818

Triggered via push September 8, 2024 11:27
@vlazzarinivlazzarini
pushed 853234c
7.0
Status Success
Total duration 13m 36s
Artifacts –

manual_build.yml

on: push
linux
13m 27s
linux
Fit to window
Zoom out
Zoom in

Annotations

1 warning
linux
The following actions use a deprecated Node.js version and will be forced to run on node20: peaceiris/actions-gh-pages@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/