Workflow runs · jhlchan/HOL · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

2 workflow runs

2 workflow runs

Merge branch 'develop' of github.com:HOL-Theorem-Prover/HOL into develop docker-ci #7: Commit cf029ad pushed by jhlchan

December 21, 2024 02:12

25s develop

develop

December 21, 2024 02:12

25s

Update tools. docker-ci #6: Commit 5fda98a pushed by jhlchan

December 15, 2024 02:27

27s develop

develop

December 15, 2024 02:27

27s