Skip to content
This repository has been archived by the owner on May 31, 2023. It is now read-only.

Scripts that are used to release new versions of Dotty

Notifications You must be signed in to change notification settings

lampepfl/dotty-release-scripts

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

88 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

This repository contains scripts assisting in Dotty release. To get started, first, install the dependencies via pip3 install -r requirements.txt, then, launch the script via ./main.py.

If you are looking to change the release issue checklist, see the checklist.md file. If you are looking to add a new project to be managed on every release, see projects folder. You can submit a PR to add a new yaml file for a new ecosystem or an existing project to an existing ecosystem.

About

Scripts that are used to release new versions of Dotty

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages