Skip to content
uc-crux-llvm-lint

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

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 #1347

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

uc-crux-llvm-lint.yaml

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