diff --git a/.github/workflows/build_systems.yml b/.github/workflows/build_systems.yml index 71cedf1..8feff62 100644 --- a/.github/workflows/build_systems.yml +++ b/.github/workflows/build_systems.yml @@ -18,6 +18,7 @@ jobs: - "brain" - "jeeves" - "rhapsody-in-green" + - "portal-1" continue-on-error: true steps: - uses: actions/checkout@v4