Skip to content
Docker build

Use REST APIs to resolve DOIs + cleanup dataverse provider #1183

Sign in to view logs

Use REST APIs to resolve DOIs + cleanup dataverse provider

Use REST APIs to resolve DOIs + cleanup dataverse provider #1183

Workflow file for this run

.github/workflows/docker.yml at 1260a5a
# This is a GitHub workflow defining a set of jobs with a set of steps.
# ref: https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions
#
name: Docker build
on:
pull_request:
paths-ignore:
- "docs/**"
- "**.md"
- "**.rst"
- ".github/workflows/*"
- "!.github/workflows/docker.yml"
- ".pre-commit-config.yaml"
push:
paths-ignore:
- "docs/**"
- "**.md"
- "**.rst"
- ".github/workflows/*"
- "!.github/workflows/docker.yml"
- ".pre-commit-config.yaml"
branches-ignore:
- "dependabot/**"
- "pre-commit-ci-update-config"
tags:
- "**"
workflow_dispatch:
jobs:
docker:
runs-on: ubuntu-22.04
steps:
- name: Checkout code
uses: actions/checkout@v4
with:
fetch-depth: 0
# https://github.com/docker/build-push-action
- name: Build Docker image
uses: docker/build-push-action@v6
with:
context: .
tags: jupyter/repo2docker:pr
push: false
- name: Run repo2docker Docker image
run: docker run jupyter/repo2docker:pr repo2docker --version