CI test

Make CTG MinConflictsSolver deterministic #1052

Sign in to view logs

Triggered via pull request February 10, 2025 12:51

synchronize #608

Timmmm:deterministic_constraint

Status Failure

Total duration 1m 13s

Artifacts –

test.yml

on: pull_request

Matrix: ACT-sail-spike

Annotations

2 errors

ACT-sail-spike (RV64)

Process completed with exit code 1.

ACT-sail-spike (RV32)

Process completed with exit code 1.