Skip to content
Build documentation

Refman skeleton. #1

Sign in to view logs

Refman skeleton.

Refman skeleton. #1

Triggered via pull request January 19, 2026 15:33
@strubstrub
opened #868
sphinx-doc
Status Failure
Total duration 13s
Artifacts –

docs.yml

on: pull_request
build
9s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Dependencies lock file is not found in /home/runner/work/easycrypt/easycrypt. Supported file patterns: package-lock.json,npm-shrinkwrap.json,yarn.lock