858c737920743fd5073f2dc17365cbb34fb9f160
88%

Ran 25 Apr 2026 02:43PM UTC

Jobs 1

Files 23

Run time 1min

Badge

Embed ▾

Committed 25 Apr 2026 02:42PM UTC coverage: 88.034% (-0.3%) from 88.333%

Build # 858c737920743fd5073f2dc17365cbb34fb9f160

Build Type

push

github

Committed by

web-flow

Commit Message

Decoupling state attrs (#1)

* Put final states in meta

* Update dot generation for initial/final states

* Add multi-initial state check for deteminism and nfa->dfa converter

* Add more test cases

* Update changelog with FSM state updates

* Add livebook for FSM exploration

Coverage Stats

66 of 76 new or added lines in 3 files covered. (86.84%)

1258 of 1429 relevant lines covered (88.03%)

13.54 hits per line

Uncovered Changes

Lines	Coverage	∆	File
6	86.27	-11.34%	lib/choreo/fsm.ex
4	96.15	-2.77%	lib/choreo/fsm/analysis.ex

Jobs

ID	Job ID	Ran	Files	Coverage
1	858c737920743fd5073f2dc17365cbb34fb9f160.1	25 Apr 2026 02:43PM UTC	23	88.03	GitHub Action Run

code-shoily / choreo / 858c737920743fd5073f2dc17365cbb34fb9f160
88%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Jobs

Source Files on build 858c737920743fd5073f2dc17365cbb34fb9f160

code-shoily / choreo / 858c737920743fd5073f2dc17365cbb34fb9f160 88%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Uncovered Changes

Jobs

Source Files on build 858c737920743fd5073f2dc17365cbb34fb9f160

code-shoily / choreo / 858c737920743fd5073f2dc17365cbb34fb9f160
88%

README BADGES
x