Skip to content
lint

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

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

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

lint.yml

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