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 #1218 Make GitHub test config easier to maintain (javiereguiluz)
This PR was merged into the main branch.
Discussion
----------
Make GitHub test config easier to maintain
This nice idea was suggested by `@stof` in #1216 (comment) It's much better. Thanks!
Commits
-------
023273e Make GitHub test config easier to maintain
0 commit comments