Nix CI for bundle 8.16

Merge pull request #56 from proux01/ci_update #19

Sign in to view logs

Triggered via push September 1, 2023 14:13

CohenCyril

master

Status Success

Total duration 3m 15s

Artifacts –

nix-action-8.16.yml

on: push

mathcomp-real-closed