try tests #118
jmrootAnnotations
16 errors and 52 warnings
|
macos-14
Tests failed for libsdl
|
|
macos-14
Tests failed for z3
|
|
macos-14
Failed to install z3-fstar
|
|
macos-14
Process completed with exit code 1.
|
|
macos-12
Tests failed for libsdl
|
|
macos-12
Tests failed for z3
|
|
macos-12
Failed to install z3-fstar
|
|
macos-12
Process completed with exit code 1.
|
|
macos-13
Tests failed for libsdl
|
|
macos-13
Tests failed for z3
|
|
macos-13
Failed to install z3-fstar
|
|
macos-13
Process completed with exit code 1.
|
|
macos-11
Tests failed for libsdl
|
|
macos-11
Tests failed for z3
|
|
macos-11
Failed to install z3-fstar
|
|
macos-11
Process completed with exit code 1.
|
|
macos-14:
archivers/paq8/Portfile#L1
port lint paq8:
Warning: missing recommended checksum type: sha256
|
|
macos-14:
math/z3/Portfile#L1
port lint z3:
Error: Line 356 repeats inclusion of PortGroup python
|
|
macos-14:
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
|
|
macos-14:
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
|
|
macos-14:
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
|
|
macos-14:
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
|
|
macos-14:
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
|
|
macos-14:
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
|
|
macos-14:
math/z3/Portfile#L1
port lint z3-fstar:
Error: Line 356 repeats inclusion of PortGroup python
|
|
macos-14:
math/z3/Portfile#L1
port lint z3-java:
Error: Line 356 repeats inclusion of PortGroup python
|
|
macos-14
port test libgcc:
Warning: libgcc is configured to build for the architecture(s) 'arm64', but did not install any Mach-O files.
|
|
macos-14
port test libsdl:
Warning: libsdl is configured to build for the architecture(s) 'arm64', 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.
|
|
macos-14
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.
|
|
macos-12
port test libgcc:
Warning: libgcc is configured to build for the architecture(s) 'x86_64', but did not install any Mach-O files.
|
|
macos-12
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.
|
|
macos-12
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.
|
|
macos-12:
archivers/paq8/Portfile#L1
port lint paq8:
Warning: missing recommended checksum type: sha256
|
|
macos-12:
math/z3/Portfile#L1
port lint z3:
Error: Line 356 repeats inclusion of PortGroup python
|
|
macos-12:
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
|
|
macos-12:
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
|
|
macos-12:
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
|
|
macos-12:
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
|
|
macos-12:
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
|
|
macos-12:
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
|
|
macos-12:
math/z3/Portfile#L1
port lint z3-fstar:
Error: Line 356 repeats inclusion of PortGroup python
|
|
macos-12:
math/z3/Portfile#L1
port lint z3-java:
Error: Line 356 repeats inclusion of PortGroup python
|
|
macos-13
port test libgcc:
Warning: libgcc is configured to build for the architecture(s) 'x86_64', but did not install any Mach-O files.
|
|
macos-13
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.
|
|
macos-13
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.
|
|
macos-13:
archivers/paq8/Portfile#L1
port lint paq8:
Warning: missing recommended checksum type: sha256
|
|
macos-13:
math/z3/Portfile#L1
port lint z3:
Error: Line 356 repeats inclusion of PortGroup python
|
|
macos-13:
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
|
|
macos-13:
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
|
|
macos-13:
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
|
|
macos-13:
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
|
|
macos-13:
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
|
|
macos-13:
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
|
|
macos-13:
math/z3/Portfile#L1
port lint z3-fstar:
Error: Line 356 repeats inclusion of PortGroup python
|
|
macos-13:
math/z3/Portfile#L1
port lint z3-java:
Error: Line 356 repeats inclusion of PortGroup python
|
|
macos-11
port test libgcc:
Warning: libgcc is configured to build for the architecture(s) 'x86_64', but did not install any Mach-O files.
|
|
macos-11
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.
|
|
macos-11
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.
|
|
macos-11:
archivers/paq8/Portfile#L1
port lint paq8:
Warning: missing recommended checksum type: sha256
|
|
macos-11:
math/z3/Portfile#L1
port lint z3:
Error: Line 356 repeats inclusion of PortGroup python
|
|
macos-11:
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
|
|
macos-11:
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
|
|
macos-11:
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
|
|
macos-11:
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
|
|
macos-11:
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
|
|
macos-11:
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
|
|
macos-11:
math/z3/Portfile#L1
port lint z3-fstar:
Error: Line 356 repeats inclusion of PortGroup python
|
|
macos-11:
math/z3/Portfile#L1
port lint z3-java:
Error: Line 356 repeats inclusion of PortGroup python
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
logs-macos-11
Expired
|
151 KB |
|
|
logs-macos-12
Expired
|
151 KB |
|
|
logs-macos-13
Expired
|
151 KB |
|
|
logs-macos-14
Expired
|
151 KB |
|