PR #1829 update to github workflows

update to github workflows #1829

echarlaix merged 1 commit into main from macos-fix

update to fithug workflows to macos-13

a2e4b045

echarlaix requested a review from

regisss 1 year ago

echarlaix changed the title ~~update to fithug workflows to macos-13~~ update to githug workflows 1 year ago

echarlaix changed the title ~~update to githug workflows~~ update to github workflows 1 year ago

regisss approved these changes on 2024-04-24

echarlaix merged 8180375d into main 1 year ago

echarlaix deleted the macos-fix branch 1 year ago

Reviewers

regisss

Assignees

No one assigned

Labels

None yet

Milestone

No milestone