Build and test FStar

Restricted open: fix shadowing #4165

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request October 13, 2024 05:37

mtzguido

synchronize #3559

W95Psp:fix-restricted-open

Status Success

Total duration 10m 30s

Artifacts –

linux-x64.yaml

on: pull_request

Annotations

1 error

Error: Need to provide at least one botToken or webhookUrl