Nix CI for bundle coq-8.19

CI test #9

Sign in to view logs

Triggered via pull request October 14, 2024 15:43

4ever2

opened #4

nix-rev-ci-test

Status Cancelled

Total duration 2m 33s

Artifacts –

nix-action-coq-8.19.yml

on: pull_request

Annotations

2 errors

The run was canceled by @4ever2.

The operation was canceled.