Skip to content
Build and test FStar

update fstar.opam to include mtime #4190

Sign in to view logs

update fstar.opam to include mtime

update fstar.opam to include mtime #4190

Triggered via push October 15, 2024 21:57
@nikswamynikswamy
pushed 1895700
nik_gamma_sig
Status Success
Total duration 10m 33s
Artifacts –

linux-x64.yaml

on: push
build
10m 26s
build
Fit to window
Zoom out
Zoom in