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

Triggered via pull request January 20, 2026 16:10

plt-amy

opened #585

aliao/nat-solver-fixup

Status Success

Total duration 5m 19s

Artifacts 1

preview.yml

on: pull_request

1 warning

No push credentials found. Ignoring the 'useDaemon' option.

Produced during runtime

Name	Size	Digest
pr-preview	10.9 MB	`sha256:5163946f036c74db866136a27ee9c31eba026fdf5cce0d5a6ef216335e00171d`