Skip to content
Nix Build

Moving compiler sources into the FStarC namespace #745

Sign in to view logs

Moving compiler sources into the FStarC namespace

Moving compiler sources into the FStarC namespace #745

Triggered via pull request October 11, 2024 02:36
@mtzguidomtzguido
synchronize #3557
mtzguido:fstarc
Status Success
Total duration 17m 49s
Artifacts –

nix.yaml

on: pull_request
nix-build
17m 40s
nix-build
Fit to window
Zoom out
Zoom in