Skip to content

fix CI#19

Merged
ramonpetgrave64 merged 9 commits intomasterfrom
ramonpetgrave64-patch-1
Oct 10, 2023
Merged

fix CI#19
ramonpetgrave64 merged 9 commits intomasterfrom
ramonpetgrave64-patch-1

Conversation

@ramonpetgrave64
Copy link
Contributor

@ramonpetgrave64 ramonpetgrave64 commented Oct 9, 2023

@ramonpetgrave64 ramonpetgrave64 changed the title use 22.04 in github workflows fix CI Oct 9, 2023
# License: GNU Library or Lesser General Public License (LGPL)
# Upstream url: http://readthedocs.org/docs/nose
nose==1.3.7
# nose==1.3.7

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

shouldn't we just remove completely instead of commenting?

@ramonpetgrave64 ramonpetgrave64 merged commit b136df7 into master Oct 10, 2023
@ramonpetgrave64 ramonpetgrave64 deleted the ramonpetgrave64-patch-1 branch October 10, 2023 13:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants