Nix CI for bundle 8.18

Equivalence with usual stability #70

Sign in to view logs

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

Triggered via pull request February 14, 2025 20:15

pi8027

synchronize #20

Status Success

Total duration 9m 31s

Artifacts –

nix-action-8.18.yml

on: pull_request_target