CI (doc): not cancellable · EasyCrypt/easycrypt@a12b3e8

Triggered via push January 23, 2026 23:02

strub

main

Status Success

Total duration 3m 39s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
refman Expired	7.82 MB	`sha256:8d58b2b395085ddf68b729f56288d49768b9b2986391f51c06b82688199abd1d`