Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

GitHub actions: except it doesn't work #218

Draft
wants to merge 5 commits into
base: main
Choose a base branch
from

Commits on Feb 8, 2024

  1. Configuration menu
    Copy the full SHA
    b03b483 View commit details
    Browse the repository at this point in the history
  2. GitHub Actions: use v4 checkout

    the v3 one is too old a node
    rjbs committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    03b30e1 View commit details
    Browse the repository at this point in the history
  3. dist.ini: fix it to work on GitHub Actions

    1. add Rights information so license can be built
    2. add Makefile.PL before META tries to read from it
    
    I think only fastmail#1 is needed, and that fastmail#2 was only a problem because fastmail#1 had
    not been fixed.  But it works now, so not undoing any time soon.
    rjbs committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    c012656 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    a4c1678 View commit details
    Browse the repository at this point in the history
  5. EmptyPort: isolate our own version of EmptyPort

    so we can try seeing if it is the problem
    rjbs committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    ee5d0f8 View commit details
    Browse the repository at this point in the history