move icon indicating copy to clipboard operation
move copied to clipboard
verified publisher icon diem

[github] Automatically generate the Book #249_144

Open sahithiacn opened this issue 2 years ago • 13 comments

Motivation

  • Adding book generation: Gh-pages is the branch served online. The book is generated and pushed to the gh-pages only when the PR lands to main. For PRs themselves, only plain generation takes place in order to spot errors.

Have you read the Contributing Guidelines on pull requests?

Yes

sahithiacn avatar Mar 13 '23 06:03 sahithiacn

/canary

sahithiacn avatar Mar 13 '23 07:03 sahithiacn

/canary

sahithiacn avatar Mar 13 '23 12:03 sahithiacn

:boom: Tests timed-out

bors-diem avatar Mar 13 '23 14:03 bors-diem

/canary

sahithiacn avatar Mar 16 '23 06:03 sahithiacn

/canary

sahithiacn avatar Mar 16 '23 08:03 sahithiacn

This PR is already being canaried

bors-diem avatar Mar 16 '23 08:03 bors-diem

:boom: Tests timed-out

bors-diem avatar Mar 16 '23 08:03 bors-diem

/canary

sahithiacn avatar Mar 16 '23 15:03 sahithiacn

:boom: Tests timed-out

bors-diem avatar Mar 17 '23 04:03 bors-diem

/canary

sahithiacn avatar Mar 17 '23 06:03 sahithiacn

:boom: Tests timed-out

bors-diem avatar Mar 17 '23 09:03 bors-diem

/canary

sahithiacn avatar May 15 '23 11:05 sahithiacn

:boom: Tests timed-out

borsdiem avatar May 15 '23 12:05 borsdiem