0
0
mirror of https://github.com/phpv8/v8js.git synced 2025-01-03 09:21:51 +00:00
Commit Graph

2 Commits

Author SHA1 Message Date
Stefan Siegl
579f9c993f
don't --with-libxml on Jenkins, since it's --enable-libxml on PHP < 7.3 2020-04-03 14:50:49 +02:00
Stefan Siegl
ac784c797a
run sanitize=address build on jenkins 2020-04-03 14:33:23 +02:00