mirror of
https://github.com/polarity-lang/polarity.git
synced 2025-07-12 07:25:05 +00:00
86f9994473
* Add examples/index.json * Ensure examples index remains in sync * Improve script output * Set permissions in .github/workflows/examples-index.yml |
||
|---|---|---|
| .. | ||
| pre-commit | ||