Workflow runs · ucsd-progsys/liquid-fixpoint-debug · GitHub

Actions

All workflows
Workflows
- cabal cabal
- Copilot coding agent Copilot coding agent
- hlint hlint
- release release
- stack stack
- stan stan
Management
- Caches

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

1 workflow run

1 workflow run

Running Copilot Copilot coding agent #1: by Copilot AI

10m 13s copilot/fix-ci-build-publish-action

copilot/fix-ci-build-publish-action

10m 13s