{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":37424689,"defaultBranch":"master","name":"daikon","ownerLogin":"codespecs","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-06-14T18:40:55.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/12882755?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1719515120.0","currentOid":""},"activityList":{"items":[{"before":"5cc5f1d47264a7b689f239c62edb1053c3a4737e","after":"d369548afb12859e606b3550800e0761d7e921e3","ref":"refs/heads/master","pushedAt":"2024-09-02T04:36:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Expand diagnostic about derived variables","shortMessageHtmlLink":"Expand diagnostic about derived variables"}},{"before":"d281e2778cff5753475626baae7da24aa994a022","after":"5cc5f1d47264a7b689f239c62edb1053c3a4737e","ref":"refs/heads/master","pushedAt":"2024-08-22T16:56:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Remove `SKIP-REQUIRE-JAVADOC` file","shortMessageHtmlLink":"Remove <code>SKIP-REQUIRE-JAVADOC</code> file"}},{"before":"d1f8faeb2ba16379cc7375bb6928ff4e89c604fd","after":"d281e2778cff5753475626baae7da24aa994a022","ref":"refs/heads/master","pushedAt":"2024-08-22T16:55:38.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Don't use `///` comments","shortMessageHtmlLink":"Don't use <code>///</code> comments"}},{"before":"55052253ad1b69cb9a5a48d4a610b115bbca7188","after":"d1f8faeb2ba16379cc7375bb6928ff4e89c604fd","ref":"refs/heads/master","pushedAt":"2024-08-19T23:54:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Use `-Xlint:-this-escape` for all Java versions >= 21","shortMessageHtmlLink":"Use <code>-Xlint:-this-escape</code> for all Java versions &gt;= 21"}},{"before":"6175a3b1a02dd030b5a3fe1e6c2b8a6221ac0b26","after":"55052253ad1b69cb9a5a48d4a610b115bbca7188","ref":"refs/heads/master","pushedAt":"2024-08-05T16:37:40.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Update libraries","shortMessageHtmlLink":"Update libraries"}},{"before":"c58dbd6233b0f87483e9d6fde21dc2865a8ecda5","after":"6175a3b1a02dd030b5a3fe1e6c2b8a6221ac0b26","ref":"refs/heads/master","pushedAt":"2024-08-03T15:33:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Move require-javadoc off runtime classpath","shortMessageHtmlLink":"Move require-javadoc off runtime classpath"}},{"before":"bb15265feec70c3074edae0ddfde2a2db9a10d80","after":"c58dbd6233b0f87483e9d6fde21dc2865a8ecda5","ref":"refs/heads/master","pushedAt":"2024-07-23T00:27:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"markro49","name":"Mark Roberts","path":"/markro49","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10236459?s=80&v=4"},"commit":{"message":"Fix Daikon issue 556 (#560)","shortMessageHtmlLink":"Fix Daikon issue 556 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2419987529\" data-permission-text=\"Title is private\" data-url=\"https://github.com/codespecs/daikon/issues/560\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/codespecs/daikon/pull/560/hovercard\" href=\"https://github.com/codespecs/daikon/pull/560\">#560</a>)"}},{"before":"7441a372f207e667d25315eff03b351f1de891f2","after":"bb15265feec70c3074edae0ddfde2a2db9a10d80","ref":"refs/heads/master","pushedAt":"2024-07-22T17:05:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Big goal file cleanup","shortMessageHtmlLink":"Big goal file cleanup"}},{"before":"45e530ca9e89166bfd5e6bdbcd760316d009f3ed","after":"7441a372f207e667d25315eff03b351f1de891f2","ref":"refs/heads/master","pushedAt":"2024-07-19T17:46:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Don't use \"*-testing\" Docker images","shortMessageHtmlLink":"Don't use \"*-testing\" Docker images"}},{"before":"c4792cccb327f5c18e4c429c0fb2f5a4a74245e4","after":"45e530ca9e89166bfd5e6bdbcd760316d009f3ed","ref":"refs/heads/master","pushedAt":"2024-07-19T17:45:38.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Add \"trigger:\" to azure-pipelines.yml","shortMessageHtmlLink":"Add \"trigger:\" to azure-pipelines.yml"}},{"before":"47c6bb712ac64e78b3d3b51dbe662405f78f6796","after":"c4792cccb327f5c18e4c429c0fb2f5a4a74245e4","ref":"refs/heads/master","pushedAt":"2024-07-09T22:09:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"new goal files for Ubuntu 24.04","shortMessageHtmlLink":"new goal files for Ubuntu 24.04"}},{"before":"ee50ea6f96a0752926395e5d18107b540b0fafef","after":"47c6bb712ac64e78b3d3b51dbe662405f78f6796","ref":"refs/heads/master","pushedAt":"2024-07-07T21:16:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Comment about NISuppression data structures","shortMessageHtmlLink":"Comment about NISuppression data structures"}},{"before":"98d731ff03b8a5400376e6898c201dd0a5346b5f","after":"ee50ea6f96a0752926395e5d18107b540b0fafef","ref":"refs/heads/master","pushedAt":"2024-07-06T20:34:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Update package name","shortMessageHtmlLink":"Update package name"}},{"before":"914e27fbadf71c7f4475d9e5a5e4f1c63f41b424","after":"98d731ff03b8a5400376e6898c201dd0a5346b5f","ref":"refs/heads/master","pushedAt":"2024-07-05T16:46:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Don't use `--filter=blob:none`","shortMessageHtmlLink":"Don't use <code>--filter=blob:none</code>"}},{"before":"90286059f7867205fffd87cde091f7c06719382c","after":"914e27fbadf71c7f4475d9e5a5e4f1c63f41b424","ref":"refs/heads/master","pushedAt":"2024-07-04T14:05:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Create (commented-out) CI job to type-check a single file","shortMessageHtmlLink":"Create (commented-out) CI job to type-check a single file"}},{"before":"db403f03d50161629bfceec6e5ece46d37bd715f","after":"90286059f7867205fffd87cde091f7c06719382c","ref":"refs/heads/master","pushedAt":"2024-07-04T13:58:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Remove check for JDK 21-ea","shortMessageHtmlLink":"Remove check for JDK 21-ea"}},{"before":"7748279e0da9d25dfe92774862a66cbda0a0dd64","after":"db403f03d50161629bfceec6e5ece46d37bd715f","ref":"refs/heads/master","pushedAt":"2024-07-04T13:57:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Remove out-of-date comment","shortMessageHtmlLink":"Remove out-of-date comment"}},{"before":"ab8f7c6cda59134dd45322ba9af831c53c54c789","after":"7748279e0da9d25dfe92774862a66cbda0a0dd64","ref":"refs/heads/master","pushedAt":"2024-07-04T13:53:17.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Make `clean` and `very-clean` clean up more files","shortMessageHtmlLink":"Make <code>clean</code> and <code>very-clean</code> clean up more files"}},{"before":"032a2d2251a580fe067693ed30697bd336a43231","after":"ab8f7c6cda59134dd45322ba9af831c53c54c789","ref":"refs/heads/master","pushedAt":"2024-07-03T17:20:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"markro49","name":"Mark Roberts","path":"/markro49","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10236459?s=80&v=4"},"commit":{"message":"changes to run daikon on jdk21 (#552)\n\nCo-authored-by: Michael Ernst <mernst@cs.washington.edu>","shortMessageHtmlLink":"changes to run daikon on jdk21 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2381941332\" data-permission-text=\"Title is private\" data-url=\"https://github.com/codespecs/daikon/issues/552\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/codespecs/daikon/pull/552/hovercard\" href=\"https://github.com/codespecs/daikon/pull/552\">#552</a>)"}},{"before":"7aaafd94dfef0f65b1cf0ff84b63aa3f3fae24a4","after":null,"ref":"refs/heads/perl-style","pushedAt":"2024-06-27T19:05:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"}},{"before":"f37156fd6da157f54abe02e1df3d3464d2016dd1","after":"032a2d2251a580fe067693ed30697bd336a43231","ref":"refs/heads/master","pushedAt":"2024-06-27T19:05:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Include `checkargs.pm`, improve Perl style","shortMessageHtmlLink":"Include <code>checkargs.pm</code>, improve Perl style"}},{"before":null,"after":"7aaafd94dfef0f65b1cf0ff84b63aa3f3fae24a4","ref":"refs/heads/perl-style","pushedAt":"2024-06-27T15:26:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Include `checkargs.pm`, improve Perl style","shortMessageHtmlLink":"Include <code>checkargs.pm</code>, improve Perl style"}},{"before":"ddf921cea41ceffa10712257f1991d45aed6df3c","after":"f37156fd6da157f54abe02e1df3d3464d2016dd1","ref":"refs/heads/master","pushedAt":"2024-06-17T21:44:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"markro49","name":"Mark Roberts","path":"/markro49","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10236459?s=80&v=4"},"commit":{"message":"simplfy junit test case detection (#548)","shortMessageHtmlLink":"simplfy junit test case detection (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2355912815\" data-permission-text=\"Title is private\" data-url=\"https://github.com/codespecs/daikon/issues/548\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/codespecs/daikon/pull/548/hovercard\" href=\"https://github.com/codespecs/daikon/pull/548\">#548</a>)"}},{"before":"f202d84244209d99ca52dbe18780762abe8f136f","after":"ddf921cea41ceffa10712257f1991d45aed6df3c","ref":"refs/heads/master","pushedAt":"2024-06-15T04:42:29.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"markro49","name":"Mark Roberts","path":"/markro49","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10236459?s=80&v=4"},"commit":{"message":"remove dead code; fix clean-kvasir (#547)","shortMessageHtmlLink":"remove dead code; fix clean-kvasir (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2354175095\" data-permission-text=\"Title is private\" data-url=\"https://github.com/codespecs/daikon/issues/547\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/codespecs/daikon/pull/547/hovercard\" href=\"https://github.com/codespecs/daikon/pull/547\">#547</a>)"}},{"before":"e1d06adf4f0b70754fdbbc635f56dcb2073ed07b","after":"f202d84244209d99ca52dbe18780762abe8f136f","ref":"refs/heads/master","pushedAt":"2024-06-02T01:45:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Tweak line length","shortMessageHtmlLink":"Tweak line length"}},{"before":"b478f782ae18361a10bce414d007e1016b978a37","after":null,"ref":"refs/heads/makefile-update","pushedAt":"2024-05-22T17:09:15.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"}},{"before":"f4e1eeb9480993dff763d66a22543f895e17f7d5","after":"e1d06adf4f0b70754fdbbc635f56dcb2073ed07b","ref":"refs/heads/master","pushedAt":"2024-05-22T17:09:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Fix for Daikon issue #538","shortMessageHtmlLink":"Fix for Daikon issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2261751078\" data-permission-text=\"Title is private\" data-url=\"https://github.com/codespecs/daikon/issues/538\" data-hovercard-type=\"issue\" data-hovercard-url=\"/codespecs/daikon/issues/538/hovercard\" href=\"https://github.com/codespecs/daikon/issues/538\">#538</a>"}},{"before":"c123243c500222aa6ff2dfe26754f3fab7dde6d7","after":"f4e1eeb9480993dff763d66a22543f895e17f7d5","ref":"refs/heads/master","pushedAt":"2024-05-22T15:36:00.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Use ruff","shortMessageHtmlLink":"Use ruff"}},{"before":"c6df2865099c0d39461c35dc4529764c1bd97a1a","after":"c123243c500222aa6ff2dfe26754f3fab7dde6d7","ref":"refs/heads/master","pushedAt":"2024-05-20T00:02:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mernst","name":"Michael Ernst","path":"/mernst","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/121025?s=80&v=4"},"commit":{"message":"Run tests only after compilation finishes","shortMessageHtmlLink":"Run tests only after compilation finishes"}},{"before":null,"after":"b478f782ae18361a10bce414d007e1016b978a37","ref":"refs/heads/makefile-update","pushedAt":"2024-05-17T21:49:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"markro49","name":"Mark Roberts","path":"/markro49","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10236459?s=80&v=4"},"commit":{"message":"fix for daikon issue #538","shortMessageHtmlLink":"fix for daikon issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2261751078\" data-permission-text=\"Title is private\" data-url=\"https://github.com/codespecs/daikon/issues/538\" data-hovercard-type=\"issue\" data-hovercard-url=\"/codespecs/daikon/issues/538/hovercard\" href=\"https://github.com/codespecs/daikon/issues/538\">#538</a>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEqjBNgQA","startCursor":null,"endCursor":null}},"title":"Activity · codespecs/daikon"}