Skip to content
Open PR to merge dev into production

Merge pull request #1517 from starknet-io/enhancement/update-jobs-page #478

Sign in to view logs

Merge pull request #1517 from starknet-io/enhancement/update-jobs-page

Merge pull request #1517 from starknet-io/enhancement/update-jobs-page #478

Triggered via push October 20, 2023 09:10
@rafaelcruzazevedorafaelcruzazevedo
pushed 2db5193
dev
Status Success
Total duration 42s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pr-dev-to-production.yml

on: push
pull-request
33s
pull-request
Fit to window
Zoom out
Zoom in