Skip to content
Build and test FStar

test.mk: do not write checked files for output tests #4270

Sign in to view logs

test.mk: do not write checked files for output tests

test.mk: do not write checked files for output tests #4270

Triggered via pull request November 6, 2024 22:12
@mtzguidomtzguido
opened #3606
mtzguido:fix
Status Success
Total duration 15m 26s
Artifacts –

linux-x64.yaml

on: pull_request
build
15m 18s
build
Fit to window
Zoom out
Zoom in

Annotations

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