Skip to content

Remove option to not simplify initial states #369

Remove option to not simplify initial states

Remove option to not simplify initial states #369

Triggered via pull request October 18, 2023 20:58
Status Cancelled
Total duration 21s
Artifacts

test-pr.yml

on: pull_request
Version Bump
7s
Version Bump
Code Quality Checks
0s
Code Quality Checks
Unit Tests
0s
Unit Tests
Docker Tests
0s
Docker Tests
Matrix: Integration Tests
Matrix: Profiling
Fit to window
Zoom out
Zoom in

Annotations

1 error
Code Quality Checks
Canceling since a higher priority waiting request for 'Test PR-refs/pull/113/merge' exists