Skip to content

Actions: xdrr/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'HOL-Theorem-Prover:develop' into develop docker-ci #3: Commit c127ea2 pushed by xdrr
July 11, 2024 01:26 25s develop
develop
July 11, 2024 01:26 25s
Adds mrec and interp combinators docker-ci #2: Commit d0bea38 pushed by xdrr
June 28, 2024 04:39 20s develop
develop
June 28, 2024 04:39 20s
Remove some unicode docker-ci #1: Commit 493fc3f pushed by xdrr
June 27, 2024 04:06 34s develop
develop
June 27, 2024 04:06 34s