Skip to content

[asl][ci] Build HTML version of the ASL Reference in CI#1874

Merged
hrutvik merged 2 commits into
herd:masterfrom
hrutvik:asl-html-ci
Jun 23, 2026
Merged

[asl][ci] Build HTML version of the ASL Reference in CI#1874
hrutvik merged 2 commits into
herd:masterfrom
hrutvik:asl-html-ci

Conversation

@hrutvik

@hrutvik hrutvik commented Jun 19, 2026

Copy link
Copy Markdown
Collaborator

As part of the ASL Reference CI run, also build the HTML version and upload as an artifact.

Also merge asllib/doc/zyva.sh into asllib/doc/Makefile.

@hrutvik hrutvik force-pushed the asl-html-ci branch 2 times, most recently from b8509f4 to 4c8f44f Compare June 22, 2026 13:47
@hrutvik hrutvik marked this pull request as ready for review June 22, 2026 14:19

@HadrienRenaud HadrienRenaud left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I've got a lot of questions sorry

Comment thread .github/workflows/build-asl-reference.yml Outdated
Comment thread .github/workflows/build-asl-reference.yml Outdated
Comment thread .github/workflows/build-asl-reference.yml Outdated
Comment thread .github/workflows/build-asl-reference.yml Outdated
Comment thread asllib/doc/Makefile Outdated
@hrutvik hrutvik force-pushed the asl-html-ci branch 4 times, most recently from 5ba76d8 to 57b1dbf Compare June 22, 2026 16:04

@HadrienRenaud HadrienRenaud left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Comment thread .github/workflows/build-asl-reference.yml Outdated
@hrutvik hrutvik changed the title [asl][ci] Try to build HTML version of the ASL Reference in CI [asl][ci] Build HTML version of the ASL Reference in CI Jun 23, 2026
@hrutvik hrutvik merged commit 161ed8e into herd:master Jun 23, 2026
5 checks passed
@hrutvik hrutvik deleted the asl-html-ci branch June 23, 2026 10:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants