Skip to content
Build and test FStar

Merge pull request #3562 from mtzguido/cache #4170

Sign in to view logs

Merge pull request #3562 from mtzguido/cache

Merge pull request #3562 from mtzguido/cache #4170

Triggered via push October 14, 2024 15:07
@mtzguidomtzguido
pushed 20e0256
master
Status Success
Total duration 10m 26s
Artifacts –

linux-x64.yaml

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