Skip to content

dfa: fix bug in how the reverse DFA is called #1434

dfa: fix bug in how the reverse DFA is called

dfa: fix bug in how the reverse DFA is called #1434

Triggered via pull request March 24, 2023 23:57
Status Success
Total duration 6m 49s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

1 warning
ci
The ubuntu-18.04 environment is deprecated, consider switching to ubuntu-20.04(ubuntu-latest), or ubuntu-22.04 instead. For more details see https://github.com/actions/virtual-environments/issues/6002