Closed tylerhanks closed 1 year ago
We should just merge the analogous PR on AP first. It has been autofilled by compat helper bot.
Not sure why all the CI tests are failing; they passed on my machine
A new release of AlgPetri has been tagged. Also, Catlab reexports ACSets, so you can even omit importing that!
@mehalter, would you mind updating this PR to add the organization-level CI to this repo?
Yeah definitely, I can do this first thing in the morning @epatters
Thanks Micah!
:exclamation: No coverage uploaded for pull request base (
master@db1daa5
). Click here to learn what that means. Patch has no changes to coverable lines.
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.
@epatters @tylerhanks I added a commit here to move to the organization level github actions and it all looks good to go 🥳
Can I go ahead and merge this? @epatters @jpfairbanks
This relies on the Catlab v0.15 release and also now depends ACSets. This PR probably shouldn't be merged until AlgPetri compat is bumped to Catlab v0.15 as well. Until then, I just commented out the tests that depend on AlgPetri.