language-servers/polarity
1
0
Fork 0
mirror of https://github.com/polarity-lang/polarity.git synced 2025-12-23 09:19:50 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
polarity/scripts
History
Exact
Tim Süberkrüb 86f9994473
Add examples/index.json (#397) 
* Add examples/index.json

* Ensure examples index remains in sync

* Improve script output

* Set permissions in .github/workflows/examples-index.yml
2024-11-29 23:21:03 +01:00
..
git-hooks Add examples/index.json (#397) 2024-11-29 23:21:03 +01:00
check_examples_index.sh Add examples/index.json (#397) 2024-11-29 23:21:03 +01:00