Skip to content

[ DO NOT MERGE ]Update download locations to outside repository content #130

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 2 commits into
base: main
Choose a base branch
from
Open

[ DO NOT MERGE ]Update download locations to outside repository content #130

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
905091a
Update download folder for download commands
kar-rahul-aws May 26, 2025
6d9453e
Add MD5 checksum validation
kar-rahul-aws Jun 4, 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
16 changes: 13 additions & 3 deletions doxygen-generation/action.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -40,10 +40,20 @@ runs:
- name: Install Doxygen
shell: bash
run: |
wget -O doxygen.tgz "${{ inputs.doxygen_link }}"
wget -O "$HOME/doxygen.tgz" "${{ inputs.doxygen_link }}"
if [ $? -ne 0 ]; then exit 1; fi
sudo tar --strip-components=1 -xzf doxygen.tgz -C /usr/local
sudo apt-get install -y ${{ inputs.doxygen_dependencies }}

EXPECTED_MD5="b6193a16bc5128597f5affd878dbd7b7"
GENERATED_MD5=$(md5sum "$HOME/doxygen.tgz" | awk '{print $1}')

if [ "$GENERATED_MD5" = "$EXPECTED_MD5" ]; then
sudo tar --strip-components=1 -xzf "$HOME/doxygen.tgz" -C /usr/local
sudo apt-get install -y ${{ inputs.doxygen_dependencies }}
else
echo -e "${{ env.bashFail }} MD5 checksum verification failed for doxygen.tgz ${{ env.bashEnd }}"
echo -e "${{ env.bashFail }} ${{ env.stepName }} ${{ env.bashEnd }}"
exit -1
fi

- name: Generate doxygen
working-directory: ./doxygen_source
Expand Down
12 changes: 0 additions & 12 deletions link-verifier/action.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -49,18 +49,6 @@ runs:
# ${{ env.stepName }}
echo -e "::group::${{ env.bashInfo }} ${{ env.stepName }} ${{ env.bashEnd }}"

wget https://github.com/jgm/pandoc/releases/download/2.11/pandoc-2.11-1-amd64.deb -O pandoc.deb
sudo dpkg -i pandoc.deb

rm pandoc.deb
sudo apt install debsums

sudo debsums pandoc
sudo type -p curl >/dev/null || sudo apt install curl -y
curl -fsSL https://cli.github.com/packages/githubcli-archive-keyring.gpg | sudo dd of=/usr/share/keyrings/githubcli-archive-keyring.gpg
sudo chmod go+r /usr/share/keyrings/githubcli-archive-keyring.gpg
echo "deb [arch=$(dpkg --print-architecture) signed-by=/usr/share/keyrings/githubcli-archive-keyring.gpg] https://cli.github.com/packages stable main" | sudo tee /etc/apt/sources.list.d/github-cli.list > /dev/null

sudo apt update
sudo apt install -y gh
sudo apt install pandoc -y
Expand Down
6 changes: 3 additions & 3 deletions set_up_cbmc_runner/action.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -67,10 +67,10 @@ runs:
run: |
# ${{ env.stepName }}
echo -e "::group::${{ env.bashInfo }} ${{ env.stepName }} ${{ env.bashEnd }}"
curl -o cbmc.deb -L \
curl -o "$HOME/cbmc.deb" -L \
https://github.com/diffblue/cbmc/releases/download/cbmc-${{ inputs.cbmc_version }}/ubuntu-20.04-cbmc-${{ inputs.cbmc_version }}-Linux.deb
sudo dpkg -i ./cbmc.deb
rm ./cbmc.deb
sudo dpkg -i "$HOME/cbmc.deb"
rm "$HOME/cbmc.deb"
echo -e "::endgroup::"
echo -e "${{ env.bashPass }} ${{ env.stepName }} ${{ env.bashEnd }}"

Expand Down
Loading