Merge pull request #2948 from FStarLang/_aseem_meta_refs #2868

Triggered via push November 29, 2023 19:20

mtzguido

master

Status Success

Total duration 14m 41s

Artifacts 2

linux-x64.yaml

on: push

Produced during runtime

Name	Size
Resource usage information (individual) Expired	135 KB
Resource usage information (summary) Expired	3.96 KB