Skip to content

Actions: CakeML/choreo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixed OPTREL in chorPropsScript
CI #477: Commit 6d9903c pushed by mn200
June 27, 2024 09:19 56s master
June 27, 2024 09:19 56s