Skip to content

[WIP] Move Irmin_pack.Io to eio #529

[WIP] Move Irmin_pack.Io to eio

[WIP] Move Irmin_pack.Io to eio #529

Workflow file for this run

name: Git Checks
on:
pull_request:
jobs:
block-fixup:
runs-on: ubuntu-latest
steps:
- uses: actions/[email protected]
- name: Block Fixup Commit Merge
uses: 13rac1/[email protected]