Skip to content
Deploy after push

OptionsManager: do not turn an empty prefix into an underscore (#29) #13

Sign in to view logs

OptionsManager: do not turn an empty prefix into an underscore (#29)

OptionsManager: do not turn an empty prefix into an underscore (#29) #13

Triggered via push November 20, 2025 17:33
@JHopeCollinsJHopeCollins
pushed 7551fed
main
Status Success
Total duration 11m 43s
Artifacts 1

push.yml

on: push
test  /  Test petsctools
10m 25s
test / Test petsctools
test  /  Deploy website (optional)
1m 9s
test / Deploy website (optional)
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
38.3 KB
sha256:42615eaa55c74ea12612b993f2977ee94490d6139a92e4254c8fc6a956df972b