Update docs: EasyCrypt/easycrypt@c996dd8b0b0f2391bf96affeb6bb6c3ccc8a… · EasyCrypt/refman@807e589

Triggered via push January 23, 2026 20:36

strub

main

Status Success

Total duration 18s

Artifacts 1

static.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	7.82 MB	`sha256:445a1270d55332bbc0b1acd8afba352d1294cd08a596bc18f4947c2b3c76a019`