Revert "Temporarily disable examples/struct in CI"
Revert "Temporarily disable examples/struct in CI"

This reverts commit 7829f1f4aa590741fdc85a34fb290f53a6c3e02b.

FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar