Merge pull request #393 from FStarLang/protz_builtin_lids #919

Triggered via push October 24, 2023 20:10

msprotz

master

Status Success

Total duration 6m 41s

Artifacts 1

linux-x64-hierarchic.yaml

on: push

Produced during runtime

Name	Size
log Expired	2.78 MB