Merge pull request #31 from coq-community/fix-8.19 #44

Sign in to view logs

Triggered via push December 23, 2023 18:08

palmskog

master

Status Success

Total duration 43s

Artifacts –

nix-action.yml

on: push

Matrix: build