Skip to content
Build Lean project and deploy docs

chore: create a FormalConjecturesTest library #4981

Sign in to view logs

chore: create a FormalConjecturesTest library

chore: create a FormalConjecturesTest library #4981

Triggered via pull request January 27, 2026 15:20
@Paul-LezPaul-Lez
synchronize #1581
test
Status Failure
Total duration 34m 17s
Artifacts –

build-and-docs.yml

on: pull_request
Build project
34m 13s
Build project
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build project
Process completed with exit code 1.