Back to pull request #221

Do not use legacy Makefile as it was removed #481

Sign in to view logs

Summary
Jobs
- generate-ci
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
generate-ci	1m 33s
	1m 33s