Update README.md

[kerelape]

Add code coverage badge Fix #1

[kerelape]

@rultor merge

[rultor]

@rultor merge

@kerelape OK, I'll try to merge now. You can check the progress of the merge here

[rultor]

@rultor merge

@kerelape Oops, I failed. You can see the full log here (spent 2min)

drwx--x--x  3 rultor rultor    4096 Jun 22 06:01 .
drwxrwxrwt 10 root   root   1302528 Jun 22 06:01 ..
-rw-rw-r--  1 rultor rultor     444 Jun 22 06:01 end.sh
-rwxrwxr-x  1 rultor rultor     363 Jun 22 06:01 entry.sh
-rw-rw-r--  1 rultor rultor       6 Jun 22 06:01 pid
drwxrwxr-x  5 rultor rultor    4096 Jun 22 06:01 repo
-rwxrwxr-x  1 rultor rultor    5438 Jun 22 06:01 run.sh
-rw-rw-r--  1 rultor rultor     401 Jun 22 06:01 script.sh
-rw-rw-r--  1 rultor rultor    4494 Jun 22 06:01 stdout
++ pwd
++ pwd
+ docker run -t --rm -v /tmp/rultor-qzCn:/main --env=head=git@github.com:objectionary/eo-net.git --env=pull_id=3 --env=fork=git@github.com:objectionary/eo-net.git --env=fork_branch=1-coverage-reporting-is-missing --env=head_branch=main '--env=pull_title=Update README.md' --env=author=kerelape '--env=scripts=( '\''export '\''\'\'''\''head=git@github.com:objectionary/eo-net.git'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''pull_id=3'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''fork=git@github.com:objectionary/eo-net.git'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''fork_branch=1-coverage-reporting-is-missing'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''head_branch=main'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''pull_title=Update README.md'\''\'\'''\'''\'' '\'';'\'' '\''export '\''\'\'''\''author=kerelape'\''\'\'''\'''\'' '\'';'\'' )' --hostname=docker --privileged --memory=6g --memory-swap=16g --oom-kill-disable --cidfile=/tmp/rultor-qzCn/cid -w=/main -v /var/run/docker.sock:/var/run/docker.sock --name=objectionary_eo-net_3 yegor256/rultor-image /main/entry.sh
+ set -e
+ set -o pipefail
+ shopt -s dotglob
+ useradd -m -G sudo r
+ usermod -s /bin/bash r
+ echo '%sudo ALL=(ALL) NOPASSWD:ALL'
+ cp -R /root/.bashrc /root/.cache /root/.config /root/.gem /root/.gnupg /root/.m2 /root/.npm /root/.profile /root/texmf /home/r
+ cp -R ./cid ./end.sh ./entry.sh ./pid ./repo ./run.sh ./script.sh ./stdout /home/r
+ rm -rf repo
+ chown -R r:r /home/r
+ chmod a+x /home/r/script.sh
+ su --login r --command /home/r/script.sh
+ set -e
+ set -o pipefail
+ shopt -s expand_aliases
+ alias 'sudo=sudo -i'
+ export HOME=/home/r
+ HOME=/home/r
+ cd /home/r/repo
+ export head=git@github.com:objectionary/eo-net.git
+ head=git@github.com:objectionary/eo-net.git
+ export pull_id=3
+ pull_id=3
+ export fork=git@github.com:objectionary/eo-net.git
+ fork=git@github.com:objectionary/eo-net.git
+ export fork_branch=1-coverage-reporting-is-missing
+ fork_branch=1-coverage-reporting-is-missing
+ export head_branch=main
+ head_branch=main
+ export 'pull_title=Update README.md'
+ pull_title='Update README.md'
+ export author=kerelape
+ author=kerelape
+ mv /home/r/repo .
++ whoami
+ chown -R root repo
+ '[' -n '' ']'
++ whoami
+ sudo chown -R rultor repo
+ cd repo
+ git push origin main
ERROR: Permission to objectionary/eo-net.git denied to rultor.
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.
container 4d68ee30a5a827d601728850a195e19ee5ac50a6060cc9fef92d4b1088d01378 is dead
Wed Jun 22 06:03:05 CEST 2022

[kerelape]

@yegor256 Looks like rultor is not added to this repository as a collaborator

[yegor256]

@kerelape I just added him

[yegor256]

@kerelape most probably it won't work because your default branch is main. I will change it now to master