mirror of
https://github.com/Z3Prover/z3
synced 2025-08-05 10:50:24 +00:00
convert formatting tabs to spaces (#7140)
* Update nightly.yaml for Azure Pipelines match nightly builds to release builds * Fix nightly.yaml * fix indent * fix indent * convert tabs to spaces for proper formatting in yaml
This commit is contained in:
parent
c67200ef72
commit
2880ea3971
1 changed files with 1 additions and 1 deletions
Loading…
Add table
Add a link
Reference in a new issue