Update docs: EasyCrypt/easycrypt@4cb24af721707a4fc758603c2446e7e024cb… · EasyCrypt/refman@68f5a65

Triggered via push January 20, 2026 08:42

strub

main

Status Success

Total duration 22s

Artifacts 1

static.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	7.81 MB	`sha256:e3e08019cc29fd247366c587c5717558550ee31c1f752ab210f3db1c3b1209e1`