Build and test FStar

Main: fail when no files provided in batch #4253

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request October 24, 2024 00:22

mtzguido

opened #3593

mtzguido:fix2

Status Failure

Total duration 10m 48s

Artifacts –

linux-x64.yaml

on: pull_request

Annotations

4 errors

Error: Need to provide at least one botToken or webhookUrl

Unable to process file command 'env' successfully.

Invalid format '<html><head>'

Process completed with exit code 1.