You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
minor #722 Use GithubActions instead of Travis-CI (OskarStark)
This PR was squashed before being merged into the 1.9-dev branch.
Discussion
----------
Use GithubActions instead of Travis-CI
You can see the first run here: OskarStark#1ClosesOskarStark#1
Commits
-------
1c2cc17 Use GithubActions instead of Travis-CI
0 commit comments