Skip to content

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

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

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

Triggered via push September 28, 2024 15:24
Status Success
Total duration 13s
Artifacts

lint.yml

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