Skip to content
Build and test FStar

Substitution must be fully applied in extraction #4276

Sign in to view logs

Substitution must be fully applied in extraction

Substitution must be fully applied in extraction #4276

Triggered via pull request November 7, 2024 04:31
@nikswamynikswamy
synchronize #3607
_nik_490_revisited
Status Success
Total duration 12m 17s
Artifacts –

linux-x64.yaml

on: pull_request
build
12m 10s
build
Fit to window
Zoom out
Zoom in