3 Commits (7aeeb49153b0aba1539339decfa597bcc8e382fe)

Author SHA1 Message Date
  Thomas B 65fba0b75c update deprecated github workflow versions 4 months ago
  Thomas B 059b9bd7c5 properly use base_url macro and set it for github mirror 10 months ago
  Thomas B e43252e796 try to build and publish with github pages 10 months ago