Update docs: EasyCrypt/easycrypt@f71e04951a43b73e0bd5b71e181811cdd32f… · EasyCrypt/refman@b04e7f8

Triggered via push February 18, 2026 09:36

strub

main

Status Success

Total duration 20s

Artifacts 1

static.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	7.84 MB	`sha256:8948dde512f670e6cd87d607b11a32b63f404922b3da49e00d98eb5dda943f76`