Skip to content

Improve startup time of workers #16

Improve startup time of workers

Improve startup time of workers #16

Workflow file for this run

name: Add Issues to General Project
on:
issues:
types:
- opened
jobs:
add-to-project:
runs-on: ubuntu-latest
steps:
- uses: actions/[email protected]
with:
project-url: https://github.com/orgs/Safe-DS/projects/3
github-token: ${{ secrets.ADD_TO_PROJECT_PAT }}