Skip to content

Actions: HOL-Theorem-Prover/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
833 workflow runs
833 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix OT quotient material docker-ci #138: Commit 410c5dc pushed by mn200
July 21, 2023 06:51 1h 18m 39s develop
develop
July 21, 2023 06:51 1h 18m 39s
Merge branch 'quotient-reloc' into develop docker-ci #137: Commit e5752ea pushed by mn200
July 20, 2023 22:54 1h 17m 9s develop
develop
July 20, 2023 22:54 1h 17m 9s
Some tweaks and optimisations in src/rational docker-ci #136: Commit 7a42bd7 pushed by mn200
July 20, 2023 22:50 1h 16m 15s develop
develop
July 20, 2023 22:50 1h 16m 15s
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
Fix minor bug caused by lg constant's move from util_prob to transc docker-ci #133: Commit 2ee6798 pushed by mn200
July 19, 2023 01:02 1h 17m 0s develop
develop
July 19, 2023 01:02 1h 17m 0s
ProTip! You can narrow down the results and go further in time using created:<2023-07-19 or the other filters available.