Skip to content
Build and test FStar

fix dune file to use mtime.clock #4191

Sign in to view logs

fix dune file to use mtime.clock

fix dune file to use mtime.clock #4191

Triggered via push October 15, 2024 22:26
@nikswamynikswamy
pushed 57a582e
nik_gamma_sig
Status Success
Total duration 11m 41s
Artifacts –

linux-x64.yaml

on: push
build
11m 33s
build
Fit to window
Zoom out
Zoom in