Skip to content
Build documentation

documentation: Sphinx: change default role to code:easycrypt #106

Sign in to view logs

documentation: Sphinx: change default role to code:easycrypt

documentation: Sphinx: change default role to code:easycrypt #106

Triggered via pull request February 4, 2026 18:16
@strubstrub
synchronize #886
doc-default-role
Status Success
Total duration 5m 52s
Artifacts 1

docs.yml

on: pull_request
build
3m 21s
build
deploy
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
refman
7.83 MB
sha256:fefa155e4514a461bb1535a80a7a3d8c42e3feefdac50a2b0fcb3d09acd1a792