Nix CI for bundle master

[CI] Add Coq 8.19 #1

Sign in to view logs

Triggered via pull request January 17, 2024 12:43

proux01

synchronize #111

proux01:coq819

Status Success

Total duration 17m 26s

Artifacts –

nix-action-master.yml

on: pull_request

mathcomp-bigenough

mathcomp-finmap

hierarchy-builder