1. 05 Sep, 2020 4 commits
  2. 30 Aug, 2020 2 commits
  3. 29 Aug, 2020 1 commit
  4. 28 Aug, 2020 4 commits
  5. 27 Aug, 2020 10 commits
  6. 26 Aug, 2020 2 commits
  7. 28 Mar, 2020 1 commit
  8. 25 Mar, 2020 2 commits
  9. 22 Mar, 2020 1 commit
  10. 17 Mar, 2020 2 commits
  11. 08 Mar, 2020 2 commits
    • Raymond Toy's avatar
      Merge branch 'rtoy-add-emarsden-contribs' into 'master' · d5853cfb
      Raymond Toy authored
      Fix #81: Add contribs written by Eric Marsden
      
      Closes #81, #80, and #79
      
      See merge request !48
      d5853cfb
    • Raymond Toy's avatar
      Add utilities by Eric Marsden to contribs · 84fd9509
      Raymond Toy authored
      Eric Marsden wrote some useful utilities long ago.  Let's add them to
      the contrib directory so that we have our own copy of them instead of
      depending on emarsden.chez.com/downloads.
      
      We're adding:
      * cpc - CPU Performance Counters for Solaris
      * ssl-cmucl - interface to SSL streams
      * tcp-forwarder - TCP forwarder to redirect TCP connections to another
        port on another machine
      * xml-rpc - Port of Chris Double's xml-rpc client to Cmucl
      84fd9509
  12. 18 Feb, 2020 5 commits
  13. 17 Feb, 2020 1 commit
  14. 16 Feb, 2020 1 commit
  15. 12 Aug, 2019 1 commit
    • Raymond Toy's avatar
      Clean up for fedora shell runner · 04d5d03f
      Raymond Toy authored
      We're not using the fedora docker anymore (because I can't get it to
      work anymore and don't remember how I got it to work to begin with).
      Thus, use the fedora shell executor to run CI so we don't need the
      image or to wget lots of stuff because it's already installed.
      04d5d03f
  16. 29 May, 2019 1 commit