Skip to content

Merge pull request #1397 from music-encoding/dependabot/github_action… #71

Merge pull request #1397 from music-encoding/dependabot/github_action…

Merge pull request #1397 from music-encoding/dependabot/github_action… #71

Triggered via push December 21, 2023 14:29
Status Success
Total duration 4m 0s
Artifacts 2

deploy.yml

on: push
Build and deploy Schema and Guidelines
3m 49s
Build and deploy Schema and Guidelines
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
pdf Expired
29.9 MB
prince_log Expired
367 Bytes