Skip to content
This repository has been archived by the owner on Jul 8, 2024. It is now read-only.

Remove CasADi backend #29

Remove CasADi backend

Remove CasADi backend #29

Triggered via pull request June 20, 2024 17:30
Status Cancelled
Total duration 57s
Artifacts

sanitizers.yml

on: pull_request
Matrix: build

Annotations

6 errors
ubsan with sleipnir
Canceling since a higher priority waiting request for 'Sanitizers-removecasadi' exists
ubsan with sleipnir
The operation was canceled.
asan with sleipnir
Canceling since a higher priority waiting request for 'Sanitizers-removecasadi' exists
asan with sleipnir
The operation was canceled.
tsan with sleipnir
Canceling since a higher priority waiting request for 'Sanitizers-removecasadi' exists
tsan with sleipnir
The operation was canceled.