Skip to content
Build

fix: adjust the timing of defining theorems #338

Sign in to view logs

fix: adjust the timing of defining theorems

fix: adjust the timing of defining theorems #338

Re-run triggered March 20, 2024 04:26
@AlexaraWuAlexaraWu
#58
v2
Status Failure
Total duration 5m 34s
Artifacts –

build.yml

on: pull_request
build-package
5m 22s
build-package
Fit to window
Zoom out
Zoom in

Annotations

1 error
build-package
Process completed with exit code 1.