Update docs: EasyCrypt/easycrypt@3b8503419ed493ba7b23a0e348c573cf4b13… · EasyCrypt/refman@c48d1e0

Triggered via push February 6, 2026 07:59

strub

main

Status Success

Total duration 23s

Artifacts 1

static.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	7.83 MB	`sha256:ca9bae7a864b3db688d27d607a2a7ca72d694155bd207a6adb81b42d8ec590fb`