language-servers/polarity
1
0
Fork 0
mirror of https://github.com/polarity-lang/polarity.git synced 2025-07-07 13:05:03 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 5
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