Skip to content
TLA+ Consensus

fix(docs): repoint references to the relocated contributing guide (#100) #135

Sign in to view logs

fix(docs): repoint references to the relocated contributing guide (#100)

fix(docs): repoint references to the relocated contributing guide (#100) #135

Run time

Learn about OS pricing on GitHub Actions
Job Run time
TLC model-check (BFT safety)
6s
6s