{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":295552690,"defaultBranch":"master","name":"orthotope","ownerLogin":"augustss","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2020-09-14T22:25:42.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/5245086?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1613620131.9528372","currentOid":""},"activityList":{"items":[{"before":"20420d43ba1c0fe05d1a327f8e73585558b7eddb","after":"9717153dafc7ac647fd68549140837dbfcf8fb86","ref":"refs/heads/master","pushedAt":"2024-04-13T16:07:17.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"augustss","name":"Lennart Augustsson","path":"/augustss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5245086?s=80&v=4"},"commit":{"message":"Merge pull request #9 from Mikolaj/more-inlineable\n\nAdd INLINABLE to a couple more functions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1855511501\" data-permission-text=\"Title is private\" data-url=\"https://github.com/augustss/orthotope/issues/9\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/augustss/orthotope/pull/9/hovercard\" href=\"https://github.com/augustss/orthotope/pull/9\">#9</a> from Mikolaj/more-inlineable"}},{"before":"e6c3bcc3d4b1f6a66f21622e16fbec3aa194257c","after":"20420d43ba1c0fe05d1a327f8e73585558b7eddb","ref":"refs/heads/master","pushedAt":"2024-04-13T16:06:44.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"augustss","name":"Lennart Augustsson","path":"/augustss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5245086?s=80&v=4"},"commit":{"message":"Merge pull request #10 from Mikolaj/fix-inferred-roles\n\nFix inferred roles","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2023682507\" data-permission-text=\"Title is private\" data-url=\"https://github.com/augustss/orthotope/issues/10\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/augustss/orthotope/pull/10/hovercard\" href=\"https://github.com/augustss/orthotope/pull/10\">#10</a> from Mikolaj/fix-inferred-roles"}},{"before":"dcd4473700dbc19088ef2194bd669e26fe327d78","after":"e6c3bcc3d4b1f6a66f21622e16fbec3aa194257c","ref":"refs/heads/master","pushedAt":"2023-08-10T15:15:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"augustss","name":"Lennart Augustsson","path":"/augustss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5245086?s=80&v=4"},"commit":{"message":"Add .gitignore","shortMessageHtmlLink":"Add .gitignore"}},{"before":"680f39f34b8d07928c1bd1493f122f669a9688c9","after":"dcd4473700dbc19088ef2194bd669e26fe327d78","ref":"refs/heads/master","pushedAt":"2023-08-10T15:08:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"augustss","name":"Lennart Augustsson","path":"/augustss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5245086?s=80&v=4"},"commit":{"message":"More documentation.","shortMessageHtmlLink":"More documentation."}},{"before":"9cc0110094c658a223c29e5677f166947e347f48","after":"680f39f34b8d07928c1bd1493f122f669a9688c9","ref":"refs/heads/master","pushedAt":"2023-08-10T14:37:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"augustss","name":"Lennart Augustsson","path":"/augustss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5245086?s=80&v=4"},"commit":{"message":"Test boxes.","shortMessageHtmlLink":"Test boxes."}},{"before":"c3e288c934cd83649b8831c61db9a8f562828844","after":"9cc0110094c658a223c29e5677f166947e347f48","ref":"refs/heads/master","pushedAt":"2023-08-10T13:08:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"augustss","name":"Lennart Augustsson","path":"/augustss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5245086?s=80&v=4"},"commit":{"message":"Get rid of N type synonym.  Make strides strict.","shortMessageHtmlLink":"Get rid of N type synonym. Make strides strict."}},{"before":"50bcf47a696facbcae8eaf049d30da38e5445ebc","after":"c3e288c934cd83649b8831c61db9a8f562828844","ref":"refs/heads/master","pushedAt":"2023-08-10T11:51:01.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"augustss","name":"Lennart Augustsson","path":"/augustss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5245086?s=80&v=4"},"commit":{"message":"Minor changes.  Bump version.","shortMessageHtmlLink":"Minor changes. Bump version."}},{"before":"2027046e7c4180d1148d31db1f8206204491de4e","after":"50bcf47a696facbcae8eaf049d30da38e5445ebc","ref":"refs/heads/master","pushedAt":"2023-08-10T09:33:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"augustss","name":"Lennart Augustsson","path":"/augustss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5245086?s=80&v=4"},"commit":{"message":"Update version","shortMessageHtmlLink":"Update version"}},{"before":"270a1fc6b7868c43031d0699604ece4cc94f123f","after":"2027046e7c4180d1148d31db1f8206204491de4e","ref":"refs/heads/master","pushedAt":"2023-08-10T09:24:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"augustss","name":"Lennart Augustsson","path":"/augustss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5245086?s=80&v=4"},"commit":{"message":"Make Ranked fields strict.","shortMessageHtmlLink":"Make Ranked fields strict."}},{"before":"ebbf265a47cb4bb318772e8459fae9133252f014","after":"270a1fc6b7868c43031d0699604ece4cc94f123f","ref":"refs/heads/master","pushedAt":"2023-08-10T09:21:36.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"augustss","name":"Lennart Augustsson","path":"/augustss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5245086?s=80&v=4"},"commit":{"message":"Documentation changes.","shortMessageHtmlLink":"Documentation changes."}},{"before":"f79bfe03545f16a409f4233e48e304373ec8a1a7","after":"ebbf265a47cb4bb318772e8459fae9133252f014","ref":"refs/heads/master","pushedAt":"2023-08-03T11:33:11.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"augustss","name":"Lennart Augustsson","path":"/augustss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5245086?s=80&v=4"},"commit":{"message":"Add me as author.","shortMessageHtmlLink":"Add me as author."}},{"before":"18915310910857f68fc49e0fa3b2ecc2a447ed00","after":"f79bfe03545f16a409f4233e48e304373ec8a1a7","ref":"refs/heads/master","pushedAt":"2023-08-02T08:35:10.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"augustss","name":"Lennart Augustsson","path":"/augustss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5245086?s=80&v=4"},"commit":{"message":"Merge pull request #7 from Mikolaj/more-inlineable\n\nMark INLINABLE more functions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1831741158\" data-permission-text=\"Title is private\" data-url=\"https://github.com/augustss/orthotope/issues/7\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/augustss/orthotope/pull/7/hovercard\" href=\"https://github.com/augustss/orthotope/pull/7\">#7</a> from Mikolaj/more-inlineable"}},{"before":"ae88e561a148d4b1668f6c17aec960743e20f419","after":"18915310910857f68fc49e0fa3b2ecc2a447ed00","ref":"refs/heads/master","pushedAt":"2023-08-02T08:33:57.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"augustss","name":"Lennart Augustsson","path":"/augustss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5245086?s=80&v=4"},"commit":{"message":"Merge pull request #6 from Mikolaj/master\n\nUpdate CI and relax dep bounds","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1831342421\" data-permission-text=\"Title is private\" data-url=\"https://github.com/augustss/orthotope/issues/6\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/augustss/orthotope/pull/6/hovercard\" href=\"https://github.com/augustss/orthotope/pull/6\">#6</a> from Mikolaj/master"}},{"before":"d7f97a6114223e931ea60229dd97a9ecfc4b89d7","after":"ae88e561a148d4b1668f6c17aec960743e20f419","ref":"refs/heads/master","pushedAt":"2023-08-01T12:18:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"augustss","name":"Lennart Augustsson","path":"/augustss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5245086?s=80&v=4"},"commit":{"message":"Update version","shortMessageHtmlLink":"Update version"}},{"before":"ecf4c0d7fa61ebcdb49969eed6b05951edb2118c","after":"d7f97a6114223e931ea60229dd97a9ecfc4b89d7","ref":"refs/heads/master","pushedAt":"2023-07-15T10:53:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"augustss","name":"Lennart Augustsson","path":"/augustss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5245086?s=80&v=4"},"commit":{"message":"New version","shortMessageHtmlLink":"New version"}},{"before":"a33aec5f5e9e665d33792d0b9885fbc703b21244","after":"ecf4c0d7fa61ebcdb49969eed6b05951edb2118c","ref":"refs/heads/master","pushedAt":"2023-07-13T10:35:07.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"augustss","name":"Lennart Augustsson","path":"/augustss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5245086?s=80&v=4"},"commit":{"message":"Merge pull request #5 from Mikolaj/master\n\nFix a copy-pasto in allA","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1802646837\" data-permission-text=\"Title is private\" data-url=\"https://github.com/augustss/orthotope/issues/5\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/augustss/orthotope/pull/5/hovercard\" href=\"https://github.com/augustss/orthotope/pull/5\">#5</a> from Mikolaj/master"}},{"before":"6928367a43f2a083db0f361179119821258d6c7c","after":"a33aec5f5e9e665d33792d0b9885fbc703b21244","ref":"refs/heads/master","pushedAt":"2023-06-24T13:40:31.307Z","pushType":"push","commitsCount":1,"pusher":{"login":"augustss","name":"Lennart Augustsson","path":"/augustss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5245086?s=80&v=4"},"commit":{"message":"Add more examples.","shortMessageHtmlLink":"Add more examples."}},{"before":"54ff5ae63984da666237530b9d785ea32ad9ba76","after":"6928367a43f2a083db0f361179119821258d6c7c","ref":"refs/heads/master","pushedAt":"2023-06-22T23:28:02.042Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"augustss","name":"Lennart Augustsson","path":"/augustss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5245086?s=80&v=4"},"commit":{"message":"Merge pull request #4 from Mikolaj/master\n\nA fix of a crash bug and three assorted minor tweaks","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1768605031\" data-permission-text=\"Title is private\" data-url=\"https://github.com/augustss/orthotope/issues/4\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/augustss/orthotope/pull/4/hovercard\" href=\"https://github.com/augustss/orthotope/pull/4\">#4</a> from Mikolaj/master"}},{"before":"cd67058e88906af6df1e035e859def8271b18ddd","after":"54ff5ae63984da666237530b9d785ea32ad9ba76","ref":"refs/heads/master","pushedAt":"2023-06-22T23:23:44.495Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"augustss","name":"Lennart Augustsson","path":"/augustss","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5245086?s=80&v=4"},"commit":{"message":"Merge pull request #3 from tomjaguarpaw/reshape\n\nCorrect Haddock for reshape: it can't fail for shaped Arrays","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1244209667\" data-permission-text=\"Title is private\" data-url=\"https://github.com/augustss/orthotope/issues/3\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/augustss/orthotope/pull/3/hovercard\" href=\"https://github.com/augustss/orthotope/pull/3\">#3</a> from tomjaguarpaw/reshape"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEL9nDIAA","startCursor":null,"endCursor":null}},"title":"Activity · augustss/orthotope"}