1. Dec 03, 2021
  2. Dec 01, 2021
  3. Nov 30, 2021
  4. Nov 25, 2021
  5. Nov 24, 2021
  6. Nov 23, 2021
  7. Nov 16, 2021
  8. Nov 13, 2021
  9. Nov 12, 2021
  10. Nov 10, 2021
  11. Nov 06, 2021
  12. Oct 29, 2021
  13. Oct 23, 2021
  14. Oct 22, 2021
  15. Oct 14, 2021
  16. Oct 08, 2021
    • Stephano Cetola's avatar
      Merge pull request #10 from jscheid-ventana/jscheid/add-workflow · e59ba300
      Stephano Cetola authored
      Enable GitHub actions to generate PDF
      e59ba300
    • 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
  17. Oct 06, 2021
  18. Oct 01, 2021
  19. Sep 14, 2021
  20. Sep 10, 2021
  21. Aug 20, 2021
  22. Aug 18, 2021