Skip to content
Tests for consistency of README.md

Testing bot PR263 by building and uploading CaDiCaL #38

Sign in to view logs

Testing bot PR263 by building and uploading CaDiCaL

Testing bot PR263 by building and uploading CaDiCaL #38

Triggered via pull request March 20, 2024 10:35
@trz42trz42
opened #73
poksumdo:test_pr263_cadical
Status Success
Total duration 14s
Artifacts –

tests_readme.yml

on: pull_request
build
6s
build
Fit to window
Zoom out
Zoom in