Skip to content

Actions: Gordon-Sau/HOL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2 workflow runs
2 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Start of some work on "algebras as types" docker-ci #2: Commit 9e8cb30 pushed by Gordon-Sau
March 25, 2024 01:09 20s develop
develop
March 25, 2024 01:09 20s
Tweak tailrecLib to allow function terms that are composite docker-ci #1: Commit 772a64a pushed by Gordon-Sau
March 25, 2024 01:08 1m 6s develop
develop
March 25, 2024 01:08 1m 6s