Skip to content
CI

Trigger build of tlaplus/tlaplus if this repository has been changed. #662

Sign in to view logs

Trigger build of tlaplus/tlaplus if this repository has been changed.

Trigger build of tlaplus/tlaplus if this repository has been changed. #662

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
45s
45s