Skip to content
Miscellaneous tasks

fix: make ctrl-C work for replays (and perhaps more generally) #70

Sign in to view logs

fix: make ctrl-C work for replays (and perhaps more generally)

fix: make ctrl-C work for replays (and perhaps more generally) #70

Workflow file for this run

.github/workflows/misc.yaml at b714bab
name: Miscellaneous tasks
on:
push:
branches:
- main
pull_request:
permissions: read-all
jobs:
no_changelog_fixme:
name: No FIXMEs in Changelog
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@a5ac7e51b41094c92402da3b24376905380afc29
- run: grep -zqv FIXME CHANGELOG.md