Support for interval-based transitions in storm #1475
sjunges
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
buildtest.yml
on: pull_request
Matrix: compilerTests
Matrix: deploy
Matrix: distroTests
Matrix: indepthTests
Email notification
5s
Annotations
21 errors and 2 warnings
|
Indepth Tests (GMP exact; CLN rational functions; No Spot, Debug)
Process completed with exit code 1.
|
|
Indepth Tests (CLN exact; GMP rational functions; Spot, Debug)
The job was canceled because "GMP_exact__CLN_rational_functions__No_Spot_Debug_-DSTORM_DEVELOPER_ON_-DSTORM_PORTABLE_ON_-DSTORM_US" failed.
|
|
Indepth Tests (CLN exact; GMP rational functions; Spot, Debug)
The operation was canceled.
|
|
Indepth Tests (GMP exact; GMP rational functions; Spot, Debug)
The job was canceled because "GMP_exact__CLN_rational_functions__No_Spot_Debug_-DSTORM_DEVELOPER_ON_-DSTORM_PORTABLE_ON_-DSTORM_US" failed.
|
|
Indepth Tests (GMP exact; GMP rational functions; Spot, Debug)
The operation was canceled.
|
|
Indepth Tests (CLN exact; CLN rational functions; Spot, Debug)
The job was canceled because "GMP_exact__CLN_rational_functions__No_Spot_Debug_-DSTORM_DEVELOPER_ON_-DSTORM_PORTABLE_ON_-DSTORM_US" failed.
|
|
Indepth Tests (CLN exact; CLN rational functions; Spot, Debug)
The operation was canceled.
|
|
Distro Tests (debian-11, Release)
Process completed with exit code 1.
|
|
Distro Tests (ubuntu-20.04, Release)
The job was canceled because "debian-11_Release" failed.
|
|
Distro Tests (ubuntu-20.04, Release)
The operation was canceled.
|
|
Distro Tests (ubuntu-22.04, Release)
The job was canceled because "debian-11_Release" failed.
|
|
Distro Tests (ubuntu-22.04, Release)
The operation was canceled.
|
|
Distro Tests (debian-12, Release)
The job was canceled because "debian-11_Release" failed.
|
|
Distro Tests (debian-12, Release)
The operation was canceled.
|
|
Compiler Tests (Clang, Debug)
Process completed with exit code 1.
|
|
Compiler Tests (GCC, Debug)
The job was canceled because "Clang_Debug_-DCMAKE_C_COMPILER_clang_-DCMAKE_CXX_COMPILER_clang___-DSTORM_DEVELOPER_ON_-DSTORM_PORTA" failed.
|
|
Compiler Tests (GCC, Debug)
The operation was canceled.
|
|
Test and Deploy (Release)
Process completed with exit code 1.
|
|
Test and Deploy (Debug)
The job was canceled because "Release_ci_-DSTORM_DEVELOPER_OFF_-DSTORM_PORTABLE_ON_-DSTORM_USE_SPOT_SHIPPED_ON" failed.
|
|
Test and Deploy (Debug)
The operation was canceled.
|
|
Email notification
Input required and not supplied: server_address
|
|
Email notification
The following actions uses node12 which is deprecated and will be forced to run on node16: technote-space/workflow-conclusion-action@v2, dawidd6/action-send-mail@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
Email notification
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|