1. Oct 08, 2021
    • Josh Scheid's avatar
      Add github workflow to build PDF · da8ca181
      Josh Scheid authored
      Add Makefile to specify actions to take in the environment.
      
      Preserve PDF output as an artifact so that it's available to users.
      
      Environment dependencies are recorded in package-manager-specific files
      in dependencies/.
      
      Work around issue #8.
      
      Future possible enhancements:
        - Add a release workflow.
        - Move to a container for the environment.  This allows the
          environment description to not be local to github actions, usable
          for local development, etc.
      da8ca181
  2. Oct 06, 2021
  3. Oct 01, 2021
  4. Sep 14, 2021
  5. Sep 10, 2021
  6. Aug 20, 2021
  7. Aug 18, 2021
  8. Aug 14, 2021
  9. Aug 13, 2021
  10. Aug 12, 2021
  11. Aug 11, 2021
  12. Aug 10, 2021
  13. Aug 07, 2021
  14. Jul 20, 2021
  15. Jul 03, 2021
  16. Jun 30, 2021
  17. Jun 29, 2021
  18. Jun 27, 2021
  19. Jun 25, 2021
  20. Jun 22, 2021
  21. Jun 21, 2021
  22. Jun 10, 2021
  23. Jun 07, 2021
  24. May 29, 2021
  25. May 18, 2021
  26. May 14, 2021
  27. May 12, 2021
  28. May 07, 2021
  29. May 04, 2021
  30. Apr 24, 2021