Skip to content

Fix diagram filenames, make them display properly #70

Fix diagram filenames, make them display properly

Fix diagram filenames, make them display properly #70

Triggered via push July 10, 2024 23:55
Status Success
Total duration 40s
Artifacts
validate-examples
32s
validate-examples
Fit to window
Zoom out
Zoom in

Annotations

1 warning
validate-examples
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@f43a0e5ff2bd294095638e18286ca9a3d1956744. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/