Skip to content
Run the dev-install script

Merge pull request #3799 from warrickball/patch-1 #864

Sign in to view logs

Merge pull request #3799 from warrickball/patch-1

Merge pull request #3799 from warrickball/patch-1 #864

Triggered via push July 31, 2023 12:09
@martinRenoumartinRenou
pushed 81d25fa
main
Status Success
Total duration 8m 19s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

devinstall.yml

on: push
devinstall
5m 26s
devinstall
Fit to window
Zoom out
Zoom in