Skip to content
Test

update tests #15

Sign in to view logs

update tests

update tests #15

Triggered via push March 9, 2026 09:03
@OrangeX4OrangeX4
pushed 6cad530
copilot/fix-theorem-indentation
Status Success
Total duration 26s
Artifacts 1

test.yml

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

Artifacts

Produced during runtime
Name Size Digest
artifacts Expired
2.86 MB
sha256:70466678bfd8dd3fa1323ce67064de9657ea6ddeba6a16a91614c70962a4bd94