Update docs: EasyCrypt/easycrypt@a1ff132e4101658dca22fdf924db5ffc05ea… · EasyCrypt/refman@ed2d7c6

Triggered via push January 19, 2026 19:14

strub

main

Status Success

Total duration 21s

Artifacts 1

static.yml

on: push

Produced during runtime

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