search

github / pages-gem

A simple Ruby Gem to bootstrap dependencies for setting up and maintaining a local Jekyll environment in sync with GitHub Pages
http://pages.github.com
MIT License
1.82k stars 349 forks source link

No syntax highlighting for Dafny #874

Closed fabiomadge closed 6 months ago

fabiomadge commented 1 year ago

This issue affects

The GitHub Pages Gem is intended to help users replicate the GitHub Pages build environment locally. If your issue affects both the hosted version and the version previewed locally, you may be better suited reporting seeking support in other forums.

What did you do (e.g., steps to reproduce)

~~~ dafny
datatype D = A | B
~~~

What did you expect to happen?

I want syntax highlighting for my favourite language.

What happened instead?

No colours

Additional information

I suspect that #871 would fix this.

yoannchaudet commented 6 months ago

Want to check if that works now that Rouge was updated?

fabiomadge commented 6 months ago

Thanks for the effort, but I gave up on waiting a few weeks ago and built a Workflow to gain some autonomy.