chore: golf 1692 a bit more (#1073) · teorth/equational_theories@dc00332

Triggered via push February 2, 2025 20:35

main

Status Success

Total duration 27m 40s

Artifacts 1

blueprint-paper.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	59.2 MB