Skip to content

Merge pull request #683 from frederik-uni/main #302

Merge pull request #683 from frederik-uni/main

Merge pull request #683 from frederik-uni/main #302

name: CI
on: [push]
jobs:
# This exists only to show the green checkmark on the repo
# green = "good" || "secure"
action-which-doesnt-do-anything:
runs-on: ubuntu-latest
steps:
- run: echo ""