typing: defer failed-application classification (perf) · EasyCrypt/easycrypt@e1a1e84

Triggered via push July 2, 2026 15:52

main

Status Success

Total duration 12m 47s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
refman	7.92 MB	`sha256:30f8564f9cf5de73ef59b87ee032c02adc77869ae6a2f5104abfe2b36e619f38`