try tests #118
Annotations
4 errors and 13 warnings
|
Build changed subports
Tests failed for libsdl
|
|
Build changed subports
Tests failed for z3
|
|
Build changed subports
Failed to install z3-fstar
|
|
Build changed subports
Process completed with exit code 1.
|
|
Build changed subports
port test libgcc:
Warning: libgcc is configured to build for the architecture(s) 'x86_64', but did not install any Mach-O files.
|
|
Build changed subports
port test libsdl:
Warning: libsdl is configured to build for the architecture(s) 'x86_64', but did not install any Mach-O files.
Error: Failed to test libsdl: test error
Error: See /opt/local/var/macports/logs/_Users_runner_work_macports-ports_macports-ports_ports_devel_libsdl/libsdl/main.log for details.
|
|
Build changed subports
port test z3:
Error: Failed to test z3: command execution failed
Error: See /opt/local/var/macports/logs/_Users_runner_work_macports-ports_macports-ports_ports_math_z3/z3/main.log for details.
|
|
Run port lint for all changed subports:
archivers/paq8/Portfile#L1
port lint paq8:
Warning: missing recommended checksum type: sha256
|
|
Run port lint for all changed subports:
math/z3/Portfile#L1
port lint z3:
Error: Line 356 repeats inclusion of PortGroup python
|
|
Run port lint for all changed subports:
math/z3/Portfile#L1
port lint py312-z3:
Error: Line 356 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
Run port lint for all changed subports:
math/z3/Portfile#L1
port lint py-z3:
Error: Line 356 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
Run port lint for all changed subports:
math/z3/Portfile#L1
port lint py38-z3:
Error: Line 356 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
Run port lint for all changed subports:
math/z3/Portfile#L1
port lint py39-z3:
Error: Line 356 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
Run port lint for all changed subports:
math/z3/Portfile#L1
port lint py310-z3:
Error: Line 356 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
Run port lint for all changed subports:
math/z3/Portfile#L1
port lint py311-z3:
Error: Line 356 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
Run port lint for all changed subports:
math/z3/Portfile#L1
port lint z3-fstar:
Error: Line 356 repeats inclusion of PortGroup python
|
|
Run port lint for all changed subports:
math/z3/Portfile#L1
port lint z3-java:
Error: Line 356 repeats inclusion of PortGroup python
|
Loading