Exposed the tp_nothing typolicy of EcTyping · EasyCrypt/easycrypt@2952ce4

Re-run triggered January 14, 2025 16:14

strub

#684

expose_nothing_typolicy

Status Success

Total duration 2m 45s

Artifacts 11

ci.yml

on: pull_request

Matrix: Check EasyCrypt Libraries

Matrix: Check EasyCrypt External Projects

Produced during runtime

Name	Size
report.log (xsalsa20)	340 Bytes