{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":38512019,"defaultBranch":"main","name":"apalache","ownerLogin":"informalsystems","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-07-03T21:56:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/59101308?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1714999050.0","currentOid":""},"activityList":{"items":[{"before":"99b93bb2b97d0ebb569aba00bb405a0fca83b845","after":"6d69a24e7dcaa5b688959dcc4c50d0fb49fbdfd7","ref":"refs/heads/main","pushedAt":"2024-05-06T13:16:08.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge pull request #2894 from informalsystems/gabriela/remove-cronjob\n\nRemove cronjob for prepare-release workflow","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2280730241\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/apalache/issues/2894\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/apalache/pull/2894/hovercard\" href=\"https://github.com/informalsystems/apalache/pull/2894\">#2894</a> from informalsystems/gabriela/remove-cronjob"}},{"before":"67d9e81cb643e2a0779231942772e03fcc8eccd4","after":"1030a1415f79c6e1d739c253ff612e6beaacca1f","ref":"refs/heads/gabriela/remove-cronjob","pushedAt":"2024-05-06T12:56:37.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge branch 'main' into gabriela/remove-cronjob","shortMessageHtmlLink":"Merge branch 'main' into gabriela/remove-cronjob"}},{"before":"a6720fca450debb3d21c9baa9e8ee57097dd95c3","after":"67d9e81cb643e2a0779231942772e03fcc8eccd4","ref":"refs/heads/gabriela/remove-cronjob","pushedAt":"2024-05-06T12:35:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Update documentation on CONTRIBUTING.md as well","shortMessageHtmlLink":"Update documentation on CONTRIBUTING.md as well"}},{"before":"d5dd0ad55e4c3d9627341b300d01dc0c8f3bb6e3","after":"99b93bb2b97d0ebb569aba00bb405a0fca83b845","ref":"refs/heads/main","pushedAt":"2024-05-06T12:34:12.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge pull request #2893 from informalsystems/release/0.44.11\n\n[release] 0.44.11","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2280717730\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/apalache/issues/2893\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/apalache/pull/2893/hovercard\" href=\"https://github.com/informalsystems/apalache/pull/2893\">#2893</a> from informalsystems/release/0.44.11"}},{"before":null,"after":"a6720fca450debb3d21c9baa9e8ee57097dd95c3","ref":"refs/heads/gabriela/remove-cronjob","pushedAt":"2024-05-06T12:04:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Remove cronjob for prepare-release workflow","shortMessageHtmlLink":"Remove cronjob for prepare-release workflow"}},{"before":null,"after":"71e902fd848877ae79440ffde6647c9b518f50be","ref":"refs/heads/release/0.44.11","pushedAt":"2024-05-06T12:01:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Bump version to 0.44.12-SNAPSHOT","shortMessageHtmlLink":"Bump version to 0.44.12-SNAPSHOT"}},{"before":"0a760225af45d2efa1fee23955f4a284ba7f887a","after":null,"ref":"refs/heads/release/0.44.11","pushedAt":"2024-05-06T11:59:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"}},{"before":"8636a57f4e427cd81fac15f5f93c27bf706f8c65","after":null,"ref":"refs/heads/gabriela/compile-to-tla-fixes","pushedAt":"2024-05-06T11:54:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"}},{"before":"4ae34456088e63475fe15d351353c9c67ba4639d","after":"d5dd0ad55e4c3d9627341b300d01dc0c8f3bb6e3","ref":"refs/heads/main","pushedAt":"2024-05-06T11:37:44.000Z","pushType":"pr_merge","commitsCount":11,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge pull request #2891 from informalsystems/gabriela/compile-to-tla-fixes\n\nFixes for compilation to TLA+","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2277681754\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/apalache/issues/2891\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/apalache/pull/2891/hovercard\" href=\"https://github.com/informalsystems/apalache/pull/2891\">#2891</a> from informalsystems/gabriela/compile-to-tla…"}},{"before":"a4dee031f42dd894a18fd7f0b4c939a2a271a9a3","after":"8636a57f4e427cd81fac15f5f93c27bf706f8c65","ref":"refs/heads/gabriela/compile-to-tla-fixes","pushedAt":"2024-05-06T11:17:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge branch 'main' into gabriela/compile-to-tla-fixes","shortMessageHtmlLink":"Merge branch 'main' into gabriela/compile-to-tla-fixes"}},{"before":"44fb6abf26a7909c86e1056a34f905bc1802e681","after":"a4dee031f42dd894a18fd7f0b4c939a2a271a9a3","ref":"refs/heads/gabriela/compile-to-tla-fixes","pushedAt":"2024-05-06T11:16:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Fix spelling (sanatize -> sanitize)","shortMessageHtmlLink":"Fix spelling (sanatize -&gt; sanitize)"}},{"before":"84b2ecaa7a0b6d61b178291cc78bed772b2d6620","after":null,"ref":"refs/heads/gabriela/fix-ci-macos","pushedAt":"2024-05-06T11:06:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"}},{"before":"9295b5b6cdc76b991e99a5546a6c62e62e7dfd39","after":"4ae34456088e63475fe15d351353c9c67ba4639d","ref":"refs/heads/main","pushedAt":"2024-05-06T11:06:50.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge pull request #2892 from informalsystems/gabriela/fix-ci-macos\n\nFix unit test CI on MacOS","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2277865880\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/apalache/issues/2892\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/apalache/pull/2892/hovercard\" href=\"https://github.com/informalsystems/apalache/pull/2892\">#2892</a> from informalsystems/gabriela/fix-ci-macos"}},{"before":"ed3a2a25b3df7b0ac457be07e5167beb814991ed","after":"44fb6abf26a7909c86e1056a34f905bc1802e681","ref":"refs/heads/gabriela/compile-to-tla-fixes","pushedAt":"2024-05-03T19:34:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Add CHANGELOG entries","shortMessageHtmlLink":"Add CHANGELOG entries"}},{"before":"6ada0892ff3082a406a3b19c89693cf3ff195b83","after":"ed3a2a25b3df7b0ac457be07e5167beb814991ed","ref":"refs/heads/gabriela/compile-to-tla-fixes","pushedAt":"2024-05-03T19:15:12.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/gabriela/fix-ci-macos' into gabriela/compile-to-tla-fixes","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/gabriela/fix-ci-macos' into gabr…"}},{"before":null,"after":"84b2ecaa7a0b6d61b178291cc78bed772b2d6620","ref":"refs/heads/gabriela/fix-ci-macos","pushedAt":"2024-05-03T14:59:02.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Add coursier/setup-action step to unit tests","shortMessageHtmlLink":"Add coursier/setup-action step to unit tests"}},{"before":"d4a49d01dc64254f9706e60b704b8a64deca8720","after":"6ada0892ff3082a406a3b19c89693cf3ff195b83","ref":"refs/heads/gabriela/compile-to-tla-fixes","pushedAt":"2024-05-03T14:14:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Add test for sanitization of exists bindings","shortMessageHtmlLink":"Add test for sanitization of exists bindings"}},{"before":"788add26bbd88b3f2ac84a6138d033e904132a7b","after":"d4a49d01dc64254f9706e60b704b8a64deca8720","ref":"refs/heads/gabriela/compile-to-tla-fixes","pushedAt":"2024-05-03T13:25:51.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge branch 'main' into gabriela/compile-to-tla-fixes","shortMessageHtmlLink":"Merge branch 'main' into gabriela/compile-to-tla-fixes"}},{"before":"49e018660001850b5ad994c171dd703fe77c0f63","after":"788add26bbd88b3f2ac84a6138d033e904132a7b","ref":"refs/heads/gabriela/compile-to-tla-fixes","pushedAt":"2024-05-03T13:14:58.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Sanitize bindings on exists and forall","shortMessageHtmlLink":"Sanitize bindings on exists and forall"}},{"before":"7dd9243cc394819158d0d9111b9f33066e811247","after":"49e018660001850b5ad994c171dd703fe77c0f63","ref":"refs/heads/gabriela/compile-to-tla-fixes","pushedAt":"2024-05-02T17:57:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Include annotations to the compiled TLA module","shortMessageHtmlLink":"Include annotations to the compiled TLA module"}},{"before":null,"after":"7dd9243cc394819158d0d9111b9f33066e811247","ref":"refs/heads/gabriela/compile-to-tla-fixes","pushedAt":"2024-05-02T17:47:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Fix slice conversion by removing an incorrect increment","shortMessageHtmlLink":"Fix slice conversion by removing an incorrect increment"}},{"before":null,"after":"0a760225af45d2efa1fee23955f4a284ba7f887a","ref":"refs/heads/release/0.44.11","pushedAt":"2024-04-01T00:06:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Bump version to 0.44.12-SNAPSHOT","shortMessageHtmlLink":"Bump version to 0.44.12-SNAPSHOT"}},{"before":"735f95def6bfbc84045f1e6fae38e68fa1adb308","after":"9295b5b6cdc76b991e99a5546a6c62e62e7dfd39","ref":"refs/heads/main","pushedAt":"2024-03-25T18:05:29.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge pull request #2874 from informalsystems/release/0.44.10\n\n[release] 0.44.10","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2206319400\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/apalache/issues/2874\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/apalache/pull/2874/hovercard\" href=\"https://github.com/informalsystems/apalache/pull/2874\">#2874</a> from informalsystems/release/0.44.10"}},{"before":"6124007753867cb5249684e14a5cfd792bd0398a","after":null,"ref":"refs/heads/gabriela/empty-tuple-as-unit","pushedAt":"2024-03-25T17:42:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"}},{"before":null,"after":"6253e62af73b8c3153c6ed162c2f19751a6686a9","ref":"refs/heads/release/0.44.10","pushedAt":"2024-03-25T17:37:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"github-actions[bot]","name":null,"path":"/apps/github-actions","primaryAvatarUrl":"https://avatars.githubusercontent.com/in/15368?s=80&v=4"},"commit":{"message":"Bump version to 0.44.11-SNAPSHOT","shortMessageHtmlLink":"Bump version to 0.44.11-SNAPSHOT"}},{"before":"93fc140160c95f011df8bbca6772611234fdbf0f","after":null,"ref":"refs/heads/release/0.44.10","pushedAt":"2024-03-25T17:36:10.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"}},{"before":"27f18857e6257d7786e22bc08f57e69ca02218cc","after":"735f95def6bfbc84045f1e6fae38e68fa1adb308","ref":"refs/heads/main","pushedAt":"2024-03-25T17:27:26.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Merge pull request #2873 from informalsystems/gabriela/handle-quint-quantified-variables\n\nHandle quint quantified variables","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2206122359\" data-permission-text=\"Title is private\" data-url=\"https://github.com/informalsystems/apalache/issues/2873\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/informalsystems/apalache/pull/2873/hovercard\" href=\"https://github.com/informalsystems/apalache/pull/2873\">#2873</a> from informalsystems/gabriela/handle-quint-q…"}},{"before":"7f6806ab4e6eea5f4fa2328cd0150327050177f5","after":"8844f46ee350003cb071dfd44db53ca73b5757d7","ref":"refs/heads/gabriela/handle-quint-quantified-variables","pushedAt":"2024-03-25T16:50:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Update one more hidden fixture","shortMessageHtmlLink":"Update one more hidden fixture"}},{"before":"710af9606bf34653fb0dc93a689e17368afd8272","after":"7f6806ab4e6eea5f4fa2328cd0150327050177f5","ref":"refs/heads/gabriela/handle-quint-quantified-variables","pushedAt":"2024-03-25T16:23:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Revert \"Use type given by quint to build lambda bodies\"\n\nThis reverts commit ffc2437ccfa4d63ffca028d727cdc958c27f1e4c.","shortMessageHtmlLink":"Revert \"Use type given by quint to build lambda bodies\""}},{"before":"1499237bd8e02dfd31a988b05129122565dc6063","after":"710af9606bf34653fb0dc93a689e17368afd8272","ref":"refs/heads/gabriela/handle-quint-quantified-variables","pushedAt":"2024-03-25T16:19:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bugarela","name":"Gabriela Moreira","path":"/bugarela","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/18356186?s=80&v=4"},"commit":{"message":"Fix formatting","shortMessageHtmlLink":"Fix formatting"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQo0nAwA","startCursor":null,"endCursor":null}},"title":"Activity · informalsystems/apalache"}