Skip to content

Lemmas for simplifying masking and thread states #2719

Lemmas for simplifying masking and thread states

Lemmas for simplifying masking and thread states #2719

Triggered via pull request September 10, 2024 02:56
Status Failure
Total duration 53s
Artifacts

pr.yml

on: pull_request
Gitlint
38s
Gitlint
Trailing Whitespace
33s
Trailing Whitespace
Portable Shell
35s
Portable Shell
Style
44s
Style
Fit to window
Zoom out
Zoom in

Annotations

1 error
Gitlint
Action gitlint failed.