Push `README.md`

Merge pull request #672 from Nadrieril/fix-divergence-on-send-bound #11

Sign in to view logs

Summary
Jobs
- push_readme
Run details
- Usage
- Workflow file

Triggered via push May 15, 2024 11:50

github-merge-queue[bot]

main

Status Failure

Total duration 15s

Artifacts –

push_readme.yml

on: push

Annotations

1 error

push_readme

Process completed with exit code 1.