Update docs: EasyCrypt/easycrypt@1d3318e3c4a2850f2000c70eca84a1cb44f1… · EasyCrypt/refman@be6feec

Triggered via push January 20, 2026 08:24

strub

main

Status Success

Total duration 18s

Artifacts 1

static.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	7.81 MB	`sha256:577d1ea7c396bd9bfe8142eeab1512a1a7ec16bbf8e22914d212368e64913bf5`