dune-universe/opam-overlays: PR #181: Add runner configuration on CI workflow

@7a44fec

04/02/2023 10:49

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (16m40s)
✔️ arm64-debian-10-4.13 (6m07s)

History:

04/02/2023 10:49 ✔️ @7a44fec (4d01h)
04/02/2023 10:45 🟠 @895b244 (3m12s)
02/02/2023 09:09 ✔️ @fd7ea28 (11m35s)
02/02/2023 08:33 ✔️ @99d003d (9m14s)