Skip to content
Nix Build

Moving FStar.Pprint into the (normal, application) library #778

Sign in to view logs

Moving FStar.Pprint into the (normal, application) library

Moving FStar.Pprint into the (normal, application) library #778

Triggered via pull request October 17, 2024 23:12
@mtzguidomtzguido
opened #3582
mtzguido:pprint_in_ulib
Status Success
Total duration 8m 22s
Artifacts –

nix.yaml

on: pull_request
nix-build
8m 12s
nix-build
Fit to window
Zoom out
Zoom in