diff --git a/.github/workflows/build_conda.yml b/.github/workflows/build_conda.yml new file mode 100644 index 0000000..07e0453 --- /dev/null +++ b/.github/workflows/build_conda.yml @@ -0,0 +1,25 @@ +on: + push: + branches: + - master + pull_request: + branches: + - master +jobs: + build: + runs-on: ${{ matrix.os }} + strategy: + max-parallel: 3 + matrix: + os: [ubuntu-latest, macos-latest, windows-latest] + + steps: + - uses: actions/checkout@v3 + + - name: build conda environments + uses: mamba-org/provision-with-micromamba@main + with: + environment-file: binder/environment.yml + environment-name: test-build + cache-env: true + diff --git a/.github/workflows/build_docker.yml b/.github/workflows/build_docker.yml new file mode 100644 index 0000000..7c5d8d3 --- /dev/null +++ b/.github/workflows/build_docker.yml @@ -0,0 +1,18 @@ +on: + push: + branches: + - master + pull_request: + branches: + - master +jobs: + build: + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v3 + + - name: build docker image + uses: jupyterhub/repo2docker-action@master + with: + NO_PUSH: 'true' diff --git a/.github/workflows/comment_binderlink.yml b/.github/workflows/comment_binderlink.yml new file mode 100644 index 0000000..fbce79a --- /dev/null +++ b/.github/workflows/comment_binderlink.yml @@ -0,0 +1,28 @@ +on: + pull_request: + types: [opened, reopened] + branches: + - master +jobs: + comment-binderlink: + permissions: write-all + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v3 + + - name: comment on PR with Binder link + uses: actions/github-script@v6 + with: + github-token: ${{secrets.GITHUB_TOKEN}} + script: | + var BRANCH_NAME = process.env.BRANCH_NAME; + await github.rest.issues.createComment({ + issue_number: context.issue.number, + owner: context.repo.owner, + repo: context.repo.repo, + body: `[![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/${context.repo.owner}/${context.repo.repo}/${BRANCH_NAME}) :point_left: Launch a binder notebook on this branch` + }) + env: + BRANCH_NAME: ${{ github.event.pull_request.head.ref }} +