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

Reuse tests from the eo repository #93

Closed
4 tasks
deemp opened this issue Feb 5, 2024 · 0 comments
Closed
4 tasks

Reuse tests from the eo repository #93

deemp opened this issue Feb 5, 2024 · 0 comments
Labels
(ci) Related to CI (eo tests) Related to EO tests (scripts) Related to scripts
Milestone
[S3] Structural i...

Comments

@deemp
Copy link
Member

deemp commented Feb 5, 2024 •
edited
Loading

Superseded by #100

  • add a subtree to normalizer
  • write scripts that prepare a subset of tests
  • adapt existing scripts that run eo tests
  • set up a pipeline job
@deemp deemp linked a pull request Feb 5, 2024 that will close this issue
93 reuse tests from the eo repository #95
Closed
@deemp deemp mentioned this issue Feb 6, 2024
Merged
1 task
This was referenced Feb 1, 2024
Closed
Closed
@deemp deemp moved this to In progress in Normalizer & proof Feb 20, 2024
@deemp deemp mentioned this issue Feb 22, 2024
Closed
@deemp deemp closed this as completed Feb 22, 2024
@github-project-automation github-project-automation bot moved this from In progress to Done in Normalizer & proof Feb 22, 2024
@deemp deemp mentioned this issue Feb 29, 2024
Closed
@deemp deemp added (ci) Related to CI (eo tests) Related to EO tests (scripts) Related to scripts labels May 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
(ci) Related to CI (eo tests) Related to EO tests (scripts) Related to scripts
Projects
None yet
Milestone
[S3] Structural improvements for norm...
Development

Successfully merging a pull request may close this issue.

93 reuse tests from the eo repository objectionary/eo-phi-normalizer
1 participant
@deemp