CI

bug fix in revDerivProj rules for Prod.fst/snd #426

Sign in to view logs

Summary
Jobs
- build
- deploy
Run details
- Usage
- Workflow file

Triggered via push November 27, 2023 23:08

lecopivo

master

Status Failure

Total duration 4m 20s

Artifacts –

main.yml

on: push

Annotations

1 error

Process completed with exit code 1.