Build and test FStar

Adding everparse-cbor to check-world #4290

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request November 9, 2024 02:26

mtzguido

synchronize #3604

mtzguido:check_world_cbor

Status Success

Total duration 14m 1s

Artifacts –

linux-x64.yaml

on: pull_request

Annotations

1 error

Error: Need to provide at least one botToken or webhookUrl