Skip to content
Lint Style

Merge pull request #8 from dagurtomas/SSetMonoidal #131

Sign in to view logs

Merge pull request #8 from dagurtomas/SSetMonoidal

Merge pull request #8 from dagurtomas/SSetMonoidal #131

Triggered via push September 13, 2024 16:45
@emilyriehlemilyriehl
pushed 40e71b0
main
Status Success
Total duration 11s
Artifacts –

lint.yml

on: push
style_lint
2s
style_lint
Fit to window
Zoom out
Zoom in