CI

Merge pull request #37 from jctoledo/update-jsonld-metadata #159

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Python Lint	12s
Format Check	6s
Check Compilation	3m 46s
Build Firmware	3m 55s
Clippy	3m 42s
	11m 41s