Skip to content
Build documentation

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

Sign in to view logs

documentation: Sphinx: change default role to code:easycrypt

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

Triggered via pull request February 4, 2026 18:15
@strubstrub
opened #886
doc-default-role
Status Success
Total duration 3m 41s
Artifacts 1

docs.yml

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

Artifacts

Produced during runtime
Name Size Digest
refman Expired
7.83 MB
sha256:b2dabbcf402074b86ba1ac3972adad4be31c4f8c7fac21edca961d3950405f4b