There's no need to trigger any GitHub actions workflows for changes which only modify .md files in the .agents dir.