Skip to content
Build and test FStar

snap #4001

Sign in to view logs

snap

snap #4001

Triggered via push September 17, 2024 00:43
@gebnergebner
pushed 25b2242
gebner_extract_as
Status Success
Total duration 14m 57s
Artifacts –

linux-x64.yaml

on: push
build
14m 51s
build
Fit to window
Zoom out
Zoom in