.github/workflows/charon.yml

Engine: F*: fix `\0` #901

Sign in to view logs

Summary
Jobs
- charon
Run details
- Usage
- Workflow file

Triggered via pull request November 27, 2024 15:51

W95Psp

opened #1147

fix-null-char

Status Success

Total duration 9m 25s

Artifacts –

charon.yml

on: pull_request

Annotations

1 warning

Failed to restore: Cache service responded with 429