Also do this for pycarl

45f7f5a

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

Build Test on: pull_request 7

Indepth Tests (Debug, all libraries)

Indepth Tests (Debug, no libraries)

Indepth Tests (Release, all libraries)

Indepth Tests (Release, no libraries)

Test on stable (Debug)

Test on stable (Release)

Linux Test (Fetch, Debian 12, Debug)

Linux Test (Fetch, Debian 13, Debug)

Linux Test (Fetch, Ubuntu 24.04, Debug)

Linux Test (Fetch, Ubuntu 24.04, Debug, only Storm core)

Linux Test (Fetch, Ubuntu 24.04, Release)

Mac Tests (Fetch, MacOS 14, ARM, Debug)

Mac Tests (Fetch, MacOS 15, ARM, Debug)

Mac Tests (Fetch, MacOS 26, ARM, Debug)

Mac Tests (Fetch, MacOS 26, Intel, Debug)

Mac Tests (Install, MacOS 26, ARM, Debug)

Mac Tests (Install, MacOS 26, ARM, Release)

Test and Deploy on latest (Debug)

Test and Deploy on latest (Release)

Email notification

Check code format on: pull_request

check_python

check_cpp

Test on stable (Release)

succeeded Aug 21, 2026 in 9m 48s

Loading