{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":638635352,"defaultBranch":"master","name":"uclid-smoke","ownerLogin":"sanchezocegueda","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-05-09T19:16:03.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/96963333?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1701811015.0","currentOid":""},"activityList":{"items":[{"before":"6e3a826ba7ee9247cfaf32479f2faa3ebe3199e3","after":"74cba92970a453a16eeab8a3b15dec8382b38bd4","ref":"refs/heads/master","pushedAt":"2024-01-12T22:33:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoAureliano","name":"Federico Mora Rocha","path":"/FedericoAureliano","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4874913?s=80&v=4"},"commit":{"message":"Add CI for smoke testing. Make helper function for smoke testing so that CI uses same code as main source.","shortMessageHtmlLink":"Add CI for smoke testing. Make helper function for smoke testing so t…"}},{"before":null,"after":"be5d880fcb007027b892fd9a63d589fbb237dcc7","ref":"refs/heads/debug","pushedAt":"2023-12-05T21:16:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sanchezocegueda","name":null,"path":"/sanchezocegueda","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96963333?s=80&v=4"},"commit":{"message":"Failing smoke spec test cases","shortMessageHtmlLink":"Failing smoke spec test cases"}},{"before":"5d0639d99e4dd3e0239ae558e909048331f1fb5f","after":"6e3a826ba7ee9247cfaf32479f2faa3ebe3199e3","ref":"refs/heads/master","pushedAt":"2023-11-21T03:16:37.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"sanchezocegueda","name":null,"path":"/sanchezocegueda","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96963333?s=80&v=4"},"commit":{"message":"Merge branch 'uclid-org:master' into master","shortMessageHtmlLink":"Merge branch 'uclid-org:master' into master"}},{"before":"8ca3b52e24d641e5890f4257a2cb20aab12d9048","after":"5d0639d99e4dd3e0239ae558e909048331f1fb5f","ref":"refs/heads/master","pushedAt":"2023-08-09T19:30:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sanchezocegueda","name":null,"path":"/sanchezocegueda","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96963333?s=80&v=4"},"commit":{"message":"LTL support and more descriptive test results.","shortMessageHtmlLink":"LTL support and more descriptive test results."}},{"before":"4009f1ebe5ac760ab1f175a8c8efa65e22376906","after":"8ca3b52e24d641e5890f4257a2cb20aab12d9048","ref":"refs/heads/master","pushedAt":"2023-06-19T20:41:53.958Z","pushType":"push","commitsCount":1,"pusher":{"login":"sanchezocegueda","name":null,"path":"/sanchezocegueda","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96963333?s=80&v=4"},"commit":{"message":"Test unreachability in terms of blocks, not lines; more descriptive error messages.","shortMessageHtmlLink":"Test unreachability in terms of blocks, not lines; more descriptive e…"}},{"before":"fdf67bb8a8a22429436efb4769a84211efce77e7","after":"4009f1ebe5ac760ab1f175a8c8efa65e22376906","ref":"refs/heads/master","pushedAt":"2023-06-19T20:40:55.809Z","pushType":"push","commitsCount":2,"pusher":{"login":"sanchezocegueda","name":null,"path":"/sanchezocegueda","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96963333?s=80&v=4"},"commit":{"message":"Basic functionality tests.","shortMessageHtmlLink":"Basic functionality tests."}},{"before":"9a289ec3372e0bc826f2cd02ceb8389a2a77e20f","after":"fdf67bb8a8a22429436efb4769a84211efce77e7","ref":"refs/heads/master","pushedAt":"2023-06-12T22:57:58.978Z","pushType":"push","commitsCount":1,"pusher":{"login":"sanchezocegueda","name":null,"path":"/sanchezocegueda","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96963333?s=80&v=4"},"commit":{"message":"Added error messages for LTL; Results now include indeterminate tests as well.","shortMessageHtmlLink":"Added error messages for LTL; Results now include indeterminate tests…"}},{"before":"2f436f6834fa743f88affd58f13a28546ffb1c04","after":"9a289ec3372e0bc826f2cd02ceb8389a2a77e20f","ref":"refs/heads/master","pushedAt":"2023-06-12T12:09:36.312Z","pushType":"push","commitsCount":1,"pusher":{"login":"sanchezocegueda","name":null,"path":"/sanchezocegueda","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96963333?s=80&v=4"},"commit":{"message":"More descriptive documentation for smoke testing.","shortMessageHtmlLink":"More descriptive documentation for smoke testing."}},{"before":"12c749486a3cebf3cc93f2356bbaa253edf994b7","after":"2f436f6834fa743f88affd58f13a28546ffb1c04","ref":"refs/heads/master","pushedAt":"2023-06-09T21:35:40.574Z","pushType":"push","commitsCount":1,"pusher":{"login":"FedericoAureliano","name":"Federico Mora Rocha","path":"/FedericoAureliano","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4874913?s=80&v=4"},"commit":{"message":"add smoke test result printing; put assert false at the end of a block; remove short command line option for smoke testing.","shortMessageHtmlLink":"add smoke test result printing; put assert false at the end of a bloc…"}},{"before":"2d1ff2405c6f2786d033dfb6cb8d48a2da2274f3","after":"12c749486a3cebf3cc93f2356bbaa253edf994b7","ref":"refs/heads/master","pushedAt":"2023-06-09T00:33:54.099Z","pushType":"push","commitsCount":1,"pusher":{"login":"sanchezocegueda","name":null,"path":"/sanchezocegueda","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96963333?s=80&v=4"},"commit":{"message":"Added scripts to install dependencies for both MacOS and Linux.","shortMessageHtmlLink":"Added scripts to install dependencies for both MacOS and Linux."}},{"before":"c66e6c6e62b0322e4f4ad71ce9afad83b3fef0bf","after":"2d1ff2405c6f2786d033dfb6cb8d48a2da2274f3","ref":"refs/heads/master","pushedAt":"2023-06-09T00:04:04.022Z","pushType":"push","commitsCount":1,"pusher":{"login":"sanchezocegueda","name":null,"path":"/sanchezocegueda","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96963333?s=80&v=4"},"commit":{"message":"Added scripts to install linux dependencies and build uclid faster","shortMessageHtmlLink":"Added scripts to install linux dependencies and build uclid faster"}},{"before":"68c19a2b988a094408fbab5d63a0277ac30dca23","after":"c66e6c6e62b0322e4f4ad71ce9afad83b3fef0bf","ref":"refs/heads/master","pushedAt":"2023-06-09T00:02:25.634Z","pushType":"push","commitsCount":1,"pusher":{"login":"sanchezocegueda","name":null,"path":"/sanchezocegueda","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96963333?s=80&v=4"},"commit":{"message":"Smoke testing added","shortMessageHtmlLink":"Smoke testing added"}},{"before":"36f1a96d41e969067faef014c66c8b1164d3d304","after":"68c19a2b988a094408fbab5d63a0277ac30dca23","ref":"refs/heads/master","pushedAt":"2023-05-24T20:45:44.289Z","pushType":"push","commitsCount":1,"pusher":{"login":"sanchezocegueda","name":null,"path":"/sanchezocegueda","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96963333?s=80&v=4"},"commit":{"message":"Smoke option converts all assert statements into assert false statements","shortMessageHtmlLink":"Smoke option converts all assert statements into assert false statements"}},{"before":"fe3837ea9c47be0be176f6ce5f326457f671053a","after":"36f1a96d41e969067faef014c66c8b1164d3d304","ref":"refs/heads/master","pushedAt":"2023-05-23T04:38:14.820Z","pushType":"push","commitsCount":1,"pusher":{"login":"sanchezocegueda","name":null,"path":"/sanchezocegueda","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96963333?s=80&v=4"},"commit":{"message":"Added a naïve command-line option that inserts an 'assert false' statement at the specifed line number.","shortMessageHtmlLink":"Added a naïve command-line option that inserts an 'assert false' stat…"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0xMlQyMjozMzoyNi4wMDAwMDBazwAAAAPenYPO","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMS0xMlQyMjozMzoyNi4wMDAwMDBazwAAAAPenYPO","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNS0yM1QwNDozODoxNC44MjA2OTZazwAAAAMyFy-k"}},"title":"Activity · sanchezocegueda/uclid-smoke"}