PR

Lemmas for simplifying masking and thread states #2719

Sign in to view logs

Triggered via pull request September 10, 2024 02:56

michaelmcinerney

synchronize #817

michaelm-mask_thread_state

Status Failure

Total duration 53s

Artifacts –

pr.yml

on: pull_request

Trailing Whitespace

Annotations

1 error

Action gitlint failed.