Nix CI

Adapt w.r.t. coq/coq#20278. #188

Sign in to view logs

Triggered via pull request February 21, 2025 17:33

ppedrot

opened #155

Status Success

Total duration 48s

Artifacts –

nix-action.yml

on: pull_request_target

Matrix: build