Skip to content

Merge remote-tracking branch 'upstream/alpha' into wca_fluent_interface #404

Merge remote-tracking branch 'upstream/alpha' into wca_fluent_interface

Merge remote-tracking branch 'upstream/alpha' into wca_fluent_interface #404

name : automata_tools
on : push
env :
CARGO_TERM_COLOR : always
jobs :
# automata_tools
test :
uses : Wandalen/wTools/.github/workflows/StandardRustPush.yml@alpha
with :
manifest_path : 'module/move/automata_tools/Cargo.toml'
module_name : 'automata_tools'
commit_message : ${{ github.event.head_commit.message }}