Feature exception · EasyCrypt/easycrypt@a5c1a1a

Triggered via pull request March 5, 2026 04:35

strub

synchronize #806

feature-exception

Status Success

Total duration 3m 53s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman Expired	7.87 MB	`sha256:5f434c0ec805e2136943f8dfd0b539cf2d422c4d0e171b2ec7bbb9ffa3f27b86`