Skip to content
uc-crux-llvm-lint

G/C unused Monoid and Semigroup instances in crucible-mir #1348

Sign in to view logs

G/C unused Monoid and Semigroup instances in crucible-mir

G/C unused Monoid and Semigroup instances in crucible-mir #1348

Triggered via pull request October 18, 2024 20:06
@sauclovian-gsauclovian-g
synchronize #1260
1259-remove-unused-monoids
Status Success
Total duration 27s
Artifacts –

uc-crux-llvm-lint.yaml

on: pull_request
uc-crux-llvm lint
16s
uc-crux-llvm lint
Fit to window
Zoom out
Zoom in