Nix CI for bundle coq-8.19

Nix test 2 #6

Sign in to view logs

Triggered via pull request October 12, 2024 14:43

4ever2

opened #2

nix2

Status Cancelled

Total duration 3m 39s

Artifacts –

nix-action-coq-8.19.yml

on: pull_request

Annotations

2 errors

The run was canceled by @4ever2.

The operation was canceled.