BatSat

Include external projects as subtrees #443

Sign in to view logs

Triggered via pull request February 20, 2025 14:24

chrjabs

synchronize #280

subtrees

Status Success

Total duration 4m 0s

Artifacts –

batsat.yml

on: pull_request

Matrix: Build and test