Skip to content

tiny changes

tiny changes #1686

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