Skip to content
uc-crux-llvm-lint

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

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

Triggered via pull request October 4, 2024 21:48
@sauclovian-gsauclovian-g
opened #1260
1259-remove-unused-monoids
Status Success
Total duration 24s
Artifacts –

uc-crux-llvm-lint.yaml

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