Skip to content

Merge pull request #76 from LedgerHQ/dev-tools-update #150

Merge pull request #76 from LedgerHQ/dev-tools-update

Merge pull request #76 from LedgerHQ/dev-tools-update #150

Triggered via push July 21, 2023 16:26
Status Success
Total duration 7m 13s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

publish.yml

on: push
Check changelog versions
7s
Check changelog versions
Get modified files
7s
Get modified files
App Builder Lite
0s
App Builder Lite
App Builder
0s
App Builder
App Builder Legacy
0s
App Builder Legacy
App Developer Tools
6m 50s
App Developer Tools
Fit to window
Zoom out
Zoom in