Nix CI for bundle default

Setup nix action #2

Sign in to view logs

Summary
Jobs
- coq
- coq-elpi
- trocq
Run details
- Usage
- Workflow file

Triggered via pull request November 11, 2023 13:13

CohenCyril

opened #3

action

Status Success

Total duration 5m 55s

Artifacts –

nix-action-default.yml

on: pull_request