Add named and local simplify hint databases · EasyCrypt/easycrypt@fab0ba7

Triggered via pull request March 25, 2026 18:43

strub

synchronize #954

hint-simplify-db

Status Success

Total duration 8m 49s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.87 MB	`sha256:2ca4a9eb5c39c3f4cfb1386cf28b97358e9663c02cce85526f901e1d8c16847c`