Nix CI for bundle 8.17

use elpi version 1.18.1 (#69) #37

Sign in to view logs

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

Triggered via push January 2, 2024 13:22

palmskog

master

Status Success

Total duration 1m 15s

Artifacts –

nix-action-8.17.yml

on: push