{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":67623822,"defaultBranch":"main","name":"dhall-haskell","ownerLogin":"dhall-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-09-07T16:18:15.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/31601797?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1718574264.0","currentOid":""},"activityList":{"items":[{"before":"4305dabc5ab9e12900d32a541c2c3fca583ceb37","after":"f4412a02eb1b61836a24b58f6ba475d43b3e193e","ref":"refs/heads/main","pushedAt":"2024-08-28T20:42:11.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mmhat","name":"Mann mit Hut","path":"/mmhat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5009522?s=80&v=4"},"commit":{"message":"Relax bounds (#2602)","shortMessageHtmlLink":"Relax bounds (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2492160315\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dhall-lang/dhall-haskell/issues/2602\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dhall-lang/dhall-haskell/pull/2602/hovercard\" href=\"https://github.com/dhall-lang/dhall-haskell/pull/2602\">#2602</a>)"}},{"before":"587c0875f9539a526037712870c45cc8fe853689","after":"4305dabc5ab9e12900d32a541c2c3fca583ceb37","ref":"refs/heads/main","pushedAt":"2024-08-21T02:26:06.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Gabriella439","name":"Gabriella Gonzalez","path":"/Gabriella439","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1313787?s=80&v=4"},"commit":{"message":"Fix dhall-to-nix encoding of symbols with special keys (#2426)\n\n* Fix dhall-to-nix encoding of symbols with special keys\r\n\r\nSymbols in nix can only consist of a very restricted amount of\r\ncharacters, whereas in dhall they can be basically anything.\r\n\r\nSo let’s use an encoding scheme similar to what GHC uses to generate C\r\nsymbols. Code slightly changed (some GHC-specific cases removed).\r\n\r\nI might have missed some cases of dhall symbols that are translated\r\nverbatim.\r\n\r\n* dhall-to-nix: Encode unions slightly differently for better symbol\r\n\r\nSymbols in nix can only consist of a very restricted amount of\r\ncharacters, whereas in dhall they can be basically anything.\r\n\r\nWhen you want to get a value of a union, before it was generated into\r\n\r\n```\r\n{ Foo, Bar }: Foo\r\n```\r\n\r\nwhere `Foo` cannot be a complex symbol like `{ Foo/Baz, Bar }:\r\nFoo/Baz`, because nix does not allow it in anonymous record arguments.\r\n\r\nSo now we generate it as\r\n\r\n```\r\nu: u.\"Foo/Baz\"\r\n```\r\n\r\nwhich should always work and is equal (though it loses the information\r\nof what other fields are there in the nix code).\r\n\r\nBefore I faultily encoded some of these symbols with a Z-encoding, but\r\nthat was wrong, so it was undone.\r\n\r\n* dhall-to-nix: Quote field selection symbols\r\n\r\nAnother one I missed, when you have a field selector, you want to\r\nquote it, in case it has some symbols nix does not know how to handle.\r\n\r\n`x.Foo/bar`  will now be `x.\"Foo/bar\"`, which is valid nix.\r\n\r\n* dhall-to-nix: prepare using Text.concatMap in Z-encoding\r\n\r\nWe copied the Z-encoding functions from GHC more or less verbatim, but\r\nwe can rewrite it in terms of `Text.concatMap`, which should perform\r\nbetter.\r\n\r\nIn this first step, we change all the helper functions from `Char ->\r\nString` to `Char -> Text`, and apply hlint warnings.\r\n\r\n* dhall-to-nix: Z-encode symbols without going through String\r\n\r\nWe can drop the extra `any needsEncoding` check, since it should be\r\nperformant enough on its own when using `Text.concatMap` and\r\nsimplifies the code a bit.\r\n\r\n* dhall-to-nix: Only double-quote symbols if they have symbols\r\n\r\nA small improvement in the generation logic.\r\nThe hnix should really just do this for us.","shortMessageHtmlLink":"Fix dhall-to-nix encoding of symbols with special keys (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1275931119\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dhall-lang/dhall-haskell/issues/2426\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dhall-lang/dhall-haskell/pull/2426/hovercard\" href=\"https://github.com/dhall-lang/dhall-haskell/pull/2426\">#2426</a>)"}},{"before":"28d346f00d12fa134b4c315974f76cc5557f1330","after":"587c0875f9539a526037712870c45cc8fe853689","ref":"refs/heads/main","pushedAt":"2024-07-02T00:54:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mmhat","name":"Mann mit Hut","path":"/mmhat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5009522?s=80&v=4"},"commit":{"message":"allow aeson-2.2 in dhall-yaml and dhall-lsp-server (#2599)","shortMessageHtmlLink":"allow aeson-2.2 in dhall-yaml and dhall-lsp-server (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2382555752\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dhall-lang/dhall-haskell/issues/2599\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dhall-lang/dhall-haskell/pull/2599/hovercard\" href=\"https://github.com/dhall-lang/dhall-haskell/pull/2599\">#2599</a>)"}},{"before":"edce22100113912bf478507608ce1b43f146290b","after":"28d346f00d12fa134b4c315974f76cc5557f1330","ref":"refs/heads/main","pushedAt":"2024-06-17T03:43:26.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mmhat","name":"Mann mit Hut","path":"/mmhat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5009522?s=80&v=4"},"commit":{"message":"Add Stack setup for GHC 9.6.5 (#2592)\n\n* Bumped upper version bounds of several packages in preperation for GHC 9.6.5 build\r\n\r\n* Added some CPP to suppress redundant import warnings\r\n\r\n* Added Stack setup for GHC 9.6.5","shortMessageHtmlLink":"Add Stack setup for GHC 9.6.5 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2328223315\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dhall-lang/dhall-haskell/issues/2592\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dhall-lang/dhall-haskell/pull/2592/hovercard\" href=\"https://github.com/dhall-lang/dhall-haskell/pull/2592\">#2592</a>)"}},{"before":"51c22e49bbfa5995a4414c182c00248f3a09a04c","after":"edce22100113912bf478507608ce1b43f146290b","ref":"refs/heads/main","pushedAt":"2024-06-17T02:56:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mmhat","name":"Mann mit Hut","path":"/mmhat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5009522?s=80&v=4"},"commit":{"message":"Add Stack setup for GHC 9.4.8 (#2591)\n\n* Updated hnix dependencies in all Stack configurations\r\n\r\nAlso added `mkParsec` method to MonadParsec instance for megaparsec>=9.4\r\n\r\n* Require turtle >=1.6\r\n\r\n* Removed depecated functions\r\n\r\n* Use normalized filepaths in tests\r\n\r\n* Made normalization tests a bit more chatty\r\n\r\n* Fix: Exclude unit test from beta-normalization in Dhall.Test.Normalization\r\n\r\n* Improved usage of guards for path selection in test suite\r\n\r\n* Normalize filepath in guards for path selection\r\n\r\n* Added turtle-1.6.2 to Nix setup\r\n\r\n* Unconditionally import Data.List in Dhall.Test.Util\r\n\r\n* Added small comment on the use of toDhallPath in Dhall.Test.Tags\r\n\r\n* Ran stylish-haskell\r\n\r\n* Log pkg-config path of libsodium in the CI\r\n\r\n* Log the libsodium version in the CI\r\n\r\n* Do not install a GHC with ghcup in the CI\r\n\r\n* Fixed pkg-config output in the CI\r\n\r\n* Bump cache_generation\r\n\r\n* Bumped version of some GH actions\r\n\r\n* Changed cache key\r\n\r\n* Small comment on pkg-config output\r\n\r\n* Added .envrc to .gitignore\r\n\r\n* Fixed deprecation warnings in dhall-nixpkgs package\r\n\r\n* Add Stack setup for GHC 9.4.8\r\n\r\n* Added missing extra-deps\r\n\r\n* Added kind signatures in boot files\r\n\r\n---------\r\n\r\nCo-authored-by: Gabriella Gonzalez <GenuineGabriella@gmail.com>","shortMessageHtmlLink":"Add Stack setup for GHC 9.4.8 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2328212821\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dhall-lang/dhall-haskell/issues/2591\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dhall-lang/dhall-haskell/pull/2591/hovercard\" href=\"https://github.com/dhall-lang/dhall-haskell/pull/2591\">#2591</a>)"}},{"before":"e6159933ff30c57d906bda0546c616cfc9a39206","after":"51c22e49bbfa5995a4414c182c00248f3a09a04c","ref":"refs/heads/main","pushedAt":"2024-06-17T01:54:25.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Gabriella439","name":"Gabriella Gonzalez","path":"/Gabriella439","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1313787?s=80&v=4"},"commit":{"message":"Use normalized filepaths in dhall testsuite (#2593)\n\n* Updated hnix dependencies in all Stack configurations\r\n\r\nAlso added `mkParsec` method to MonadParsec instance for megaparsec>=9.4\r\n\r\n* Require turtle >=1.6\r\n\r\n* Removed depecated functions\r\n\r\n* Use normalized filepaths in tests\r\n\r\n* Made normalization tests a bit more chatty\r\n\r\n* Fix: Exclude unit test from beta-normalization in Dhall.Test.Normalization\r\n\r\n* Improved usage of guards for path selection in test suite\r\n\r\n* Normalize filepath in guards for path selection\r\n\r\n* Added turtle-1.6.2 to Nix setup\r\n\r\n* Unconditionally import Data.List in Dhall.Test.Util\r\n\r\n* Added small comment on the use of toDhallPath in Dhall.Test.Tags\r\n\r\n* Ran stylish-haskell\r\n\r\n* Log pkg-config path of libsodium in the CI\r\n\r\n* Log the libsodium version in the CI\r\n\r\n* Do not install a GHC with ghcup in the CI\r\n\r\n* Fixed pkg-config output in the CI\r\n\r\n* Bump cache_generation\r\n\r\n* Bumped version of some GH actions\r\n\r\n* Changed cache key\r\n\r\n* Small comment on pkg-config output\r\n\r\n* Added .envrc to .gitignore\r\n\r\n* Fixed deprecation warnings in dhall-nixpkgs package","shortMessageHtmlLink":"Use normalized filepaths in dhall testsuite (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2335732759\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dhall-lang/dhall-haskell/issues/2593\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dhall-lang/dhall-haskell/pull/2593/hovercard\" href=\"https://github.com/dhall-lang/dhall-haskell/pull/2593\">#2593</a>)"}},{"before":"d851f5b7bf3be8ad155a437d170582213ed09cb3","after":null,"ref":"refs/heads/feature/shortcut-natural-fold","pushedAt":"2024-06-16T21:44:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Gabriella439","name":"Gabriella Gonzalez","path":"/Gabriella439","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1313787?s=80&v=4"}},{"before":"402fedc55057509764f6e62b70f049e42dbc818a","after":"e6159933ff30c57d906bda0546c616cfc9a39206","ref":"refs/heads/main","pushedAt":"2024-06-16T21:44:23.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Gabriella439","name":"Gabriella Gonzalez","path":"/Gabriella439","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1313787?s=80&v=4"},"commit":{"message":"implement shortcut for more data types in Natural/fold (#2596)","shortMessageHtmlLink":"implement shortcut for more data types in Natural/fold (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2348723970\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dhall-lang/dhall-haskell/issues/2596\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dhall-lang/dhall-haskell/pull/2596/hovercard\" href=\"https://github.com/dhall-lang/dhall-haskell/pull/2596\">#2596</a>)"}},{"before":"05372bc620debf2496db2c801b099ecd05c1029d","after":"d851f5b7bf3be8ad155a437d170582213ed09cb3","ref":"refs/heads/feature/shortcut-natural-fold","pushedAt":"2024-06-12T15:50:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"winitzki","name":"Sergei Winitzki","path":"/winitzki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2163489?s=80&v=4"},"commit":{"message":"add a comment","shortMessageHtmlLink":"add a comment"}},{"before":"7ea6ce6322c8bc2e3712c02142dbe1cd11102c83","after":"05372bc620debf2496db2c801b099ecd05c1029d","ref":"refs/heads/feature/shortcut-natural-fold","pushedAt":"2024-06-12T15:45:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"winitzki","name":"Sergei Winitzki","path":"/winitzki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2163489?s=80&v=4"},"commit":{"message":"use conv","shortMessageHtmlLink":"use conv"}},{"before":null,"after":"7ea6ce6322c8bc2e3712c02142dbe1cd11102c83","ref":"refs/heads/feature/shortcut-natural-fold","pushedAt":"2024-06-12T12:48:27.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"winitzki","name":"Sergei Winitzki","path":"/winitzki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2163489?s=80&v=4"},"commit":{"message":"implement shortcut for more data types in Natural/fold","shortMessageHtmlLink":"implement shortcut for more data types in Natural/fold"}},{"before":"aa4cf870eace60792ec375ee3006b344092a7d55","after":"402fedc55057509764f6e62b70f049e42dbc818a","ref":"refs/heads/main","pushedAt":"2024-06-12T03:31:42.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Gabriella439","name":"Gabriella Gonzalez","path":"/Gabriella439","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1313787?s=80&v=4"},"commit":{"message":"dhall: improve Dhall.Map.traverseWithKey performance (#2589)\n\n`traverseWithKey` currently calls `fromList`,\r\nwhich creates a new list of keys (and calls `nubOrd` on it).\r\nthis is unnecessary, because a traversal doesn't change the keys.","shortMessageHtmlLink":"dhall: improve Dhall.Map.traverseWithKey performance (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2316080447\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dhall-lang/dhall-haskell/issues/2589\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dhall-lang/dhall-haskell/pull/2589/hovercard\" href=\"https://github.com/dhall-lang/dhall-haskell/pull/2589\">#2589</a>)"}},{"before":"3b4738185fe0720591cf2fc6a7e0e8b4812ef83b","after":"aa4cf870eace60792ec375ee3006b344092a7d55","ref":"refs/heads/main","pushedAt":"2024-06-12T02:44:01.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Gabriella439","name":"Gabriella Gonzalez","path":"/Gabriella439","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1313787?s=80&v=4"},"commit":{"message":"optimize Natural/fold in the strict case (#2585)","shortMessageHtmlLink":"optimize Natural/fold in the strict case (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2290967905\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dhall-lang/dhall-haskell/issues/2585\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dhall-lang/dhall-haskell/pull/2585/hovercard\" href=\"https://github.com/dhall-lang/dhall-haskell/pull/2585\">#2585</a>)"}},{"before":"89b959f5aaecaad818ff9a25c87ac20a587127c5","after":null,"ref":"refs/heads/feature/publish-macos-builds","pushedAt":"2024-05-31T19:43:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mmhat","name":"Mann mit Hut","path":"/mmhat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5009522?s=80&v=4"}},{"before":"e79e4c2c22f8d0765966be80470d839eaa808e14","after":"3b4738185fe0720591cf2fc6a7e0e8b4812ef83b","ref":"refs/heads/main","pushedAt":"2024-05-31T19:43:22.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mmhat","name":"Mann mit Hut","path":"/mmhat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5009522?s=80&v=4"},"commit":{"message":"enable macos 86/arm release (#2590)\n\n* responding to comments from mmhat to enable macos 86/arm release\n\n* wip\n\n* wip\n\n* disable build\n\n* Update .github/workflows/main.yml\n\nCo-authored-by: Mann mit Hut <mmhat@users.noreply.github.com>\n\n* Update .github/workflows/main.yml\n\nCo-authored-by: Mann mit Hut <mmhat@users.noreply.github.com>\n\n* Update .github/workflows/main.yml\n\nCo-authored-by: Mann mit Hut <mmhat@users.noreply.github.com>\n\n* Update .github/workflows/main.yml\n\nCo-authored-by: Mann mit Hut <mmhat@users.noreply.github.com>\n\n* Update .github/workflows/main.yml\n\nCo-authored-by: Mann mit Hut <mmhat@users.noreply.github.com>\n\n* Update .mergify.yml\n\nCo-authored-by: Mann mit Hut <mmhat@users.noreply.github.com>\n\n* enable build\n\n---------\n\nCo-authored-by: Mann mit Hut <mmhat@users.noreply.github.com>","shortMessageHtmlLink":"enable macos 86/arm release (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2327794932\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dhall-lang/dhall-haskell/issues/2590\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dhall-lang/dhall-haskell/pull/2590/hovercard\" href=\"https://github.com/dhall-lang/dhall-haskell/pull/2590\">#2590</a>)"}},{"before":"a4017677ba3ffcafd6611555cd3dafa63dee0c8b","after":"89b959f5aaecaad818ff9a25c87ac20a587127c5","ref":"refs/heads/feature/publish-macos-builds","pushedAt":"2024-05-31T17:25:56.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"winitzki","name":"Sergei Winitzki","path":"/winitzki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2163489?s=80&v=4"},"commit":{"message":"Merge branch 'main' into feature/publish-macos-builds","shortMessageHtmlLink":"Merge branch 'main' into feature/publish-macos-builds"}},{"before":"d6226cf4b3f33a78d912f69066290b36f7882476","after":"a4017677ba3ffcafd6611555cd3dafa63dee0c8b","ref":"refs/heads/feature/publish-macos-builds","pushedAt":"2024-05-31T17:25:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"winitzki","name":"Sergei Winitzki","path":"/winitzki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2163489?s=80&v=4"},"commit":{"message":"enable build","shortMessageHtmlLink":"enable build"}},{"before":"3e20f6710fa675ffdc566bd218e7f317cdb67db5","after":"d6226cf4b3f33a78d912f69066290b36f7882476","ref":"refs/heads/feature/publish-macos-builds","pushedAt":"2024-05-31T17:25:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"winitzki","name":"Sergei Winitzki","path":"/winitzki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2163489?s=80&v=4"},"commit":{"message":"Update .mergify.yml\n\nCo-authored-by: Mann mit Hut <mmhat@users.noreply.github.com>","shortMessageHtmlLink":"Update .mergify.yml"}},{"before":"03dc7f938bfab8bd52c95c18812bff4cb47ca942","after":"3e20f6710fa675ffdc566bd218e7f317cdb67db5","ref":"refs/heads/feature/publish-macos-builds","pushedAt":"2024-05-31T17:24:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"winitzki","name":"Sergei Winitzki","path":"/winitzki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2163489?s=80&v=4"},"commit":{"message":"Update .github/workflows/main.yml\n\nCo-authored-by: Mann mit Hut <mmhat@users.noreply.github.com>","shortMessageHtmlLink":"Update .github/workflows/main.yml"}},{"before":"f14de98759f520537ded7e2810e8a074ffa7baf0","after":"03dc7f938bfab8bd52c95c18812bff4cb47ca942","ref":"refs/heads/feature/publish-macos-builds","pushedAt":"2024-05-31T17:24:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"winitzki","name":"Sergei Winitzki","path":"/winitzki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2163489?s=80&v=4"},"commit":{"message":"Update .github/workflows/main.yml\n\nCo-authored-by: Mann mit Hut <mmhat@users.noreply.github.com>","shortMessageHtmlLink":"Update .github/workflows/main.yml"}},{"before":"6d89b020c11ab68ad9a770631b501fcaec79dee2","after":"f14de98759f520537ded7e2810e8a074ffa7baf0","ref":"refs/heads/feature/publish-macos-builds","pushedAt":"2024-05-31T17:24:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"winitzki","name":"Sergei Winitzki","path":"/winitzki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2163489?s=80&v=4"},"commit":{"message":"Update .github/workflows/main.yml\n\nCo-authored-by: Mann mit Hut <mmhat@users.noreply.github.com>","shortMessageHtmlLink":"Update .github/workflows/main.yml"}},{"before":"205a0822baf8f27013b23a18ddec146b4296d0ab","after":"6d89b020c11ab68ad9a770631b501fcaec79dee2","ref":"refs/heads/feature/publish-macos-builds","pushedAt":"2024-05-31T17:24:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"winitzki","name":"Sergei Winitzki","path":"/winitzki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2163489?s=80&v=4"},"commit":{"message":"Update .github/workflows/main.yml\n\nCo-authored-by: Mann mit Hut <mmhat@users.noreply.github.com>","shortMessageHtmlLink":"Update .github/workflows/main.yml"}},{"before":"d744bd3c7697359bfc9c62630c57bac7c5dc7de8","after":"205a0822baf8f27013b23a18ddec146b4296d0ab","ref":"refs/heads/feature/publish-macos-builds","pushedAt":"2024-05-31T17:23:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"winitzki","name":"Sergei Winitzki","path":"/winitzki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2163489?s=80&v=4"},"commit":{"message":"Update .github/workflows/main.yml\n\nCo-authored-by: Mann mit Hut <mmhat@users.noreply.github.com>","shortMessageHtmlLink":"Update .github/workflows/main.yml"}},{"before":"758c176598c94b7d1d2f0fe00328360728e53ef7","after":"d744bd3c7697359bfc9c62630c57bac7c5dc7de8","ref":"refs/heads/feature/publish-macos-builds","pushedAt":"2024-05-31T17:23:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"winitzki","name":"Sergei Winitzki","path":"/winitzki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2163489?s=80&v=4"},"commit":{"message":"disable build","shortMessageHtmlLink":"disable build"}},{"before":"1088e3c1fe02cf06fda353da9154fe5a574ac31c","after":"e79e4c2c22f8d0765966be80470d839eaa808e14","ref":"refs/heads/main","pushedAt":"2024-05-31T17:18:28.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mmhat","name":"Mann mit Hut","path":"/mmhat","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5009522?s=80&v=4"},"commit":{"message":"dhall: raise upper bound on Diff (#2588)\n\nCo-authored-by: Sergei Winitzki <winitzki@users.noreply.github.com>","shortMessageHtmlLink":"dhall: raise upper bound on Diff (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2294042930\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dhall-lang/dhall-haskell/issues/2588\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dhall-lang/dhall-haskell/pull/2588/hovercard\" href=\"https://github.com/dhall-lang/dhall-haskell/pull/2588\">#2588</a>)"}},{"before":"60bb1ad071a2c12dea269a3aa1c71c2b1a791ced","after":"758c176598c94b7d1d2f0fe00328360728e53ef7","ref":"refs/heads/feature/publish-macos-builds","pushedAt":"2024-05-31T13:40:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"winitzki","name":"Sergei Winitzki","path":"/winitzki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2163489?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"d61bca4b76cbb0f0ae6fd415a744de75305a3734","after":"60bb1ad071a2c12dea269a3aa1c71c2b1a791ced","ref":"refs/heads/feature/publish-macos-builds","pushedAt":"2024-05-31T13:40:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"winitzki","name":"Sergei Winitzki","path":"/winitzki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2163489?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":null,"after":"d61bca4b76cbb0f0ae6fd415a744de75305a3734","ref":"refs/heads/feature/publish-macos-builds","pushedAt":"2024-05-31T13:02:38.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"winitzki","name":"Sergei Winitzki","path":"/winitzki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2163489?s=80&v=4"},"commit":{"message":"responding to comments from mmhat to enable macos 86/arm release","shortMessageHtmlLink":"responding to comments from mmhat to enable macos 86/arm release"}},{"before":"e281834c9ae9b27e7e42810465c8802b66fd6488","after":"1088e3c1fe02cf06fda353da9154fe5a574ac31c","ref":"refs/heads/main","pushedAt":"2024-05-31T12:45:29.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"winitzki","name":"Sergei Winitzki","path":"/winitzki","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2163489?s=80&v=4"},"commit":{"message":"fixing the MacOS build (#2586)\n\n* no-op change just to test the build\r\n\r\n* wip add explicit homebrew command for libsodium\r\n\r\n* wip\r\n\r\n* Revert \"wip add explicit homebrew command for libsodium\"\r\n\r\nThis reverts commit ada55e1220d28a7d66ec962c00442de33a02ca47.\r\n\r\n* wip\r\n\r\n* bump ci\r\n\r\n* change a to b\r\n\r\n* Revert \"change a to b\"\r\n\r\nThis reverts commit ab714354ea5cae0a14ec28b83610f634de5c394a.\r\n\r\n* reinstall libsodium\r\n\r\n* Revert \"Revert \"change a to b\"\"\r\n\r\nThis reverts commit 81631fc65755573bca6235b43ec12175a9524d10.\r\n\r\n* remove libsodium override as it does not work\r\n\r\n* wip\r\n\r\n* wip\r\n\r\n* use macos-14-large\r\n\r\n* remove hnix override\r\n\r\n* wip\r\n\r\n* wip\r\n\r\n* use macos-14-latest\r\n\r\n* use macos-13\r\n\r\n* respond to comments from mmhut\r\n\r\n* try with macos-latest once again\r\n\r\n* revert dummy change\r\n\r\n* add macos-13","shortMessageHtmlLink":"fixing the MacOS build (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2291218671\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dhall-lang/dhall-haskell/issues/2586\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dhall-lang/dhall-haskell/pull/2586/hovercard\" href=\"https://github.com/dhall-lang/dhall-haskell/pull/2586\">#2586</a>)"}},{"before":"43fa08664146bded5d01e3884577f7cd2e7351f8","after":"e281834c9ae9b27e7e42810465c8802b66fd6488","ref":"refs/heads/main","pushedAt":"2024-05-11T03:34:29.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Gabriella439","name":"Gabriella Gonzalez","path":"/Gabriella439","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1313787?s=80&v=4"},"commit":{"message":"dhall-docs: dark mode - default to browser settings (#2582)","shortMessageHtmlLink":"dhall-docs: dark mode - default to browser settings (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2253002454\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dhall-lang/dhall-haskell/issues/2582\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dhall-lang/dhall-haskell/pull/2582/hovercard\" href=\"https://github.com/dhall-lang/dhall-haskell/pull/2582\">#2582</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEpu-DoAA","startCursor":null,"endCursor":null}},"title":"Activity · dhall-lang/dhall-haskell"}