Skip to content
compile

Initial commit. #2479

Sign in to view logs

Initial commit.

Initial commit. #2479

Triggered via push October 17, 2024 19:20
@AlmanzorisAlmanzoris
pushed 8fba57e
countable_spread_and_extent
Status Failure
Total duration 19s
Artifacts –

compile.yml

on: push
build
8s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build: theorems/T000562.md#L1
path does not match uid=T000561