Push `README.md`

Merge pull request #670 from Nadrieril/fix-foreign-constants #12

Sign in to view logs

Summary
Jobs
- push_readme
Run details
- Usage
- Workflow file

Triggered via push May 15, 2024 11:55

github-merge-queue[bot]

main

Status Failure

Total duration 18s

Artifacts –

push_readme.yml

on: push

Annotations

1 error

push_readme

Process completed with exit code 1.