Skip to content

Merge branch 'feature/repo_updates_via_api' into feature/docker-jupyt… #215

Merge branch 'feature/repo_updates_via_api' into feature/docker-jupyt…

Merge branch 'feature/repo_updates_via_api' into feature/docker-jupyt… #215

name: Docker Image Build Jupyterlab
on:
push:
branches: [ master, dev*, feature/docker*, feature/repo*, jupyterhub-update ]
pull_request:
branches: [ master, dev*, feature/docker*, feature/repo*, jupyterhub-update ]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Build the Docker image
run: |
cd applications/jupyterlab
docker build -t myjlab -f Dockerfile --no-cache .
- name: Info on Docker image sizes
run: |
docker images