Skip to content

Push images to GitHub Container Registry in addition to DockerHub #87

Push images to GitHub Container Registry in addition to DockerHub

Push images to GitHub Container Registry in addition to DockerHub #87

Workflow file for this run

name: PR
on: pull_request
concurrency:
group: pr-${{ github.ref }}
cancel-in-progress: true
jobs:
superlinter:
name: Lint bash, docker, markdown, and yaml
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Lint codebase
uses: docker://github/super-linter:v3.8.3
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
VALIDATE_ALL_CODEBASE: true
VALIDATE_BASH: true
VALIDATE_DOCKERFILE: true
VALIDATE_MD: true
VALIDATE_YAML: true
validate-docker-image-builds:
name: Validate Docker image builds
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Docker build
run: "docker build --pull ."
verify-changelog:
name: Verify CHANGELOG is valid
runs-on: ubuntu-latest
container:
image: ponylang/changelog-tool:release
steps:
- uses: actions/checkout@v3
- name: Verify CHANGELOG
run: changelog-tool verify
vs-ponyc-release:
name: Verify PR builds most recent ponyc release
runs-on: ubuntu-latest
container:
image: ponylang/shared-docker-ci-x86-64-unknown-linux-builder:release
steps:
- uses: actions/checkout@v3
- name: Test with most recent ponyc release
run: make test