Bench

Add hol-server for programmatic HOL Light communication #631

Sign in to view logs

Triggered via pull request January 15, 2026 04:48

labeled #883

hol-server

Status Skipped

Total duration 2s

Artifacts –

bench.yml

on: pull_request

Matrix: bench

Matrix: ec2_all

Waiting for pending jobs