Skip to content
Test

feat: add set-indent-mode(auto) and indent-repairer #23

Sign in to view logs

feat: add set-indent-mode(auto) and indent-repairer

feat: add set-indent-mode(auto) and indent-repairer #23

Triggered via push March 9, 2026 17:20
@OrangeX4OrangeX4
pushed 8766948
copilot/fix-theorem-indentation
Status Success
Total duration 32s
Artifacts 1

test.yml

on: push
tests
27s
tests
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
artifacts Expired
3.48 MB
sha256:f2064138e9cda5d77a9da7237f4a063a038558b71bf029d5d9a6fb86e6a51eb2