Skip to content

Remove grib_file from file_pool if no more grib_index holds it #130

Remove grib_file from file_pool if no more grib_index holds it

Remove grib_file from file_pool if no more grib_index holds it #130

Workflow file for this run

name: Notify new PR
on:
pull_request_target:
types:
- "opened"
jobs:
notify:
runs-on: ubuntu-latest
steps:
- name: Notify new PR
uses: ecmwf-actions/notify-teams-pr@v1
with:
incoming_webhook: ${{ secrets.MS_TEAMS_INCOMING_WEBHOOK }}