search

luc-tielen / lua-quickcheck

Property based testing in Lua, inspired by the original QuickCheck.
MIT License
37 stars 1 forks source link

Look into different CI setup #22

Closed luc-tielen closed 3 years ago

luc-tielen commented 5 years ago

Travis times out a lot lately for some of the fsm properties if they don't generate any output.

Maybe consider other CIs (Circle CI, ...?) or add a workaround script that outputs a character every minute or so..?

ligurio commented 3 years ago

I think Github Actions will be more than enough here. What do you think?

luc-tielen commented 3 years ago

I think so too, I don't think github actions already existed (or were mature enough) when I created this issue.

If you want, you could create a PR 😄 but there's not many changes nowadays so it's not super critical.

ligurio commented 3 years ago

If you want, you could create a PR smile but there's not many changes nowadays so it's not super critical.

https://github.com/luc-tielen/lua-quickcheck/pull/27

luc-tielen commented 3 years ago

That was fast 😲 . I will look into your changes later. Thanks!