Nix CI for bundle 8.17

update docker ci #49

Sign in to view logs

Summary
Jobs
- coq
- mathcomp
- reglang
Run details
- Usage
- Workflow file

Triggered via pull request February 16, 2025 09:21

palmskog

synchronize #77

Status Success

Total duration 2m 21s

Artifacts –

nix-action-8.17.yml

on: pull_request_target