Kissat

Improved docs, tests and CI #3

Sign in to view logs

Triggered via pull request January 11, 2024 09:00

chrjabs

synchronize #52

docs

Status Failure

Total duration 32s

Artifacts –

kissat.yml

on: pull_request

Matrix: Build and test

Annotations

2 errors

Build and test (ubuntu-latest)

Process completed with exit code 101.

Build and test (macos-latest)

The operation was canceled.