Skip to content

Remove metadata.name from podTemplate #138

New issue

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

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

Already on GitHub? # to your account

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Conversation

arianvp
Copy link
Member

@arianvp arianvp commented Aug 12, 2020

makes it more in-line with a normal Kubernetes deployment example. This field is even ignored by kubernetes API for PodTemplates afaik

Also deploymentSimple was missing a selector which is invalid (runtime error)

makes it more in-line with a normal Kubernetes deployment example
@arianvp
Copy link
Member Author

arianvp commented Aug 12, 2020

I think I also need to update the files in out?

Would also be nice that we test that dhall-to-yaml | yaml-to-dhall | dhall-to-yaml roundtrips on all examples as a sanity check

@TristanCacqueray
Copy link
Collaborator

Oh indeed, it seems like the hydra job does not check that.

@arianvp
Copy link
Member Author

arianvp commented Aug 12, 2020

it used to though if I remember correctly ... did something change? :/

@Gabriella439
Copy link
Contributor

@arianvp: It did check this. I'm also surprised, and I'm looking into this.

@Gabriella439
Copy link
Contributor

@arianvp: It looks like the issue is that after my changes CI only checks the versioned releases, but not the top-level default release. I'll put up a PR soon to fix that

Gabriella439 added a commit that referenced this pull request Sep 11, 2020
… based on the discussion in #138

CI wasn't checking that the `./scripts/generate.sh` script had been
run, which this change fixes
Gabriella439 added a commit that referenced this pull request Sep 11, 2020
… based on the discussion in #138

CI wasn't checking that the `./scripts/generate.sh` script had been
run, which this change fixes
Gabriella439 added a commit that referenced this pull request Sep 11, 2020
… based on the discussion in #138

CI wasn't checking that the `./scripts/generate.sh` script had been
run, which this change fixes
Gabriella439 added a commit that referenced this pull request Sep 12, 2020
… based on the discussion in #138

CI wasn't checking that the `./scripts/generate.sh` script had been
run, which this change fixes
@Gabriella439
Copy link
Contributor

@arianvp: Alright, CI is fixed now to catch when things get out of sync. See the CI error on this pull request after merging in master

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants