{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":28639394,"defaultBranch":"main","name":"symbiotic","ownerLogin":"staticafi","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2014-12-30T17:33:06.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/15049001?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1705960034.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"9c278f95babb5c130934f62742386f54a5ad38a2","ref":"refs/heads/symbiotic10-dev","pushedAt":"2024-01-22T21:47:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ayazip","name":null,"path":"/ayazip","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71931758?s=80&v=4"},"commit":{"message":"YAML witness format changes","shortMessageHtmlLink":"YAML witness format changes"}},{"before":null,"after":"647ccad11ae2a96de751d3bddffa775f663a5f09","ref":"refs/heads/svcomp24","pushedAt":"2023-11-23T16:40:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Bump version.","shortMessageHtmlLink":"Bump version."}},{"before":"7a427de39421a7e67477b50b49bec0474f9f3335","after":"3899c7b77be5d6ec41df92898a24fb7e019ee3bf","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-11-20T18:24:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Update dg.","shortMessageHtmlLink":"Update dg."}},{"before":"d4ff45cb0b084d09dad412546c3f5a72c88263c1","after":"7a427de39421a7e67477b50b49bec0474f9f3335","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-11-20T17:45:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Update sbt-instrumentation.","shortMessageHtmlLink":"Update sbt-instrumentation."}},{"before":"76c1fd172cd1c789eb085510d6e1987384269589","after":"d4ff45cb0b084d09dad412546c3f5a72c88263c1","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-11-20T17:43:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Use lazy init by default.","shortMessageHtmlLink":"Use lazy init by default."}},{"before":"9edbd2e35850b0c321b4832c2c1574b3ca5c917b","after":"76c1fd172cd1c789eb085510d6e1987384269589","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-11-20T12:49:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JindraSe","name":"Jindřich Sedláček","path":"/JindraSe","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/119671965?s=80&v=4"},"commit":{"message":"use slowbeast when klee fails on threads for every category","shortMessageHtmlLink":"use slowbeast when klee fails on threads for every category"}},{"before":"ae2af7fae0322e0744c0b811ff1e0d33754d5f1c","after":"9edbd2e35850b0c321b4832c2c1574b3ca5c917b","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-11-17T11:00:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Update dg.","shortMessageHtmlLink":"Update dg."}},{"before":"08e05dff9ae65e715d3f9dced774ac71babda7cb","after":"ae2af7fae0322e0744c0b811ff1e0d33754d5f1c","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-11-17T10:58:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Also create zip from image.","shortMessageHtmlLink":"Also create zip from image."}},{"before":"8a531ea46a3b0903f5126544b62c281730475abb","after":"08e05dff9ae65e715d3f9dced774ac71babda7cb","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-11-17T10:55:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Update dg.","shortMessageHtmlLink":"Update dg."}},{"before":"0bc40c8d89b3280f21a41a406641b30331deae5b","after":"8a531ea46a3b0903f5126544b62c281730475abb","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-11-17T10:54:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Update JetKlee.","shortMessageHtmlLink":"Update JetKlee."}},{"before":"9616339e1e8b179af82f537cd2a6a34b631217f4","after":"0bc40c8d89b3280f21a41a406641b30331deae5b","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-11-17T10:51:40.000Z","pushType":"pr_merge","commitsCount":8,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Merge pull request #252 from ayazip/YAML-generation\n\nYAML violation witness generation with JetKlee","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1995646149\" data-permission-text=\"Title is private\" data-url=\"https://github.com/staticafi/symbiotic/issues/252\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/staticafi/symbiotic/pull/252/hovercard\" href=\"https://github.com/staticafi/symbiotic/pull/252\">#252</a> from ayazip/YAML-generation"}},{"before":"9ad9499ba7d516aca2fffc99746e0dd98255d5fa","after":"9616339e1e8b179af82f537cd2a6a34b631217f4","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-11-17T10:51:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Update JetKlee.","shortMessageHtmlLink":"Update JetKlee."}},{"before":"3be6d8f769fbb7a3df152bbf426d2e78220f32e0","after":"9ad9499ba7d516aca2fffc99746e0dd98255d5fa","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-11-17T10:49:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Use our JetKlee.","shortMessageHtmlLink":"Use our JetKlee."}},{"before":"ecf5b684bd4b867b7647fabc7f4b9f59aeeae3f4","after":"3be6d8f769fbb7a3df152bbf426d2e78220f32e0","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-11-17T10:44:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Temporarily use Paulina's JetKlee.","shortMessageHtmlLink":"Temporarily use Paulina's JetKlee."}},{"before":"5ac85af8e7c424356e90b7e997d374870cde573a","after":"ecf5b684bd4b867b7647fabc7f4b9f59aeeae3f4","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-11-17T10:40:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Temporarily revert klee.","shortMessageHtmlLink":"Temporarily revert klee."}},{"before":"08ffdca3896df6c37acd1076349379c34bdddb01","after":"5ac85af8e7c424356e90b7e997d374870cde573a","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-11-17T08:50:13.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Update predator","shortMessageHtmlLink":"Update predator"}},{"before":"071b2fe4c1892ef0c82d4f8d3205668cc0bc6bba","after":"710e796f2165d2d232df7c1cade4f9408363d7cc","ref":"refs/heads/symbiotic9.1","pushedAt":"2023-11-12T19:00:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ayazip","name":null,"path":"/ayazip","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71931758?s=80&v=4"},"commit":{"message":"Reverting accidentally pushed commits","shortMessageHtmlLink":"Reverting accidentally pushed commits"}},{"before":"33c7d4533cacb45fa717da871db1122a8393b6e9","after":"071b2fe4c1892ef0c82d4f8d3205668cc0bc6bba","ref":"refs/heads/symbiotic9.1","pushedAt":"2023-11-12T18:26:02.000Z","pushType":"push","commitsCount":7,"pusher":{"login":"ayazip","name":null,"path":"/ayazip","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71931758?s=80&v=4"},"commit":{"message":"fixed in witness generation","shortMessageHtmlLink":"fixed in witness generation"}},{"before":"d4b1544fb6e197484ab09fcd95f06bce554d9367","after":"08ffdca3896df6c37acd1076349379c34bdddb01","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-11-03T08:39:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Change dg version.","shortMessageHtmlLink":"Change dg version."}},{"before":"84fdb475ba3a0d676ba7861f1132760eb178bad5","after":"d4b1544fb6e197484ab09fcd95f06bce554d9367","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-11-01T19:57:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Change dg submodule to our own fork.","shortMessageHtmlLink":"Change dg submodule to our own fork."}},{"before":"46a3154f98e7b078055a4d88deab902b033ce778","after":"84fdb475ba3a0d676ba7861f1132760eb178bad5","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-11-01T19:56:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Update instrumentation submodule","shortMessageHtmlLink":"Update instrumentation submodule"}},{"before":"bcade44d5e8f23485b1192b978e3620bb6e8f5c7","after":"46a3154f98e7b078055a4d88deab902b033ce778","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-11-01T19:54:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Add temporary helper for extracting build from docker container.","shortMessageHtmlLink":"Add temporary helper for extracting build from docker container."}},{"before":"d764c430be56c68a7ffc227362de65343711c94f","after":"bcade44d5e8f23485b1192b978e3620bb6e8f5c7","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-11-01T16:16:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Use svcomp24 branch of jetklee.","shortMessageHtmlLink":"Use svcomp24 branch of jetklee."}},{"before":"4b1c7ff259c64a4435879fbc63f0da1d61ad884d","after":"d764c430be56c68a7ffc227362de65343711c94f","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-10-31T08:19:37.000Z","pushType":"push","commitsCount":81,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Dockerfile: build slowbeast.","shortMessageHtmlLink":"Dockerfile: build slowbeast."}},{"before":null,"after":"4b1c7ff259c64a4435879fbc63f0da1d61ad884d","ref":"refs/heads/build-ubuntu-2204","pushedAt":"2023-09-27T12:59:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"martinjonas","name":"Martin Jonáš","path":"/martinjonas","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/11857731?s=80&v=4"},"commit":{"message":"Temporary development docker file for Ubuntu 22.04.","shortMessageHtmlLink":"Temporary development docker file for Ubuntu 22.04."}},{"before":"071d45f9342571c30b045e86cc84d771ae41dcdc","after":null,"ref":"refs/heads/dependabot","pushedAt":"2023-04-30T14:32:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"lzaoral","name":"Lukáš Zaoral","path":"/lzaoral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48823770?s=80&v=4"}},{"before":"05863a0a2794f3c0c6559cb006d0e1ce2dc767bc","after":"f429cd69c9b1482eca34feebe3a7405fd9960fc7","ref":"refs/heads/witch-klee","pushedAt":"2023-03-23T12:59:25.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"ayazip","name":null,"path":"/ayazip","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/71931758?s=80&v=4"},"commit":{"message":"Merge pull request #234 from ayazip/witch-klee\n\nUpdate Symbiotic for Witch 2","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1498769691\" data-permission-text=\"Title is private\" data-url=\"https://github.com/staticafi/symbiotic/issues/234\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/staticafi/symbiotic/pull/234/hovercard\" href=\"https://github.com/staticafi/symbiotic/pull/234\">#234</a> from ayazip/witch-klee"}},{"before":"4f0764412fd0ed861d473c5c4b71f38029559cbd","after":"7ba60a1e715ef0d5f261c9b2f032a00d96b4d053","ref":"refs/heads/main","pushedAt":"2023-03-14T10:58:42.973Z","pushType":"push","commitsCount":8,"pusher":{"login":"lzaoral","name":"Lukáš Zaoral","path":"/lzaoral","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/48823770?s=80&v=4"},"commit":{"message":"CI: replace Ubuntu 18.04 with Ubuntu 20.04\n\nUbuntu 18.04 reached EOL this spring, the CI images are deprecated and\nthey will be removed soon.\n\nSee: https://github.com/actions/runner-images/issues/6002","shortMessageHtmlLink":"CI: replace Ubuntu 18.04 with Ubuntu 20.04"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD5khKrAA","startCursor":null,"endCursor":null}},"title":"Activity · staticafi/symbiotic"}