z3: enable py313-z3 and py314-z3 subports #38700
percontationAnnotations
9 errors and 39 warnings
|
macos-14
Tests failed for z3-fstar
|
|
macos-14
Tests failed for z3-fstar-legacy
|
|
macos-14
Tests failed for z3
|
|
macos-15
Tests failed for z3-fstar
|
|
macos-15
Tests failed for z3-fstar-legacy
|
|
macos-15
Tests failed for z3
|
|
macos-26
Tests failed for z3-fstar
|
|
macos-26
Tests failed for z3-fstar-legacy
|
|
macos-26
Tests failed for z3
|
|
macos-14:
math/z3/Portfile#L1
port test z3-fstar:
Error: Failed to test z3-fstar: command execution failed
Error: See /opt/local/var/macports/logs/_Users_runner_work_macports-ports_macports-ports_ports_math_z3/z3-fstar/main.log for details.
|
|
macos-14:
math/z3/Portfile#L1
port test z3-fstar-legacy:
Error: Failed to test z3-fstar-legacy: command execution failed
Error: See /opt/local/var/macports/logs/_Users_runner_work_macports-ports_macports-ports_ports_math_z3/z3-fstar-legacy/main.log for details.
|
|
macos-14:
math/z3/Portfile#L1
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-14:
math/z3/Portfile#L1
port lint z3-java:
Error: Line 416 repeats inclusion of PortGroup python
|
|
macos-14:
math/z3/Portfile#L1
port lint z3-fstar:
Error: Line 416 repeats inclusion of PortGroup python
|
|
macos-14:
math/z3/Portfile#L1
port lint z3-fstar-legacy:
Error: Line 416 repeats inclusion of PortGroup python
|
|
macos-14:
math/z3/Portfile#L1
port lint py313-z3:
Error: Line 416 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
macos-14:
math/z3/Portfile#L1
port lint py312-z3:
Error: Line 416 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 416 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 416 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 416 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
macos-14:
math/z3/Portfile#L1
port lint py314-z3:
Error: Line 416 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:
Error: Line 416 repeats inclusion of PortGroup python
|
|
macos-15:
math/z3/Portfile#L1
port test z3-fstar:
Error: Failed to test z3-fstar: command execution failed
Error: See /opt/local/var/macports/logs/_Users_runner_work_macports-ports_macports-ports_ports_math_z3/z3-fstar/main.log for details.
|
|
macos-15:
math/z3/Portfile#L1
port test z3-fstar-legacy:
Error: Failed to test z3-fstar-legacy: command execution failed
Error: See /opt/local/var/macports/logs/_Users_runner_work_macports-ports_macports-ports_ports_math_z3/z3-fstar-legacy/main.log for details.
|
|
macos-15:
math/z3/Portfile#L1
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-15:
math/z3/Portfile#L1
port lint z3-java:
Error: Line 416 repeats inclusion of PortGroup python
|
|
macos-15:
math/z3/Portfile#L1
port lint z3-fstar:
Error: Line 416 repeats inclusion of PortGroup python
|
|
macos-15:
math/z3/Portfile#L1
port lint z3-fstar-legacy:
Error: Line 416 repeats inclusion of PortGroup python
|
|
macos-15:
math/z3/Portfile#L1
port lint py313-z3:
Error: Line 416 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
macos-15:
math/z3/Portfile#L1
port lint py312-z3:
Error: Line 416 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
macos-15:
math/z3/Portfile#L1
port lint py311-z3:
Error: Line 416 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
macos-15:
math/z3/Portfile#L1
port lint py310-z3:
Error: Line 416 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
macos-15:
math/z3/Portfile#L1
port lint py-z3:
Error: Line 416 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
macos-15:
math/z3/Portfile#L1
port lint py314-z3:
Error: Line 416 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
macos-15:
math/z3/Portfile#L1
port lint z3:
Error: Line 416 repeats inclusion of PortGroup python
|
|
macos-26:
math/z3/Portfile#L1
port test z3-fstar:
Error: Failed to test z3-fstar: command execution failed
Error: See /opt/local/var/macports/logs/_Users_runner_work_macports-ports_macports-ports_ports_math_z3/z3-fstar/main.log for details.
|
|
macos-26:
math/z3/Portfile#L1
port test z3-fstar-legacy:
Error: Failed to test z3-fstar-legacy: command execution failed
Error: See /opt/local/var/macports/logs/_Users_runner_work_macports-ports_macports-ports_ports_math_z3/z3-fstar-legacy/main.log for details.
|
|
macos-26:
math/z3/Portfile#L1
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-26:
math/z3/Portfile#L1
port lint z3-java:
Error: Line 416 repeats inclusion of PortGroup python
|
|
macos-26:
math/z3/Portfile#L1
port lint z3-fstar:
Error: Line 416 repeats inclusion of PortGroup python
|
|
macos-26:
math/z3/Portfile#L1
port lint z3-fstar-legacy:
Error: Line 416 repeats inclusion of PortGroup python
|
|
macos-26:
math/z3/Portfile#L1
port lint py313-z3:
Error: Line 416 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
macos-26:
math/z3/Portfile#L1
port lint py312-z3:
Error: Line 416 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
macos-26:
math/z3/Portfile#L1
port lint py311-z3:
Error: Line 416 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
macos-26:
math/z3/Portfile#L1
port lint py310-z3:
Error: Line 416 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
macos-26:
math/z3/Portfile#L1
port lint py-z3:
Error: Line 416 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
macos-26:
math/z3/Portfile#L1
port lint py314-z3:
Error: Line 416 repeats inclusion of PortGroup python
Error: Portfile parent directory math does not match primary category python
|
|
macos-26:
math/z3/Portfile#L1
port lint z3:
Error: Line 416 repeats inclusion of PortGroup python
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
logs-macos-14
|
927 KB |
sha256:f90ebf63e6ab5e40d3b6d291d9e35c9c74a0d9fa99c9c2be36917421193bc485
|
|
|
logs-macos-15
|
926 KB |
sha256:ef8643e76c5e64851405a372a99f567e130619f33c01ebf6b803acbe30d3dc36
|
|
|
logs-macos-26
|
1.02 MB |
sha256:b4e8ae4885b7830293766cab444454825a033e1d479cce44ae10c5ab6eb8bc7b
|
|