Skip to content

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

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

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

Triggered via push September 27, 2024 06:25
Status Success
Total duration 17s
Artifacts

lint.yml

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