Continuous Integration

Merge pull request #1839 from ved-rivos/issue_1838 #2580

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Test Spike build (Ubuntu)	10s
Test Spike build (MacOS)	11s
	21s