Skip to content

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

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

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

Triggered via push September 27, 2024 19:23
Status Success
Total duration 13s
Artifacts

lint.yml

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