Skip to content
Build and test FStar

Fixing example in binary package #4280

Sign in to view logs

Fixing example in binary package

Fixing example in binary package #4280

Triggered via pull request November 7, 2024 15:41
@mtzguidomtzguido
opened #3610
mtzguido:misc
Status Success
Total duration 10m 39s
Artifacts –

linux-x64.yaml

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

Annotations

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