Update docs: EasyCrypt/easycrypt@ad0f28aa4d6cf8cf617593e10b2ea7a034d0… · EasyCrypt/refman@5b99c86

Triggered via push February 13, 2026 14:09

strub

main

Status Success

Total duration 22s

Artifacts 1

static.yml

on: push

Produced during runtime

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