docker-ci-for-pr

TRANS_TAC ported from HOL-Light (with improvements) #251

Sign in to view logs

Triggered via pull request April 27, 2024 03:03

binghe

opened #1228

binghe:TRANS_TAC

Status Success

Total duration 1h 2m 37s

Artifacts –

docker-ci-for-pr.yml

on: pull_request