Closed SeanCurtis-TRI closed 1 year ago
As travis-ci is no more, we're moving to github actions. The change of platform has led to the following changes in CI:
This change is
As travis-ci is no more, we're moving to github actions. The change of platform has led to the following changes in CI:
This change is