Skip to content

Bug Fix for #418 - Graph<T>::removeNode has potential to throw due to optional being accessed early #417

Bug Fix for #418 - Graph<T>::removeNode has potential to throw due to optional being accessed early

Bug Fix for #418 - Graph<T>::removeNode has potential to throw due to optional being accessed early #417

Workflow file for this run

# This workflow will triage pull requests and apply a label based on the
# paths that are modified in the pull request.
#
# To use this workflow, you will need to set up a .github/labeler.yml
# file with configuration. For more information, see:
# https://github.com/actions/labeler
name: "Labeler"
on:
- pull_request_target
jobs:
triage:
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@v5
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"