Skip to content

Dev trigger - #93

Merged
ludovicomori merged 4 commits into
mainfrom
dev-trigger
Jun 24, 2026
Merged

Dev trigger#93
ludovicomori merged 4 commits into
mainfrom
dev-trigger

Conversation

@ludovicomori

Copy link
Copy Markdown
Collaborator

Various updates related to trigger

  • added 2024 trigger study
  • tightened trigger menus and introduced new logic for it
  • other minor issues

ludovicomori and others added 3 commits May 27, 2026 11:12
Merge pull request #90 from LPC-HH/dev-bdt
…ue to enhanced trigger study; tested backward-compatibility

@billy000400 billy000400 left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice HLT dev! Looking good to me

@billy000400

Copy link
Copy Markdown
Collaborator

After merging Jin's PR first, there are some conflicts to be resolved

@ludovicomori
ludovicomori merged commit 2b7cb04 into main Jun 24, 2026
2 checks passed
@ludovicomori
ludovicomori deleted the dev-trigger branch June 24, 2026 22:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants