add hetero subst laws · amarmaduke/lean-subst@c13272c

Triggered via push January 2, 2026 11:35

amarmaduke

main

Status Success

Total duration 7m 38s

Artifacts 1

build-and-deploy.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	9.02 MB	`sha256:a8b5426427a5980b16ad05bf013546c9964a61eebc781adb51a4bd22a2254179`