Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

IE-0022: Tidying the startup sequence #22

Merged
merged 1 commit into from
Jun 11, 2023
Merged

IE-0022: Tidying the startup sequence #22

merged 1 commit into from
Jun 11, 2023

Conversation

curiousdannii
Copy link
Collaborator

  • Proposal: IE-0022
  • Authors: Dannii Willis
  • Language feature name: None
  • Status: In progress
  • Related proposals: None
  • Implementation: None

Summary

To tidy up the startup sequence for better regularity and flexibility.

@curiousdannii curiousdannii merged commit 241b115 into main Jun 11, 2023
@curiousdannii curiousdannii deleted the 0022-startup branch June 11, 2023 00:45
curiousdannii added a commit to curiousdannii/inform that referenced this pull request Jun 11, 2023
@curiousdannii
IE-0022: Tidy and reoganise the startup sequence (ganelson/inform-evo…
9d67387 
…lution#22)
@curiousdannii curiousdannii mentioned this pull request Jun 11, 2023
Merged
curiousdannii added a commit to curiousdannii/inform that referenced this pull request Jun 13, 2023
@curiousdannii
IE-0022: Tidy and reoganise the startup sequence (ganelson/inform-evo…
3e2dc38 
…lution#22)
curiousdannii added a commit to curiousdannii/inform that referenced this pull request Jul 2, 2023
@curiousdannii
IE-0022: Tidy and reoganise the startup sequence (ganelson/inform-evo…
39f0a3d 
…lution#22)
curiousdannii added a commit to curiousdannii/inform that referenced this pull request Jul 3, 2023
@curiousdannii
IE-0022: Tidy and reoganise the startup sequence (ganelson/inform-evo…
aa7c11e 
…lution#22)
@curiousdannii curiousdannii mentioned this pull request Jul 4, 2023
Merged
curiousdannii added a commit that referenced this pull request Jul 5, 2023
@curiousdannii
The new Startup rules (#22) is complete!
9339816
@curiousdannii curiousdannii added the formal-proposal A formal proposal that has been accepted for consideration by the core Inform team label Jul 20, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
formal-proposal A formal proposal that has been accepted for consideration by the core Inform team
Projects
None yet
Milestone
No milestone
1 participant
@curiousdannii