Nix Pipeline

bump dune version to 3, remove unused settings (#2817) #176

Sign in to view logs

Triggered via push November 29, 2024 06:27

anmonteiro

master

Status Success

Total duration 7m 16s

Artifacts –

nix-build.yml

on: push

Matrix: macos-tests

Matrix: ubuntu-tests