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

Replace contIntegration with continuousIntegration #302

Merged
merged 4 commits into from
Jul 3, 2023
Merged

Replace contIntegration with continuousIntegration #302

merged 4 commits into from
Jul 3, 2023

Conversation

progval
Copy link
Member

@progval progval commented May 25, 2023

This is #258 by @tmorrell, plus:

  1. Resolved merge conflicts
  2. Re-added the deprecated "contIntegration" property, as we want to keep it in v3.0 (but remove it in v4.0)

Resolves #243

@progval progval added this to the v3.0 milestone May 25, 2023
@progval progval changed the base branch from master to develop May 25, 2023 12:49
@progval
Copy link
Member Author

progval commented Jul 3, 2023 •
edited

Re-added the deprecated "contIntegration" property, as we want to keep it in v3.0 (but remove it in v4.0)

And I just undid it, because we decided in #306 to skip it

@progval progval changed the title Deprecate contIntegration and replace it with continuousIntegration Replace contIntegration with continuousIntegration Jul 3, 2023
@progval progval merged commit c3d6327 into codemeta:develop Jul 3, 2023
2 checks passed
@progval progval deleted the continuousIntegration branch July 3, 2023 13:42
This was referenced Jul 3, 2023
Closed
Closed
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
None yet
Projects
None yet
Milestone
v3.0
Development

Successfully merging this pull request may close these issues.

Link to continuous integration service
2 participants
@progval @tmorrell