Build, test and check format

pkg: upgrade publicodes to 1.0.0-beta.77 #142

Sign in to view logs

Summary
Jobs
- main
Run details
- Usage
- Workflow file

Triggered via push December 12, 2023 17:50

EmileRolley

fix-input-rules-shouldn't-be-modified

Status Failure

Total duration 20s

Artifacts –

build.yml

on: push

Annotations

1 error

Process completed with exit code 1.