Bench

Add hol-server for programmatic HOL Light communication #629

Sign in to view logs

Triggered via pull request January 15, 2026 04:48

labeled #883

hol-server

Status Cancelled

Total duration 2s

Artifacts –

bench.yml

on: pull_request

Matrix: bench

Waiting for pending jobs

Matrix: ec2_all

Waiting for pending jobs

Annotations

1 error

Canceling since a higher priority waiting request for Bench-refs/pull/883/merge exists