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.

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

Use normalized filepaths in dhall testsuite #2593

Merged
merged 23 commits into from
Jun 17, 2024

Conversation

mmhat
Copy link
Collaborator

@mmhat mmhat commented Jun 5, 2024

Missing filepath normalization caused some failures in #2591 ; See https://github.com/dhall-lang/dhall-haskell/actions/runs/9338722607/job/25702207276?pr=2591 for an example.

Other changes:

  • Require turtle >=1.6 in all packages.
  • Use hnix-0.17 in Stack configurations.
  • Also add mkParsec method to MonadParsec instance for megaparsec >=9.4.

@mmhat mmhat changed the title Require turtle >=1.6 Use normalized filepaths in dhall testsuite Jun 5, 2024
@winitzki
Copy link
Collaborator

winitzki commented Jun 5, 2024

A hydra failure might be cached; I had to make a dummy change (renamed a dummy variable) to make hydra forget the failure in a previously cached build.

@mmhat
Copy link
Collaborator Author

mmhat commented Jun 5, 2024

@winitzki Unfortunately that didn't work.
Hydra is out of disk space; See https://hydra.dhall-lang.org/build/115335/nixlog/1 and https://hydra.dhall-lang.org/build/115308/nixlog/1 .

I don't have access to that machine; @Gabriella439 can you have a look?

@mmhat
Copy link
Collaborator Author

mmhat commented Jun 13, 2024

Hm, I think Hydra is dead:

500 Internal Server Error
DBIx::Class::Storage::DBI::catch {...} (): DBI Connection failed: DBI connect('dbname=hydra;user=hydra;','',...) failed: connection to server on socket "/run/postgresql/.s.PGSQL.5432" failed: No such file or directory
Is the server running locally and accepting connections on that socket? at /nix/store/naxc4jx308gkv96x7g7a8p6phq2hhk4z-hydra-perl-deps/lib/perl5/site_perl/5.34.1/DBIx/Class/Storage/DBI.pm line 1639. at /nix/store/w1cc6bxw43hf7dcya3ar95zckr0g9m8v-hydra-2022-05-03/libexec/hydra/lib/Hydra/Helper/CatalystUtils.pm line 423

Gently pinging @Gabriella439 .

@winitzki
Copy link
Collaborator

winitzki commented Jun 13, 2024

"Hydra can't really be killed. You cut one head off, two more will grow."
Screenshot 2024-06-13 at 09 37 00

@mmhat
Copy link
Collaborator Author

mmhat commented Jun 13, 2024

"Hydra can't really be killed. You cut one head off, two more will grow."

@winitzki 😄 It seems you are right; It's working again. It appears only the web interface is reachable again, but there are no jobs enqueued for my latest commit.

@Gabriella439 Gabriella439 merged commit 51c22e4 into dhall-lang:main Jun 17, 2024
7 checks passed
@mmhat mmhat deleted the turtle-1.6 branch June 17, 2024 02:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants