Skip to content

refactor: make FirstOfTactic derive Tactic #326

refactor: make FirstOfTactic derive Tactic

refactor: make FirstOfTactic derive Tactic #326

This job succeeded