Skip to content
Unit tests

refactor: push SerializedTheorem down to core #485

Sign in to view logs

refactor: push SerializedTheorem down to core

refactor: push SerializedTheorem down to core #485

Triggered via push June 15, 2024 16:23
@jamesdabbsjamesdabbs
pushed 4e23d2d
jcd/warnings
Status Failure
Total duration 38s
Artifacts –

test.yaml

on: push
test
30s
test
Fit to window
Zoom out
Zoom in

Annotations

1 error
test
Process completed with exit code 1.