Update docs: EasyCrypt/easycrypt@c3a0bf33e0b8168919a8b8983ca403600a97… · EasyCrypt/refman@f1d0d4b

Triggered via push February 2, 2026 18:49

strub

main

Status Success

Total duration 23s

Artifacts 1

static.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	7.82 MB	`sha256:bc9f1199741ea1598098b8a9b5dc15d843c9521cd8dfa5075a929bcd07cb267f`