CompatHelper: bump compat for SoleLogics to 0.10, (keep existing compat) #8
Cirrus CI / FreeBSD JULIA_VERSION:1.9
failed
Oct 26, 2024 in 1h 0m 0s
Task Summary
Instruction test failed in 58:34
Details
✅ 00:08 clone
✅ 00:00 artifacts
✅ 00:03 install
✅ 01:12 build
❌ 58:34 test
MVHS: �[91m�[1mTest Failed�[22m�[39m at �[39m�[1m/tmp/cirrus-ci-build/test/mvhs/modalrules.jl:100�[22m
Expression: mvhsalphaprove(⊤, boxX(p → q) → (boxX(p) → boxX(q)), FiniteHeytingAlgebra(H4), timeout = max_timeout) == true
Evaluated: nothing == true
Stacktrace:
[1] �[0m�[1mmacro expansion�[22m
�[90m @�[39m �[90m~/julia/share/julia/stdlib/v1.9/Test/src/�[39m�[90m�[4mTest.jl:478�[24m�[39m�[90m [inlined]�[39m
[2] top-level scope
�[90m @�[39m �[90m~/tmp/cirrus-ci-build/test/mvhs/�[39m�[90m�[4mmodalrules.jl:100�[24m�[39m
MVHS: �[91m�[1mTest Failed�[22m�[39m at �[39m�[1m/tmp/cirrus-ci-build/test/mvhs/modalrules.jl:100�[22m
Expression: mvhsalphaprove(⊤, boxX(p → q) → (boxX(p) → boxX(q)), FiniteHeytingAlgebra(H4), timeout = max_timeout) == true
Evaluated: nothing == true
Stacktrace:
[1] �[0m�[1mmacro expansion�[22m
�[90m @�[39m �[90m~/julia/share/julia/stdlib/v1.9/Test/src/�[39m�[90m�[4mTest.jl:478�[24m�[39m�[90m [inlined]�[39m
[2] top-level scope
�[90m @�[39m �[90m~/tmp/cirrus-ci-build/test/mvhs/�[39m�[90m�[4mmodalrules.jl:100�[24m�[39m
MVHS: �[91m�[1mTest Failed�[22m�[39m at �[39m�[1m/tmp/cirrus-ci-build/test/mvhs/modalrules.jl:100�[22m
Expression: mvhsalphaprove(⊤, boxX(p → q) → (boxX(p) → boxX(q)), FiniteHeytingAlgebra(H4), timeout = max_timeout) == true
Evaluated: nothing == true
Stacktrace:
[1] �[0m�[1mmacro expansion�[22m
�[90m @�[39m �[90m~/julia/share/julia/stdlib/v1.9/Test/src/�[39m�[90m�[4mTest.jl:478�[24m�[39m�[90m [inlined]�[39m
[2] top-level scope
�[90m @�[39m �[90m~/tmp/cirrus-ci-build/test/mvhs/�[39m�[90m�[4mmodalrules.jl:100�[24m�[39m
MVHS: �[91m�[1mTest Failed�[22m�[39m at �[39m�[1m/tmp/cirrus-ci-build/test/mvhs/modalrules.jl:100�[22m
Expression: mvhsalphaprove(⊤, boxX(p → q) → (boxX(p) → boxX(q)), FiniteHeytingAlgebra(H4), timeout = max_timeout) == true
Evaluated: nothing == true
Stacktrace:
[1] �[0m�[1mmacro expansion�[22m
�[90m @�[39m �[90m~/julia/share/julia/stdlib/v1.9/Test/src/�[39m�[90m�[4mTest.jl:478�[24m�[39m�[90m [inlined]�[39m
[2] top-level scope
�[90m @�[39m �[90m~/tmp/cirrus-ci-build/test/mvhs/�[39m�[90m�[4mmodalrules.jl:100�[24m�[39m
MVHS: �[91m�[1mTest Failed�[22m�[39m at �[39m�[1m/tmp/cirrus-ci-build/test/mvhs/modalrules.jl:100�[22m
Expression: mvhsalphaprove(⊤, boxX(p → q) → (boxX(p) → boxX(q)), FiniteHeytingAlgebra(H4), timeout = max_timeout) == true
Evaluated: nothing == true
Stacktrace:
[1] �[0m�[1mmacro expansion�[22m
�[90m @�[39m �[90m~/julia/share/julia/stdlib/v1.9/Test/src/�[39m�[90m�[4mTest.jl:478�[24m�[39m�[90m [inlined]�[39m
[2] top-level scope
�[90m @�[39m �[90m~/tmp/cirrus-ci-build/test/mvhs/�[39m�[90m�[4mmodalrules.jl:100�[24m�[39m
MVHS: �[91m�[1mTest Failed�[22m�[39m at �[39m�[1m/tmp/cirrus-ci-build/test/mvhs/modalrules.jl:100�[22m
Expression: mvhsalphaprove(⊤, boxX(p → q) → (boxX(p) → boxX(q)), FiniteHeytingAlgebra(H4), timeout = max_timeout) == true
Evaluated: nothing == true
Stacktrace:
[1] �[0m�[1mmacro expansion�[22m
�[90m @�[39m �[90m~/julia/share/julia/stdlib/v1.9/Test/src/�[39m�[90m�[4mTest.jl:478�[24m�[39m�[90m [inlined]�[39m
[2] top-level scope
�[90m @�[39m �[90m~/tmp/cirrus-ci-build/test/mvhs/�[39m�[90m�[4mmodalrules.jl:100�[24m�[39m
Timed out!���������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������
Loading