Lint

Discard ARM Refine proofs on rt branch #123

Sign in to view logs

Triggered via pull request November 14, 2024 10:21

corlewis

synchronize #826

Status Success

Total duration 53s

Artifacts –

lint.yml

on: pull_request_target