Nix CI

Merge pull request #132 from coq-community/fix-boilerplate #138

Sign in to view logs

Triggered via push December 22, 2023 14:41

palmskog

master

Status Success

Total duration 39s

Artifacts –

nix-action.yml

on: push

Matrix: build