Build mashlib gh-pages dist automatically
Closed this issue · 4 comments
michielbdejong commented
The headers from https://solid.github.io/mashlib/dist/mashlib.js show last-modified: Wed, 27 Nov 2019 14:16:36 GMT
We should have it build automatically
michielbdejong commented
Maybe using Travis?
michielbdejong commented
CC @jaxoncreed
timbl commented
Yes, I though we did. I though @RubenVerborgh had put in a CI hook of some sort to do that a long time ago.
This is a mashlib
issue really not mashlib-dev
RubenVerborgh commented
Yes, this commit broke it: d296a44#diff-6ac3f79fc25d95cd1e3d51da53a4b21b939437392578a35ae8cd6d5366ca5485
Let me fix.