Skip to content

CI test - #1605

Closed
annevk wants to merge 1 commit into
mainfrom
annevk/test
Closed

CI test#1605
annevk wants to merge 1 commit into
mainfrom
annevk/test

Conversation

@annevk

@annevk annevk commented Feb 15, 2023

Copy link
Copy Markdown
Member

@annevk annevk added the do not merge yet Pull request must not be merged per rationale in comment label Feb 15, 2023
@saschanaz

Copy link
Copy Markdown
Member

It seems speced/bikeshed#2471 tracks this.

@annevk

annevk commented Feb 15, 2023

Copy link
Copy Markdown
Member Author

Thanks for finding that! It seems there are some network failures too. I guess we have to wait a bit.

@tabatkins

Copy link
Copy Markdown
Contributor

Should be good now, kick this and verify?

@saschanaz

Copy link
Copy Markdown
Member

Retried in #1593 with no luck 🤔, maybe there's some cache? Could be useful if the deploy script showed the bikeshed version it's using.

@annevk

annevk commented Feb 16, 2023

Copy link
Copy Markdown
Member Author

I still get the same failure.

Note that the deploy script calls api.csswg.org. But I thought that was always pulling in the latest.

@tabatkins

Copy link
Copy Markdown
Contributor

Aaaaaaah, the release I made this morning fails because it is missing some newly-created CSS files from another commit, so it's just dying for an unrelated reason.

I've run into this issue before, so I looked more into it and think I've fixed it permanently. Version 3.11.8 is up and should be good now.

@saschanaz

Copy link
Copy Markdown
Member

CSSWG now has the CSS-faulted version, I guess we should wait a bit more then!

@tabatkins

Copy link
Copy Markdown
Contributor

Yeah, it'll update in a few minutes; I'm not sure if it's got some hook from pypi or just runs on a cron.

@annevk

annevk commented Feb 17, 2023

Copy link
Copy Markdown
Member Author

Well, getting closer but no cigar: speced/bikeshed#2476.

@annevk annevk closed this Mar 20, 2023
@annevk
annevk deleted the annevk/test branch March 20, 2023 13:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

do not merge yet Pull request must not be merged per rationale in comment

Development

Successfully merging this pull request may close these issues.

3 participants