Skip to content

refactor usage of manual seed (#2007) #17

refactor usage of manual seed (#2007)

refactor usage of manual seed (#2007) #17

Workflow file for this run

name: CI Docker
on: # Trigger the workflow on push or pull request, but only for the master branch
push:
branches: [master]
pull_request:
branches: [master]
paths:
- "requirements/*"
- ".devcontainer/*"
- "environment.yml"
- "requirements.txt"
- ".github/workflows/*docker*.yml"
- "setup.py"
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.head_ref }}
cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
jobs:
build-PL:
runs-on: ubuntu-20.04
strategy:
fail-fast: false
matrix:
python_version: ["3.9"]
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Build Devcontainer Docker
# publish master/release
uses: docker/build-push-action@v4
with:
build-args: |
VARIANT=${{ matrix.python_version }}
file: .devcontainer/Dockerfile
push: false
timeout-minutes: 50