#26 Automatic web deployment
Closed: Fixed a year ago by thomzane. Opened 2 years ago by polcak.

We need automatic web deployment. 0.7 was released almost a week ago but we still have no information on https://jshelter.org/versions/


Metadata Update from @polcak:
- Issue assigned to polcak

2 years ago

Metadata Update from @polcak:
- Issue assigned to thomzane (was: polcak)

2 years ago

I can deploy this manually, but after pulling from master I still see 0.6.3 as the newest version in the versions/ page.

The source for this is docs/versions.md which doesn't seem to have 0.7 yet. Should I deploy from a different branch?

Oh my bad, I'm working on multiple machines and forgot to update the refs on this one.

Just deployed from main, can you check?

Looks OK, I guess that \see (#15) is not fixed, yet.

Updated the website-dev branch with this and other outstanding fixes. We've deployed this version to jshelter.org.

At your convenience, it'd be great to know if website-dev merges properly with main, since we integrated a local merge that might mess things up. If this is the case, just let us know and we'll try to rebase or fix it somehow!

Metadata Update from @thomzane:
- Issue close_status updated to: Fixed
- Issue status updated to: Closed (was: Open)

a year ago

Login to comment on this ticket.

Metadata
Attachments 1
Attached a year ago View Comment