Nix CI for bundle master

Merge pull request #337 from vbgl/gappalib-1.7.0 #1176

Sign in to view logs

Summary
Jobs
- coq
- coq-shell
Run details
- Usage
- Workflow file

Triggered via push March 25, 2025 12:04

proux01

master

Status Success

Total duration 2m 16s

Artifacts –

nix-action-master.yml

on: push