docker-ci-for-pr

HOL-Light's INTEGER_TAC #270

Sign in to view logs

Triggered via pull request May 15, 2024 05:23

binghe

synchronize #1238

binghe:INTEGER_TAC

Status Success

Total duration 1h 58m 5s

Artifacts –

docker-ci-for-pr.yml

on: pull_request