Skip to content

[WIP] Move Irmin_pack.Io to eio #524

[WIP] Move Irmin_pack.Io to eio

[WIP] Move Irmin_pack.Io to eio #524

Workflow file for this run

name: Git Checks
on:
pull_request:
jobs:
block-fixup:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2.0.0
- name: Block Fixup Commit Merge
uses: 13rac1/block-fixup-merge-action@v2.0.0