Add a LaTeX formatting style file · EasyCrypt/easycrypt@a693c2d

Triggered via pull request April 10, 2026 17:04

strub

synchronize #971

latex-format

Status Success

Total duration 3m 51s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.88 MB	`sha256:4cf099a4ec530f615271b235c0137a101c08161b8d2b9186df3f31d153521653`