Skip to content
Build and test FStar

Support for local state in meta programs #2867

Sign in to view logs

Support for local state in meta programs

Support for local state in meta programs #2867

Triggered via pull request November 29, 2023 19:07
@mtzguidomtzguido
synchronize #2948
_aseem_meta_refs
Status Success
Total duration 13m 6s
Artifacts 2

linux-x64.yaml

on: pull_request
build
12m 58s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Resource usage information (individual) Expired
133 KB
Resource usage information (summary) Expired
3.96 KB