docker-ci-for-pr

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

Sign in to view logs

Triggered via pull request April 28, 2024 02:56

binghe

synchronize #1228

binghe:TRANS_TAC

Status Success

Total duration 1h 3m 37s

Artifacts –

docker-ci-for-pr.yml

on: pull_request