3 Commits (b2959c258f89897d27af743d08fb2db1815d3f75)

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