Update docker scripts under Windows #15
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Build the Pico Assembly | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| branches: | |
| - main | |
| workflow_dispatch: | |
| jobs: | |
| compile_job: | |
| name: build_pico_assembly | |
| runs-on: ubuntu-latest | |
| container: | |
| image: ghcr.io/lasp/adamant:example-latest | |
| env: | |
| INSTALL_DIR: /home/user/env | |
| EXAMPLE_DIR: ${{ github.workspace }}/adamant_example | |
| ADAMANT_DIR: ${{ github.workspace }}/adamant | |
| steps: | |
| - run: echo "Starting job triggered by a ${{ github.event_name }} event on a ${{ runner.os }} server hosted by GitHub." | |
| - run: echo "Checking out ${{ github.repository }} on branch ${{ github.ref }}." | |
| - name: Check out repository code | |
| uses: actions/checkout@v3 | |
| with: | |
| set-safe-directory: true | |
| path: adamant_example | |
| - name: Clone adamant repository | |
| uses: actions/checkout@v3 | |
| with: | |
| set-safe-directory: true | |
| repository: lasp/adamant | |
| path: adamant | |
| - name: Get Adamant alire dependencies | |
| run: alr -n build --release && alr -n toolchain --select gnat_native && alr -n toolchain --select gprbuild | |
| working-directory: ${{ env.ADAMANT_DIR }} | |
| - name: Get example alire dependencies | |
| run: alr -n build --release | |
| working-directory: ${{ env.EXAMPLE_DIR }} | |
| - name: Build the Pico binary | |
| run: bash adamant_example/docker/env/github_run.sh "redo adamant_example/src/assembly/pico/main/build/bin/Pico/main.uf2" | |
| - name: Archive Pico binary | |
| uses: actions/upload-artifact@v3 | |
| with: | |
| name: pico_elf | |
| path: | | |
| adamant_example/src/assembly/pico/main/build/bin/Pico/main.elf | |
| adamant_example/src/assembly/pico/main/build/bin/Pico/main.uf2 | |
| if-no-files-found: error | |
| - run: echo "Finished with status - ${{ job.status }}." |