chore: faster eqn. reasoning in Displayed · the1lab/1lab@2687be7

Triggered via pull request January 28, 2026 18:40

plt-amy

opened #590

Status Success

Total duration 10m 45s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github-pages Expired	15.7 MB	`sha256:f13f23905bcd3afaff176722bafa17e6a98e6760ebba052983ea62d41a56f645`