Skip to content

Merge branch 'master' of https://github.com/TERITORI/gno #86

Merge branch 'master' of https://github.com/TERITORI/gno

Merge branch 'master' of https://github.com/TERITORI/gno #86

Triggered via push October 7, 2024 15:21
Status Success
Total duration 3m 37s
Artifacts

codeql.yml

on: push
Matrix: analyze
Fit to window
Zoom out
Zoom in