Skip to content

Add WebSocket server library #6

Add WebSocket server library

Add WebSocket server library #6

Workflow file for this run

name: PR
on: pull_request
concurrency:
group: pr-${{ github.ref }}
cancel-in-progress: true
permissions:
packages: read
jobs:
superlinter:
name: Lint bash, docker, markdown, and yaml
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4.1.1
- 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
verify-changelog:
name: Verify CHANGELOG is valid
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4.1.1
- name: Verify CHANGELOG
uses: docker://ghcr.io/ponylang/changelog-tool:release
with:
args: changelog-tool verify
vs-ponyc-release:
name: Test against recent ponyc release
runs-on: ubuntu-latest
container:
image: ghcr.io/ponylang/shared-docker-ci-standard-builder-with-libressl-4.2.0:release
steps:
- uses: actions/checkout@v4.1.1
- name: Test
run: make test ssl=libressl config=debug