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/.github/workflows
History
Exact
Tim Süberkrüb 54e1ee766b
Fix web demo deployment (#592)
2025-11-06 12:04:55 +00:00
..
ci.yml Refactor web editor (#588) 2025-11-03 11:44:41 +00:00
coverage.yml Codecov should not block PRs 2024-11-19 17:17:03 +01:00
deploy.yml Fix web demo deployment (#592) 2025-11-06 12:04:55 +00:00
examples-index.yml Add examples/index.json (#397) 2024-11-29 23:21:03 +01:00
lint.yml Generate html (#410) 2024-12-11 16:52:28 +01:00
nix.yml Fix nix build and evaluate nix on all branches (#463) 2025-01-23 12:55:27 +01:00