Skip to content

Extend boolean_arithmetic_linter() to other known-logical sum(<lgl>) cases #600

Extend boolean_arithmetic_linter() to other known-logical sum(<lgl>) cases

Extend boolean_arithmetic_linter() to other known-logical sum(<lgl>) cases #600

Triggered via pull request March 5, 2025 05:19
Status Success
Total duration 53s
Artifacts 1

draft-pdf.yml

on: pull_request
Paper Draft
47s
Paper Draft
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
paper
173 KB