Merge pull request #361 from FStarLang/protz_anonymous_unions #646

Triggered via push July 24, 2023 22:59

msprotz

master

Status Success

Total duration 11m 54s

Artifacts 1

linux-x64-hierarchic.yaml

on: push

Produced during runtime

Name	Size
log Expired	2.65 MB