Linter

always propagate equalities to theory #305

Sign in to view logs

Triggered via push October 10, 2024 10:24

propagate-equalities

Status Success

Total duration 5m 3s

Artifacts –

linter.yml

on: push

Matrix: Check indentation