Build and test FStar

Main: fail when no files provided in batch #4258

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request October 24, 2024 03:36

mtzguido

synchronize #3593

mtzguido:fix2

Status Success

Total duration 21m 30s

Artifacts –

linux-x64.yaml

on: pull_request

Annotations

1 error

Error: Need to provide at least one botToken or webhookUrl