PR

Discard ARM Refine proofs on rt branch #2754

Sign in to view logs

Triggered via pull request November 14, 2024 07:59

corlewis

opened #826

corlewis:rt-discard-arm

Status Failure

Total duration 54s

Artifacts –

pr.yml

on: pull_request

Trailing Whitespace

Annotations

1 error

Action gitlint failed.