.github/workflows/charon.yml

Prefer `try_normalize_erasing_regions` #472

Sign in to view logs

Triggered via pull request October 3, 2024 15:14

opened #959

Nadrieril:tweaks

Status Failure

Total duration 8m 21s

Artifacts –

charon.yml

on: pull_request

Annotations

1 error

Process completed with exit code 1.