Nix CI for bundle 8.17

update docker ci #48

Sign in to view logs

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

Triggered via pull request February 16, 2025 09:14

palmskog

opened #77

Status Success

Total duration 2m 47s

Artifacts –

nix-action-8.17.yml

on: pull_request_target