Add onpush int-* github action#75

gagbo wants to merge 2 commits intoLedgerHQ:masterLedgerHQ/lib-ledger-core-node-bindings:masterfrom

gagbo:coin-int-specific-CIgagbo/lib-ledger-core-node-bindings:coin-int-specific-CICopy head branch name to clipboard