mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 09:04:07 +00:00
remove action that fails too often
This commit is contained in:
parent
f3af2193d0
commit
78222f274c
|
@ -312,7 +312,7 @@ jobs:
|
|||
make -j3 _ex_ml_example_post_install
|
||||
./ml_example_shared.byte
|
||||
./ml_example_shared_custom.byte
|
||||
./ml_example_shared
|
||||
# ./ml_example_shared
|
||||
cd ..
|
||||
# Skip as dead-slow in debug mode:
|
||||
# - template: scripts/test-z3.yml
|
||||
|
|
Loading…
Reference in a new issue