accelerate
Fix old naming in ci
#727
Merged
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
1
Changes
View On
GitHub
Fix old naming in ci
#727
muellerzr
merged 1 commit into
main
from
bugfix-ci
Fix old naming
02227158
muellerzr
merged
f3c39b4c
into main
3 years ago
muellerzr
deleted the bugfix-ci branch
3 years ago
Login to write a write a comment.
Login via GitHub
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Fix old naming
muellerzr
merged
f3c39b4c
into main 3 years ago
muellerzr
deleted the bugfix-ci branch 3 years ago
Login to write a write a comment.
Login via GitHub