Skip to content
TLA+ Consensus

fix(ci): repair the permissions block indentation (invalid YAML) (#103) #140

Sign in to view logs

fix(ci): repair the permissions block indentation (invalid YAML) (#103)

fix(ci): repair the permissions block indentation (invalid YAML) (#103) #140

Run time

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