get rid of axiom and uninstantiated operator in `Birthday` · EasyCrypt/easycrypt@fdd767a

Triggered via pull request August 28, 2023 10:33

oskgo

synchronize #429

Status Success

Total duration 12m 8s

Artifacts 2

ci.yml

on: pull_request

Matrix: Check EasyCrypt Libraries

Matrix: Check EasyCrypt External Projects

Produced during runtime

Name	Size
report.log (examples) Expired	6.37 KB
report.log (stdlib) Expired	16 KB