8000 fix(server): use correct coordinates and file names in generated GMM file by Vampire · Pull Request #1608 · typesafegithub/github-workflows-kt · GitHub
[go: up one dir, main page]
Skip to content

fix(server): use correct coordinates and file names in generated GMM file #1608

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
Merged
merged 1 commit into from
Oct 27, 2024
Merged

fix(server): use correct coordinates and file names in generated GMM file #1608

merged 1 commit into from
Oct 27, 2024

Conversation

Vampire
Copy link
Collaborator
@Vampire Vampire commented Aug 19, 2024

No description provided.

This was referenced Aug 19, 2024
Merged
Merged
Merged
Merged
Open
Merged
@Vampire Graphite App
Copy link
Collaborator Author
Vampire commented Aug 19, 2024 •
edited
Loading

This stack of pull requests is managed by Graphite. Learn more about stacking.

This was referenced Aug 19, 2024
Merged
Merged
Merged
Merged
krzema12
krzema12 previously approved these changes Aug 19, 2024
View reviewed changes
This was referenced Aug 19, 2024
Merged
Merged
@Vampire Vampire force-pushed the vampire/untyped-bindings branch from c0f0047 to 8598958 Compare August 19, 2024 18:16
@Vampire Vampire force-pushed the vampire/fix-gmm-file branch from 97b6616 to e909e7f Compare August 19, 2024 18:16
This was referenced Aug 20, 2024
Merged
Merged
Merged
Merged
@Vampire Vampire force-pushed the vampire/untyped-bindings branch from 8598958 to 1c2deee Compare August 20, 2024 10:45
@Vampire Vampire force-pushed the vampire/fix-gmm-file branch from e909e7f to 4233153 Compare August 20, 2024 10:46
@Vampire Vampire force-pushed the vampire/untyped-bindings branch from 1c2deee to 750cae1 Compare August 20, 2024 11:25
@Vampire Vampire force-pushed the vampire/fix-gmm-file branch from 4233153 to c9116fe Compare August 20, 2024 11:26
@Vampire Vampire changed the base branch from vampire/untyped-bindings to vampire/custom-types August 20, 2024 11:26
@Vampire Vampire force-pushed the vampire/custom-types branch from 6a53fc9 to 4265952 Compare August 20, 2024 11:56
@Vampire Vampire force-pushed the vampire/fix-gmm-file branch from c9116fe to 813dd19 Compare August 20, 2024 11:56
@Vampire Vampire mentioned this pull request Aug 22, 2024
Merged
@Vampire Vampire force-pushed the vampire/custom-types branch from 4265952 to 7e7e61c Compare August 22, 2024 00:00
@Vampire Vampire force-pushed the vampire/fix-gmm-file branch from 813dd19 to 4579b77 Compare August 22, 2024 00:00
@Vampire Vampire force-pushed the vampire/unify-coords-name branch from 86848dd to 665dcd3 Compare September 8, 2024 20:26
@Vampire Vampire force-pushed the vampire/fix-gmm-file branch from f0f5f92 to 9d8106b Compare September 8, 2024 20:27
@Vampire Vampire force-pushed the vampire/unify-coords-name branch from 665dcd3 to 6fd7327 Compare September 9, 2024 08:04
@Vampire Vampire force-pushed the vampire/fix-gmm-file branch from 9d8106b to a017549 Compare September 9, 2024 08:04
@Vampire Vampire force-pushed the vampire/unify-coords-name branch from 6fd7327 to 02098ce Compare September 9, 2024 10:55
@Vampire Vampire force-pushed the vampire/fix-gmm-file branch from a017549 to 8d0573a Compare September 9, 2024 10:55
@Vampire Vampire force-pushed the vampire/unify-coords-name branch from 02098ce to 37375d9 Compare September 10, 2024 16:42
@Vampire Vampire force-pushed the vampire/fix-gmm-file branch from 8d0573a to a65fff0 Compare September 10, 2024 16:42
@Vampire Vampire force-pushed the vampire/unify-coords-name branch from 37375d9 to c1dc24a Compare September 23, 2024 08:13
@Vampire Vampire force-pushed the vampire/fix-gmm-file branch from a65fff0 to 2a0e4b2 Compare September 23, 2024 08:14
@Vampire Vampire force-pushed the vampire/unify-coords-name branch from c1dc24a to 6d56a0d Compare September 24, 2024 00:42
@Vampire Vampire force-pushed the vampire/fix-gmm-file branch from 2a0e4b2 to 09694f6 Compare September 24, 2024 00:42
@Vampire Vampire force-pushed the vampire/unify-coords-name branch from 6d56a0d to 1dc7506 Compare September 29, 2024 17:28
@Vampire Vampire force-pushed the vampire/fix-gmm-file branch from 09694f6 to 512a3a3 Compare September 29, 2024 17:28
@Vampire Vampire mentioned this pull request Sep 29, 2024
Merged
@Vampire Vampire force-pushed the vampire/unify-coords-name branch from 1dc7506 to c691f60 Compare September 29, 2024 21:11
@Vampire Vampire force-pushed the vampire/fix-gmm-file branch from 512a3a3 to 9eef7af Compare September 29, 2024 21:12
@Vampire Vampire mentioned this pull request Oct 26, 2024
Closed
3 tasks
@Vampire Vampire force-pushed the vampire/unify-coords-name branch from c691f60 to 37ad070 Compare October 27, 2024 03:51
@Vampire Vampire force-pushed the vampire/fix-gmm-file branch from 9eef7af to b93a24f Compare October 27, 2024 03:51
@Vampire Vampire force-pushed the vampire/unify-coords-name branch from 37ad070 to 52919f6 Compare October 27, 2024 04:01
@Vampire Vampire force-pushed the vampire/fix-gmm-file branch from b93a24f to 4603805 Compare October 27, 2024 04:02
Base automatically changed from vampire/unify-coords-name to main October 27, 2024 09:52
@krzema12 8000 krzema12 dismissed their stale review October 27, 2024 09:52

The base branch was changed.

@Vampire Vampire force-pushed the vampire/fix-gmm-file branch from 4603805 to 7de8ae2 Compare October 27, 2024 20:36
@krzema12 krzema12 changed the title fix(abg): use correct coordinates and file names in generated GMM file fix(server): use correct coordinates and file names in generated GMM file Oct 27, 2024
@krzema12 krzema12 merged commit a5ced58 into main Oct 27, 2024
18 checks passed
@krzema12 krzema12 deleted the vampire/fix-gmm-file branch October 27, 2024 22:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@krzema12 krzema12 krzema12 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Vampire @krzema12
0