Skip to content

Update README.md

Update README.md #12

Triggered via pull request February 1, 2025 08:26
@garesgares
opened #764
Status Success
Total duration 43m 2s
Artifacts

nix-action-rocq-9.0.yml

on: pull_request_target
Fit to window
Zoom out
Zoom in