main #1

Merged
neemek merged 10 commits from main into types 2025-09-16 17:41:16 +00:00
Showing only changes of commit 8941d82390 - Show all commits

View file

@ -2,7 +2,7 @@ on: [ push ]
jobs:
test:
runs-on: ubuntu-latest
runs-on: docker
steps:
- name: Checkout Code
uses: actions/checkout@v4