Skip to content

Actions: UCNot/churi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
103 workflow runs
103 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #54 from UCNot/violations Build #306: Commit b883c17 pushed by surol
July 7, 2023 03:43 1m 44s master
master
July 7, 2023 03:43 1m 44s
Constraints and their violations Build #305: Pull request #54 opened by surol
July 7, 2023 03:41 1m 59s violations
violations
July 7, 2023 03:41 1m 59s
Upgrade deps Build #304: Commit 2e0104f pushed by surol
July 7, 2023 02:47 2m 9s master
master
July 7, 2023 02:47 2m 9s