Ubuntu build

Wait for goal type in Nat solver (#1263) #3037

Sign in to view logs

Triggered via push October 4, 2025 21:15

felixwellen

master

Status Success

Total duration 4m 29s

Artifacts –

ci-ubuntu.yml

on: push