Nix CI for bundle 8.17

Adapt to https://github.com/math-comp/math-comp/pull/1046 #24

Sign in to view logs

Triggered via pull request November 29, 2023 13:25

proux01

synchronize #52

Status Success

Total duration 26m 0s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

nix-action-8.17.yml

on: pull_request_target