Skip to content

Actions: JaSpa/AlgST

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

remove unused import docker-publish #32: Commit 1bc50f5 pushed by JaSpa
19s main
main
19s
Rethink how protocol subsets are represented in the AST docker-publish #31: Commit f3e70f0 pushed by JaSpa
24s main
main
24s
fix tests docker-publish #30: Commit 9d8ff56 pushed by JaSpa
19s main
main
19s