This repository has been archived by the owner on Oct 30, 2023. It is now read-only.
Assertion model and extraction of assertion details #57
Workflow file for this run
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
| # This workflow will build and push a Docker container to an Azure Web App when a commit is pushed to your default branch. | |
| # | |
| # This workflow assumes you have already created the target Azure App Service web app. | |
| # For instructions see https://docs.microsoft.com/en-us/azure/app-service/quickstart-custom-container?tabs=dotnet&pivots=container-linux | |
| # | |
| # To configure this workflow: | |
| # | |
| # 1. Download the Publish Profile for your Azure Web App. You can download this file from the Overview page of your Web App in the Azure Portal. | |
| # For more information: https://docs.microsoft.com/en-us/azure/app-service/deploy-github-actions?tabs=applevel#generate-deployment-credentials | |
| # | |
| # 2. Create a secret in your repository named AZURE_WEBAPP_PUBLISH_PROFILE, paste the publish profile contents as the value of the secret. | |
| # For instructions on obtaining the publish profile see: https://docs.microsoft.com/azure/app-service/deploy-github-actions#configure-the-github-secret | |
| # | |
| # 3. Create a GitHub Personal access token with "repo" and "read:packages" permissions. | |
| # | |
| # 4. Create three app settings on your Azure Web app: | |
| # DOCKER_REGISTRY_SERVER_URL: Set this to "https://ghcr.io" | |
| # DOCKER_REGISTRY_SERVER_USERNAME: Set this to the GitHub username or organization that owns the repository | |
| # DOCKER_REGISTRY_SERVER_PASSWORD: Set this to the value of your PAT token from the previous step | |
| # | |
| # 5. Change the value for the AZURE_WEBAPP_NAME. | |
| # | |
| # For more information on GitHub Actions for Azure: https://github.com/Azure/Actions | |
| # For more information on the Azure Web Apps Deploy action: https://github.com/Azure/webapps-deploy | |
| # For more samples to get started with GitHub Action workflows to deploy to Azure: https://github.com/Azure/actions-workflow-samples | |
| name: Build, Test, and Deploy to GHCR | |
| env: | |
| # AZURE_WEBAPP_NAME: omega-triageportal-dev1 # set this to the name of your Azure Web App | |
| REGISTRY: ghcr.io | |
| IMAGE_NAME: ${{ github.repository }} | |
| TAG: python | |
| VERSION: v0.1 | |
| on: | |
| push: | |
| branches: [ main ] | |
| pull_request: | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| jobs: | |
| build-dev: | |
| runs-on: ubuntu-latest | |
| environment: dev | |
| permissions: | |
| contents: read | |
| packages: write | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Set up QEMU | |
| id: docker-qemu | |
| uses: docker/setup-qemu-action@v2 | |
| - name: Set up Docker Buildx | |
| uses: docker/setup-buildx-action@v2 | |
| with: | |
| version: latest | |
| - name: Log in to the Container registry | |
| uses: docker/login-action@v2 | |
| with: | |
| registry: ${{ env.REGISTRY }} | |
| username: ${{ github.actor }} | |
| password: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Build and export to Docker | |
| uses: docker/build-push-action@v4 | |
| with: | |
| context: ./src | |
| load: true | |
| tags: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}:test | |
| - name: Push container image to registry | |
| uses: docker/build-push-action@v4 | |
| with: | |
| push: ${{ github.event_name != 'pull_request' }} | |
| tags: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }} | |
| context: ./src | |
| platforms: linux/amd64,linux/arm64 | |
| cache-from: type=gha | |
| cache-to: type=gha,mode=max | |
| # deploy-dev: | |
| # permissions: | |
| # contents: none | |
| # runs-on: ubuntu-latest | |
| # needs: build-dev | |
| # environment: | |
| # name: 'Development' | |
| # url: ${{ steps.deploy-to-webapp.outputs.webapp-url }} | |
| # | |
| # steps: | |
| # - name: Deploy Dev to Azure Web App | |
| # run: | | |
| # echo "REPO=${GITHUB_REPOSITORY,,}" >>${GITHUB_ENV} | |
| # | |
| # - name: Deploy to Azure Web App | |
| # id: deploy-to-webapp | |
| # uses: azure/webapps-deploy@v2 | |
| # with: | |
| # app-name: ${{ env.AZURE_WEBAPP_NAME }} | |
| # publish-profile: ${{ secrets.AZURE_WEBAPP_PUBLISH_PROFILE }} | |
| # images: 'ghcr.io/${{ env.REPO }}:${{ github.sha }}' |