Skip to content

chore(docs): remove link to play.noir-lang.org #10220

chore(docs): remove link to play.noir-lang.org

chore(docs): remove link to play.noir-lang.org #10220

Triggered via pull request April 22, 2024 12:17
@TomAFrenchTomAFrench
synchronize #4872
Status Success
Total duration 15s
Artifacts

pull-request-title.yml

on: pull_request_target
Validate PR title is Conventional Commit
5s
Validate PR title is Conventional Commit
Warn external contributors about force-pushing
0s
Warn external contributors about force-pushing
Fit to window
Zoom out
Zoom in