Update docs: EasyCrypt/easycrypt@bdb93fb9275e701e06496211ecbc658f3b86… · EasyCrypt/refman@6429f26

Triggered via push February 6, 2026 15:12

strub

main

Status Success

Total duration 25s

Artifacts 1

static.yml

on: push

Produced during runtime

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