Skip to content
Build and test FStar

remove mtime from fstar.opam #4197

Sign in to view logs

remove mtime from fstar.opam

remove mtime from fstar.opam #4197

Triggered via push October 16, 2024 00:02
@nikswamynikswamy
pushed 8700ea0
nik_gamma_sig
Status Success
Total duration 24m 21s
Artifacts –

linux-x64.yaml

on: push
build
12m 43s
build
Fit to window
Zoom out
Zoom in