Skip to content

Arm backend: Remove unused github ci git setup #8833

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 4 commits into
base: main
Choose a base branch
from
Open

Arm backend: Remove unused github ci git setup #8833

Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
f8dbdae
Arm backend: Remove unused github ci git setup
zingo Feb 27, 2025
f59ec16
Update setup-arm-baremetal-tools.sh
zingo Mar 28, 2025
7df3527
Update setup-arm-baremetal-tools.sh
zingo Apr 3, 2025
5bad5a5
Merge branch 'main' into Arm-backend-Remove-unused-github-ci-git-setup
zingo Apr 29, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 2 additions & 3 deletions .ci/scripts/setup-arm-baremetal-tools.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,11 +1,10 @@
#!/bin/bash
# Copyright 2024 Arm Limited and/or its affiliates.
# Copyright 2024-2025 Arm Limited and/or its affiliates.
#
# This source code is licensed under the BSD-style license found in the
# LICENSE file in the root directory of this source tree.

# NB: This function could be used to install Arm dependencies
# Setup arm example environment (including TOSA tools)
git config --global user.email "[email protected]"
git config --global user.name "Github Executorch"

bash examples/arm/setup.sh --i-agree-to-the-contained-eula
Loading