Build and test FStar

feat: add more raw bitvector functions #2630

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request August 28, 2023 18:39

bollu

synchronize #3035

bollu:all-bv-unsafe

Status Failure

Total duration 4m 7s

Artifacts –

linux-x64.yaml

on: pull_request

Annotations

3 errors

Unable to process file command 'env' successfully.

Invalid format '<html><head>'

Process completed with exit code 1.