Skip to content
Build and test FStar

Tidying up a bit of FStar.All and FStar.Compiler.Effect #4143

Sign in to view logs

Tidying up a bit of FStar.All and FStar.Compiler.Effect

Tidying up a bit of FStar.All and FStar.Compiler.Effect #4143

Triggered via pull request October 10, 2024 15:52
@mtzguidomtzguido
opened #3551
mtzguido:tidy_fstar_all
Status Success
Total duration 11m 46s
Artifacts –

linux-x64.yaml

on: pull_request
build
11m 37s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Error: Need to provide at least one botToken or webhookUrl