New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Allow full html-build runs at new endpoint #84

Merged

domenic merged 1 commit into main from full-build

Oct 23, 2023

Member

domenic commented Aug 31, 2023 •

edited

Loading

No description provided.

domenic force-pushed the full-build branch 4 times, most recently from 8c05ac9 to eef7abc Compare

August 31, 2023 08:44

domenic mentioned this pull request

Add a --remote option to run the full build remotely whatwg/html-build#283

Merged


          Add a /html-build endpoint

3f487d1

domenic force-pushed the full-build branch from eef7abc to 3f487d1 Compare

October 23, 2023 05:55

domenic marked this pull request as ready for review

October 23, 2023 05:56

domenic merged commit 93628bb into main

2 checks passed

domenic deleted the full-build branch

October 23, 2023 05:56

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet