Skip to content
Build and test FStar

revert use of mtime #4196

Sign in to view logs

revert use of mtime

revert use of mtime #4196

Triggered via push October 16, 2024 00:01
@nikswamynikswamy
pushed 6e2bb66
nik_gamma_sig
Status Success
Total duration 12m 52s
Artifacts –

linux-x64.yaml

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