[ci] Add a formal trace text target#6

drewbabel merged 2 commits into

maindrewbabel/fifo:mainfrom

formal-tracedrewbabel/fifo:formal-traceCopy head branch name to clipboard