Skip to content

Actions: tydeu/lean4-alloy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: cleanup some code in ExternImpl CI #105: Commit 3e048d8 pushed by tydeu
December 22, 2023 08:13 2m 8s master
master
December 22, 2023 08:13 2m 8s
feat: persist shim document state in the worker CI #104: Commit 877b2cb pushed by tydeu
December 21, 2023 21:56 4m 58s master
master
December 21, 2023 21:56 4m 58s
chore: update to Lean v4.3.0 CI #103: Commit 98a8cbd pushed by tydeu
December 10, 2023 09:15 2m 4s master
master
December 10, 2023 09:15 2m 4s
feat: C diagnostics for shim code CI #102: Commit 0f72fdf pushed by tydeu
December 10, 2023 08:33 5m 30s master
master
December 10, 2023 08:33 5m 30s