search

whatwg / html-build

Build scripts for https://github.com/whatwg/html
Other
62 stars 61 forks source link

Meta: bump wattsi version #217

Closed sideshowbarker closed 4 years ago

domenic commented 4 years ago

Let's wait until all the Wattsi changes have landed?

Still sad that this is necessary...

sideshowbarker commented 4 years ago

Let's wait until all the Wattsi changes have landed?

Yeah, makes sense

Still sad that this is necessary...

yeah, there doesn’t seem to be any clearly good choice as far as how to deal with this

sideshowbarker commented 4 years ago

OK, all wattsi changes that had been in the pipeline are now merged

domenic commented 4 years ago

Given https://github.com/whatwg/wattsi/issues/102 do we also need a Wattsi-side change?

sideshowbarker commented 4 years ago

Given whatwg/wattsi#102 do we also need a Wattsi-side change?

Yeah, I bumped the version in the Wattsi build script too https://github.com/whatwg/wattsi/blob/master/src/build.sh#L24