commit | 6e471512b8db76d2cd465577a49e1bab2cb92948 | [log] [tgz] |
---|---|---|
author | Vadim Zeitlin <vz-swig@zeitlins.org> | Mon Aug 09 13:21:13 2021 +0200 |
committer | Vadim Zeitlin <vz-swig@zeitlins.org> | Mon Aug 09 13:21:13 2021 +0200 |
tree | fb881b0e4531c59d241b8987a5b62916240335f2 | |
parent | a2fc5ecaff561b4e3c6c8edc84d46a20eebae731 [diff] | |
parent | d022a1507abfce0458fbfc972a01323cb7d94ea5 [diff] |
Merge branch 'GHA' Add CI GitHub Actions workflow. See #2062.