Skip to content

Add missing Inline and Block AST elements - #102

Open
rnwst wants to merge 1 commit into
jgm:masterfrom
rnwst:master
Open

Add missing Inline and Block AST elements#102
rnwst wants to merge 1 commit into
jgm:masterfrom
rnwst:master

Conversation

@rnwst

@rnwst rnwst commented Oct 1, 2022

Copy link
Copy Markdown

Constructors for Inline and Block elements were missing the LineBlock and Underline elements. The constructors now match with the elements listed at
https://hackage.haskell.org/package/pandoc-types-1.22.2.1/docs/Text-Pandoc-Definition.html.

Constructors for Inline and Block elements were missing the LineBlock
and Underline elements. The constructors now match with the elements
listed at
https://hackage.haskell.org/package/pandoc-types-1.22.2.1/docs/Text-Pandoc-Definition.html.
@jgm

jgm commented Oct 1, 2022

Copy link
Copy Markdown
Owner

Not sure why CI is failing. We can try rerunning later.

@ickc

ickc commented Oct 3, 2022

Copy link
Copy Markdown
Collaborator

The CI has been acting up to me lately.

I am quite busy at the moment so I am sorry I won't have time to look at it soon. I'll come back to this later.

@sergiocorreia

Copy link
Copy Markdown
Contributor

The CI has been acting up to me lately.

I am quite busy at the moment so I am sorry I won't have time to look at it soon. I'll come back to this later.

Possibly related, but I had to tweak the panflute CI code due to a change in how github.com distributes the assets (particularly, pandoc): sergiocorreia/panflute@b1fcddfa

@ickc

ickc commented Oct 3, 2022

Copy link
Copy Markdown
Collaborator

Very likely to be this, it starts acting up around 2 weeks ago.

When I first set up the logic like that, it is pre-github actions era. When I have the time I'd refactor it into a GitHub Action perhaps and so that we can fix any future problems in one single place.

@ickc

ickc commented Oct 3, 2022

Copy link
Copy Markdown
Collaborator

Actually someone already did that: https://github.com/marketplace/actions/setup-pandoc

I'll try to use it in other repositories first and if it works well propagate here.

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.

4 participants