Update docs: EasyCrypt/easycrypt@8218a6fd30765ef9018e7c4bbc1d3f6c461f… · EasyCrypt/refman@c0ce834

Triggered via push January 20, 2026 10:36

strub

main

Status Success

Total duration 22s

Artifacts 1

static.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	7.82 MB	`sha256:182a6628e1d49cad0a404f30f69f4490176d5d06bafd926c8aca5e3c7479c0f5`