Skip to content
Automated testing

update tests thm-003-cleveref / thm-004 (need to be fixed) #81

Sign in to view logs

update tests thm-003-cleveref / thm-004 (need to be fixed)

update tests thm-003-cleveref / thm-004 (need to be fixed) #81

Triggered via push November 5, 2024 15:24
@u-fischeru-fischer
pushed bbdbd23
develop
Status Success
Total duration 3m 29s
Artifacts –

main.yaml

on: push
run-checks
3m 17s
run-checks
Fit to window
Zoom out
Zoom in