Closed rustatian closed 4 years ago
Eliminate usage of Travis and other CI systems. Combine all CI in the GitHub actions workflow.
Eliminate usage of Travis and other CI systems. Combine all CI in the GitHub actions workflow.