Update docs: EasyCrypt/easycrypt@491d76b37def96c0c589f53336c6f5bfb8f6… · EasyCrypt/refman@db1e827

Triggered via push March 10, 2026 16:13

strub

main

Status Success

Total duration 19s

Artifacts 1

static.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	7.85 MB	`sha256:e2b813de15dd1d16235975a4757930cf43e0dd6320bb9a541e456fa00f2510c8`