Skip to content

fix tiny error

fix tiny error #746

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