Skip to content
lint

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

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

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

lint.yml

on: pull_request
lint
2m 2s
lint
Fit to window
Zoom out
Zoom in