Commit Graph

2 Commits

Author SHA1 Message Date
Jean-Paul Calderone
21af00bf83 Report the CIRCLE_PR_REPONAME too, because who knows 2022-12-21 06:27:41 -05:00
Jean-Paul Calderone
78e04cc821 Modernize cachix usage; attempt to fix CircleCI conditional
CIRCLE_PR_NUMBER documentation may just be wrong.  It seems like maybe it is
never set?

Try inspecting the source repo value instead.
2022-12-21 06:25:22 -05:00