search

tlaplus-community / tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal
MIT License
57 stars 10 forks source link

Add eco tracking to CI #120

Closed ahelwer closed 2 months ago

ahelwer commented 4 months ago

Uses https://github.com/green-coding-solutions/eco-ci-energy-estimation