Update docs: EasyCrypt/easycrypt@bba1f1bfff7adfb1d8bdf09723495e00f34d… · EasyCrypt/refman@0a62216

Triggered via push March 5, 2026 04:56

strub

main

Status Success

Total duration 22s

Artifacts 1

static.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	7.85 MB	`sha256:b7b6be3ed8553b6984d1ad829bd8e408fc78c9dc12ea25ceeedfd6d2adf7da51`