Skip to content
This repository has been archived by the owner on May 3, 2024. It is now read-only.

progress xover

progress xover #110

Workflow file for this run

ci-success:
name: ci
if: ${{ success() }}
needs:
- exfmt
- test
runs-on: ubuntu-latest
steps:
- name: CI succeeded
run: exit 0