Skip to content

fix: event_id_counter not being used in subscribe_to_system_event() #27

fix: event_id_counter not being used in subscribe_to_system_event()

fix: event_id_counter not being used in subscribe_to_system_event() #27

Workflow file for this run

on: [pull_request]
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- run: |
docker run --rm -v "$(pwd)":/external ghcr.io/flybywiresim/dev-env:latest scripts/ci.sh