Skip to content

iMC changes inside of storm-pars #2336

iMC changes inside of storm-pars

iMC changes inside of storm-pars #2336

Triggered via pull request November 29, 2024 12:21
Status Failure
Total duration 36m 59s
Artifacts

buildtest.yml

on: pull_request
Matrix: compilerTests
Matrix: deploy
Matrix: distroTests
Matrix: indepthTests
Email notification
3s
Email notification
Fit to window
Zoom out
Zoom in

Annotations

21 errors
Indepth Tests (CLN exact; GMP rational functions; All dependencies, Debug)
Process completed with exit code 2.
Indepth Tests (Minimal dependencies, Debug)
The job was canceled because "CLN_exact__GMP_rational_f" failed.
Indepth Tests (Minimal dependencies, Debug)
The operation was canceled.
Indepth Tests (GMP exact; CLN rational functions; No dependencies, Debug)
The job was canceled because "CLN_exact__GMP_rational_f" failed.
Indepth Tests (GMP exact; GMP rational functions; All dependencies, Debug)
The job was canceled because "CLN_exact__GMP_rational_f" failed.
Indepth Tests (CLN exact; CLN rational functions; All dependencies, Debug)
The job was canceled because "CLN_exact__GMP_rational_f" failed.
Test and Deploy (Debug)
Process completed with exit code 2.
Test and Deploy (Release)
The job was canceled because "Debug_ci-debug_storm-depe" failed.
Test and Deploy (Release)
The operation was canceled.
Distro Tests (ubuntu-22.04, Release)
Process completed with exit code 2.
Distro Tests (ubuntu-24.04, Release)
The job was canceled because "ubuntu-22_04_Release" failed.
Distro Tests (ubuntu-24.04, Release)
The operation was canceled.
Distro Tests (debian-12, Release)
The job was canceled because "ubuntu-22_04_Release" failed.
Distro Tests (debian-12, Release)
The operation was canceled.
Compiler Tests (Clang, Debug)
Process completed with exit code 2.
Compiler Tests (GCC, Debug)
The job was canceled because "Clang_Debug_OFF_OFF_OFF_O" failed.
Compiler Tests (GCC, Debug)
The operation was canceled.
Email notification
At least one of 'to', 'cc' or 'bcc' must be specified