Skip to content

Merge branch 'main' of https://github.com/teorth/equational_theories #518

Merge branch 'main' of https://github.com/teorth/equational_theories

Merge branch 'main' of https://github.com/teorth/equational_theories #518

Triggered via push September 30, 2024 22:42
Status Success
Total duration 10s
Artifacts

lint.yml

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