automation-contractAvailable
Continuous integration
Supports noninteractive generated solves with machine-readable status and archived TLN/log artifacts.
CI should invoke the installed Batch launcher, check the stable exit status, parse the final JSON summary, and archive both solved .tln and log files. Keep workflow trust in the repository's security review: generated workflows need no trust, while a trusted project workflow can assert results through the public telion SDK.