docs: enhance README.md #13

Sign in to view logs

Triggered via push June 20, 2024 16:13

Dafnik

main

Status Success

Total duration 14s

Artifacts –

draft-release.yml

on: push