Update docs: EasyCrypt/easycrypt@c1d9670e0df96f6b8744f5abf7f0034078af… · EasyCrypt/refman@83feeaf

Triggered via push February 27, 2026 14:57

strub

main

Status Success

Total duration 17s

Artifacts 1

static.yml

on: push

Produced during runtime

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