{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":319913332,"defaultBranch":"main","name":"uppaal-libs","ownerLogin":"UPPAALModelChecker","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-12-09T09:58:11.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/71254210?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1712238752.0","currentOid":""},"activityList":{"items":[{"before":"2d780610bdcb2c61126a0f6fd9e50845d2b83ac7","after":"c4dfa326176863b4cfcf50fa25b7ae39e90e822c","ref":"refs/heads/error-refactor","pushedAt":"2024-04-04T16:35:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Cleaned up the build and table.xml","shortMessageHtmlLink":"Cleaned up the build and table.xml"}},{"before":"5057f4e10243561359a51dea3230dddd10f6f187","after":"2d780610bdcb2c61126a0f6fd9e50845d2b83ac7","ref":"refs/heads/error-refactor","pushedAt":"2024-04-04T16:23:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Refactored errors to use source_location from C++20 and removed g++-10 from builds","shortMessageHtmlLink":"Refactored errors to use source_location from C++20 and removed g++-1…"}},{"before":"55804340d2f0584ac50617e04f935f89827c6562","after":"5057f4e10243561359a51dea3230dddd10f6f187","ref":"refs/heads/error-refactor","pushedAt":"2024-04-04T15:22:20.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Attempt to fix filesystem paths for MSVC","shortMessageHtmlLink":"Attempt to fix filesystem paths for MSVC"}},{"before":"3d99339b41c013167573c658178a0bd4dff38d96","after":"55804340d2f0584ac50617e04f935f89827c6562","ref":"refs/heads/error-refactor","pushedAt":"2024-04-04T15:17:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Attempt to fix filesystem paths for MSVC","shortMessageHtmlLink":"Attempt to fix filesystem paths for MSVC"}},{"before":"337e8eaa431a18405035dc8c98c5b6e6820d5b95","after":"3d99339b41c013167573c658178a0bd4dff38d96","ref":"refs/heads/error-refactor","pushedAt":"2024-04-04T14:06:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Upgraded Github actions script versions","shortMessageHtmlLink":"Upgraded Github actions script versions"}},{"before":"9836640a0300235978ac5a3667f322f95ea850b4","after":"337e8eaa431a18405035dc8c98c5b6e6820d5b95","ref":"refs/heads/error-refactor","pushedAt":"2024-04-04T13:56:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Fixed formatting of new files","shortMessageHtmlLink":"Fixed formatting of new files"}},{"before":null,"after":"9836640a0300235978ac5a3667f322f95ea850b4","ref":"refs/heads/error-refactor","pushedAt":"2024-04-04T13:52:32.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Added libarray example demonstrating storing and loading of double data","shortMessageHtmlLink":"Added libarray example demonstrating storing and loading of double data"}},{"before":"dc8cb725af5bf0cf553dde399c7a6b30396aeca8","after":null,"ref":"refs/heads/self-hosted","pushedAt":"2023-12-07T11:52:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"}},{"before":null,"after":"dc8cb725af5bf0cf553dde399c7a6b30396aeca8","ref":"refs/heads/self-hosted","pushedAt":"2023-12-07T11:44:07.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Adjusted the CI runners to self-hosted","shortMessageHtmlLink":"Adjusted the CI runners to self-hosted"}},{"before":"98f9baaf0709f4d82075bf3e2ec466b69ddf34ed","after":"1b69d685744af84aa343ddf66e41819de97fdb06","ref":"refs/heads/main","pushedAt":"2023-09-05T08:34:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Simplified compile.sh so that bash-3/MacOS can understand it","shortMessageHtmlLink":"Simplified compile.sh so that bash-3/MacOS can understand it"}},{"before":"ea4970d02e6001f82087245dfb5ff86265d0fdc7","after":null,"ref":"refs/tags/vFake3","pushedAt":"2023-09-05T08:23:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"}},{"before":"596518d70dcadcaed019d361b5270b159493fd59","after":null,"ref":"refs/tags/vFake2","pushedAt":"2023-09-05T08:23:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"}},{"before":"d771e0cf76f3a4edfa50be91e3b9dccf79e249be","after":null,"ref":"refs/heads/fix-macos-crash","pushedAt":"2023-09-05T08:18:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"}},{"before":null,"after":"d771e0cf76f3a4edfa50be91e3b9dccf79e249be","ref":"refs/heads/fix-macos-crash","pushedAt":"2023-09-05T08:17:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Simplified build steps in CI scripts","shortMessageHtmlLink":"Simplified build steps in CI scripts"}},{"before":"d771e0cf76f3a4edfa50be91e3b9dccf79e249be","after":null,"ref":"refs/heads/fix-macos-crash","pushedAt":"2023-09-05T08:16:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"}},{"before":"d00bf1c90e7f02bd53961c821e8d91e2c530c32b","after":"98f9baaf0709f4d82075bf3e2ec466b69ddf34ed","ref":"refs/heads/main","pushedAt":"2023-09-05T08:16:28.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Merge pr #11 to fix brew test crashing by disabling sanitizers\n\nFix test crash on MacOS by disabling sanitizers on brew targets","shortMessageHtmlLink":"Merge pr #11 to fix brew test crashing by disabling sanitizers"}},{"before":"77c08c8ef8abd5a4db3fbabcf724bcda499ecf79","after":"d771e0cf76f3a4edfa50be91e3b9dccf79e249be","ref":"refs/heads/fix-macos-crash","pushedAt":"2023-09-05T08:05:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Simplified build steps in CI scripts","shortMessageHtmlLink":"Simplified build steps in CI scripts"}},{"before":"99039c3993a65d0cfb3248cec4a838851d082262","after":"77c08c8ef8abd5a4db3fbabcf724bcda499ecf79","ref":"refs/heads/fix-macos-crash","pushedAt":"2023-09-05T07:54:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Simplified build steps in CI scripts","shortMessageHtmlLink":"Simplified build steps in CI scripts"}},{"before":"86b4988153c50820669555c651471fe4f1ce2f22","after":"99039c3993a65d0cfb3248cec4a838851d082262","ref":"refs/heads/fix-macos-crash","pushedAt":"2023-09-05T07:29:32.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Disabled sanitizers for macos-brew compilers\nIt seems that brew does not ship libasan anymore, perhaps related to limited support of arm.","shortMessageHtmlLink":"Disabled sanitizers for macos-brew compilers"}},{"before":null,"after":"86b4988153c50820669555c651471fe4f1ce2f22","ref":"refs/heads/fix-macos-crash","pushedAt":"2023-09-05T06:57:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Simplify build scripts","shortMessageHtmlLink":"Simplify build scripts"}},{"before":"bd13e66339e1fc3714eb1d61bd5ea5d3050e803e","after":"d00bf1c90e7f02bd53961c821e8d91e2c530c32b","ref":"refs/heads/main","pushedAt":"2023-06-16T09:56:32.778Z","pushType":"push","commitsCount":1,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Fixed TID in example code on README.md","shortMessageHtmlLink":"Fixed TID in example code on README.md"}},{"before":"fd366f74d2d95c09335970585195aaa5c0c5d6e9","after":"bd13e66339e1fc3714eb1d61bd5ea5d3050e803e","ref":"refs/heads/main","pushedAt":"2023-06-16T09:38:49.581Z","pushType":"push","commitsCount":1,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Updated README.md about Uppaal versions","shortMessageHtmlLink":"Updated README.md about Uppaal versions"}},{"before":"9ced4d81bec0373cd8fdd9671b9a7e0c99754e5f","after":null,"ref":"refs/heads/fix-release","pushedAt":"2023-06-16T09:25:03.669Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"}},{"before":"14097d6c6432d656b897ecfd46a8acb6b1c6ff59","after":"fd366f74d2d95c09335970585195aaa5c0c5d6e9","ref":"refs/heads/main","pushedAt":"2023-06-16T09:25:00.541Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Merge pr #9: fix windows release to include debug as well as release\n\nfix the environment variables in Windows","shortMessageHtmlLink":"Merge pr #9: fix windows release to include debug as well as release"}},{"before":"33c74ee46f4e724e086a4eb6402e58f2d7b0f65c","after":null,"ref":"refs/tags/vFake1","pushedAt":"2023-06-16T09:24:15.096Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"}},{"before":"33c74ee46f4e724e086a4eb6402e58f2d7b0f65c","after":"9ced4d81bec0373cd8fdd9671b9a7e0c99754e5f","ref":"refs/heads/fix-release","pushedAt":"2023-06-16T09:23:21.705Z","pushType":"push","commitsCount":1,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"Added an option to dispatch actions on demand","shortMessageHtmlLink":"Added an option to dispatch actions on demand"}},{"before":"33c74ee46f4e724e086a4eb6402e58f2d7b0f65c","after":null,"ref":"refs/tags/vFake1","pushedAt":"2023-06-16T09:09:33.909Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"}},{"before":"14097d6c6432d656b897ecfd46a8acb6b1c6ff59","after":null,"ref":"refs/tags/v1.2","pushedAt":"2023-06-16T09:09:23.664Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"}},{"before":null,"after":"33c74ee46f4e724e086a4eb6402e58f2d7b0f65c","ref":"refs/heads/fix-release","pushedAt":"2023-06-16T09:08:13.870Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"},"commit":{"message":"fix the environment variables in Windows","shortMessageHtmlLink":"fix the environment variables in Windows"}},{"before":"14097d6c6432d656b897ecfd46a8acb6b1c6ff59","after":null,"ref":"refs/tags/v1.2","pushedAt":"2023-06-16T09:04:13.969Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"mikucionisaau","name":"Marius Mikučionis","path":"/mikucionisaau","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/4868894?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEKATwhgA","startCursor":null,"endCursor":null}},"title":"Activity · UPPAALModelChecker/uppaal-libs"}