Running all tests

catch one more kissat error message #320

Sign in to view logs

Triggered via push March 16, 2024 11:04

ozgurakgun

main

Status Success

Total duration 1h 46m 27s

Artifacts –

test.yml

on: push

Matrix: Job