[doc] start folding the tutorial in · EasyCrypt/easycrypt@34fd8da

Triggered via pull request June 18, 2026 09:56

fdupress

opened #1051

doc-fold-tutorial

Status Success

Total duration 4m 6s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	8.48 MB	`sha256:b89727ca5074cf4eafd43e01defe38aa4b4d73c88d580cc6b95b3407c522c42f`