Skip to content

Rename unneeded-not to unnecessary-negation for clarity #3335

Rename unneeded-not to unnecessary-negation for clarity

Rename unneeded-not to unnecessary-negation for clarity #3335

Triggered via pull request August 6, 2023 02:50
Status Success
Total duration 27m 46s
Artifacts 3

primer_run_pr.yaml

on: pull_request
Matrix: run-primer
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
pr_number Expired
5 Bytes
primer_output_main Expired
140 MB
primer_output_pr Expired
140 MB