Skip to content
CI

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

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. #664

Run time

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