CI

Construct DatatypeRef and DatatypeSortRef for datatype terms and sorts #235

Sign in to view logs

Triggered via pull request August 12, 2026 20:11

opened #120

daniel-larraz:datatype-refs

Status Success

Total duration 26s

Artifacts –

ci.yml

on: pull_request