Update docs: EasyCrypt/easycrypt@384e6c46025739908b24c5f9ba49f83202eb… · EasyCrypt/refman@75b743b

Triggered via push February 4, 2026 18:43

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:3407279eaf1dddebce261cf3f3ff2a1ce006ccf78133335e712501e48c7bc70d`