Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
179 workflow run results
179 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

extreal_baseTheory (in src/real) docker-ci-for-pr #49: Pull request #1128 synchronize by binghe
July 20, 2023 10:34 1h 18m 58s binghe:extreal_base
binghe:extreal_base
July 20, 2023 10:34 1h 18m 58s
extreal_baseTheory (in src/real) docker-ci-for-pr #48: Pull request #1128 opened by binghe
July 20, 2023 09:46 38m 29s binghe:extreal_base
binghe:extreal_base
July 20, 2023 09:46 38m 29s
Added converge_LP (An equivalent definition using extreal_lim (ext_te… docker-ci #135: Commit 8f595ca pushed by mn200
July 20, 2023 03:57 43m 48s develop
develop
July 20, 2023 03:57 43m 48s
Renames in src/ring/src, freeing name "ring" for examples/algebra docker-ci #134: Commit 8726c99 pushed by mn200
July 19, 2023 12:14 34m 15s develop
develop
July 19, 2023 12:14 34m 15s