fixup: wait for overloading in nat solver goals · the1lab/1lab@31cb16d

Triggered via push January 20, 2026 16:09

plt-amy

aliao/nat-solver-fixup

Status Success

Total duration 9m 5s

Artifacts 1

build.yml

on: push

Produced during runtime

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