CI

Remove add_subgoal from tools which wont force next step #3366

Sign in to view logs

Triggered via push September 17, 2025 17:34

jahooma

main

Status Success

Total duration 3m 35s

Artifacts –

ci.yml

on: push

build-and-check

Matrix: test-integration

Matrix: test