Skip to content

Merge pull request #2723 from jku/badges-badges-badges #3413

Merge pull request #2723 from jku/badges-badges-badges

Merge pull request #2723 from jku/badges-badges-badges #3413

Workflow file for this run

name: CI
on:
push:
branches:
- develop
pull_request:
workflow_dispatch:
permissions: {}
jobs:
test:
uses: ./.github/workflows/_test.yml
test-with-sslib-main:
uses: ./.github/workflows/_test_sslib_main.yml