You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
For the record, Windows was working previously with AppVeyor, and it was our 32-bit build, and it did flush out issues as noted. That said my AppVeyor setup broke a while back and I haven't fixed it.
I think we should investigate moving to GitHub Actions for these CI workflows, honestly. Not only is the integration far better, but we can provision a quick ARM machine from some vendor like Scaleway perhaps and use that with a self-hosted runner, hooked up to GitHub.
*** Failed! Exception: 'toFlatTerm: encodePreEncoded used with invalid CBOR: DeserialiseFailure 0 "expected tag"' (after 46 tests and 46 shrinks):
[(TTagged 4294967296 (TStringI ""),True)]
Use --quickcheck-replay=6625 to reproduce.
1 out of 262 tests failed (1.24s)
Test suite tests: FAIL
Test suite logged to: dist/test/cborg-0.2.2.1-tests.log
We'd ideally like to extend CI to cover configurations:
integer-simple
rather thaninteger-gmp
We can only really ensure issues like #193 do not come back if we have CI covering them.
The text was updated successfully, but these errors were encountered: