Skip to content

Rename source files from .ps -> .ps.src and remove %!PS header #758

Rename source files from .ps -> .ps.src and remove %!PS header

Rename source files from .ps -> .ps.src and remove %!PS header #758

Triggered via push November 6, 2024 16:59
Status Success
Total duration 1m 11s
Artifacts 2

ci.yml

on: push
Matrix: ci
release
0s
release
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
docs-html
209 KB
docs-pdf
789 KB