mirror of
https://github.com/Z3Prover/z3
synced 2025-04-26 18:45:33 +00:00
Fixing a spacing issue when undoing a comment
This commit is contained in:
parent
42b557cf90
commit
ec36e232e5
1 changed files with 1 additions and 1 deletions
|
@ -160,4 +160,4 @@ jobs:
|
|||
- template: scripts/test-z3.yml
|
||||
- template: scripts/test-examples-cmake.yml
|
||||
- template: scripts/test-regressions.yml
|
||||
# - template: scripts/test-java-cmake.yml
|
||||
# - template: scripts/test-java-cmake.yml
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue