Build and test FStar

Tactics: fix V1.Logic #4226

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request October 18, 2024 17:25

mtzguido

opened #3584

mtzguido:fix

Status Failure

Total duration 11m 14s

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.