Skip to content

rename "regular" --> "general" #147

rename "regular" --> "general"

rename "regular" --> "general" #147

Triggered via push January 1, 2026 17:47
Status Success
Total duration 30s
Artifacts 1
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
1.8 MB
sha256:a07e994c9b85ac33cc3c369086969f2818210aa4cc64502d364b0b5146343339