{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":95351657,"defaultBranch":"master","name":"benchpress","ownerLogin":"sneeuwballen","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-06-25T10:00:18.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/53345006?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1706489938.0","currentOid":""},"activityList":{"items":[{"before":"e58ee3d7d0d157210ae55699afcbf7b92588a9e7","after":"1985ba4c12ee34e745ec84e80bf3180cfc283b50","ref":"refs/heads/master","pushedAt":"2024-05-24T13:51:53.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"[compare2] Add total time for problems solved by both provers\n\nThis patch adds the number of problems that are solved by both provers\n(with identical results, barring soundness issues) in the `compare2`\nview, as well as the time each prover took to solve only those shared\nproblems. This provides a more meaningful way of comparing different\nprovers' runtime.","shortMessageHtmlLink":"[compare2] Add total time for problems solved by both provers"}},{"before":"2cbd334a7f9e42700416de9372df721408a1d37b","after":"e58ee3d7d0d157210ae55699afcbf7b92588a9e7","ref":"refs/heads/master","pushedAt":"2024-04-03T14:11:52.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"Merge pull request #75 from bclement-ocp/bclement/comparesat\n\nAdd support for comparing results with a specific status","shortMessageHtmlLink":"Merge pull request #75 from bclement-ocp/bclement/comparesat"}},{"before":"cb2bae719e82fa44d15a32a00cc34a8de1728d25","after":null,"ref":"refs/heads/wip-prometheus","pushedAt":"2024-01-29T00:58:58.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"}},{"before":"0ab7f22e2ed8198a71c6fc8efeac3ee4f4e9c6cc","after":"2cbd334a7f9e42700416de9372df721408a1d37b","ref":"refs/heads/master","pushedAt":"2024-01-29T00:58:54.000Z","pushType":"pr_merge","commitsCount":15,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"Merge pull request #74 from sneeuwballen/wip-prometheus\n\nadd prometheus, simplify server logging","shortMessageHtmlLink":"Merge pull request #74 from sneeuwballen/wip-prometheus"}},{"before":"80de0797a548ef91cb07334b0afb39166cb19154","after":"cb2bae719e82fa44d15a32a00cc34a8de1728d25","ref":"refs/heads/wip-prometheus","pushedAt":"2024-01-24T03:17:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"detail in logging","shortMessageHtmlLink":"detail in logging"}},{"before":"563cd7a962dafcfc649bd59a8deb0f509be9f160","after":"80de0797a548ef91cb07334b0afb39166cb19154","ref":"refs/heads/wip-prometheus","pushedAt":"2024-01-24T02:59:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"compat with newer, log-enabled, tiny_httpd","shortMessageHtmlLink":"compat with newer, log-enabled, tiny_httpd"}},{"before":"20e2dac31ccd29413a3c026459ea28e312a22649","after":"563cd7a962dafcfc649bd59a8deb0f509be9f160","ref":"refs/heads/wip-prometheus","pushedAt":"2024-01-24T02:54:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"more logging levels","shortMessageHtmlLink":"more logging levels"}},{"before":"ed92d2a21e9d018633d42ee11595f24339a6ff99","after":"20e2dac31ccd29413a3c026459ea28e312a22649","ref":"refs/heads/wip-prometheus","pushedAt":"2024-01-24T02:44:18.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"fix: avoid using sqlite's aggregate function for Test_stat\n\nI still get segfaults on my server. It's not worth it.","shortMessageHtmlLink":"fix: avoid using sqlite's aggregate function for Test_stat"}},{"before":"cfd961ef2128e653cca38b7a4420b29f72e999e3","after":"ed92d2a21e9d018633d42ee11595f24339a6ff99","ref":"refs/heads/wip-prometheus","pushedAt":"2024-01-23T02:10:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"journald compatible logging","shortMessageHtmlLink":"journald compatible logging"}},{"before":"928d472d05413160b40c40a2ac9cc2cd942f5a4b","after":"cfd961ef2128e653cca38b7a4420b29f72e999e3","ref":"refs/heads/wip-prometheus","pushedAt":"2024-01-23T02:00:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"remove debug","shortMessageHtmlLink":"remove debug"}},{"before":"d931b1ec99125ede72ffdc4bcfcc84a8841351c1","after":"928d472d05413160b40c40a2ac9cc2cd942f5a4b","ref":"refs/heads/wip-prometheus","pushedAt":"2024-01-23T01:59:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"remove debug msg","shortMessageHtmlLink":"remove debug msg"}},{"before":"72c103da350f3131ba0f3d45f5bbae7b42df716d","after":"d931b1ec99125ede72ffdc4bcfcc84a8841351c1","ref":"refs/heads/wip-prometheus","pushedAt":"2024-01-23T01:52:29.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"simpler logger for server, without ansi codes","shortMessageHtmlLink":"simpler logger for server, without ansi codes"}},{"before":"77a05de47ab173dd4a9b72f74439c52b3ac4fbf7","after":"72c103da350f3131ba0f3d45f5bbae7b42df716d","ref":"refs/heads/wip-prometheus","pushedAt":"2024-01-23T01:31:28.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"fix: require a non buggy version of sqlite3","shortMessageHtmlLink":"fix: require a non buggy version of sqlite3"}},{"before":null,"after":"77a05de47ab173dd4a9b72f74439c52b3ac4fbf7","ref":"refs/heads/wip-prometheus","pushedAt":"2024-01-22T02:28:13.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"add metrics using prometheus","shortMessageHtmlLink":"add metrics using prometheus"}},{"before":"febf75b9bba26abfe7b5569b245e5e8754108a6f","after":"0ab7f22e2ed8198a71c6fc8efeac3ee4f4e9c6cc","ref":"refs/heads/master","pushedAt":"2023-12-07T05:30:40.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"faster CI","shortMessageHtmlLink":"faster CI"}},{"before":"05664d1154b12d989dd7a10b8d3bb62dc63cd5c1","after":"febf75b9bba26abfe7b5569b245e5e8754108a6f","ref":"refs/heads/master","pushedAt":"2023-10-26T01:47:40.000Z","pushType":"pr_merge","commitsCount":7,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"Merge pull request #73 from Halbaroth/statistics\n\nAdd detailed statistics for the subcommand `show`","shortMessageHtmlLink":"Merge pull request #73 from Halbaroth/statistics"}},{"before":"8a7baf247f72873fda6f17bfb4a1e1f887b176dc","after":"05664d1154b12d989dd7a10b8d3bb62dc63cd5c1","ref":"refs/heads/master","pushedAt":"2023-07-27T14:50:10.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"Use single-argument ulimit calls\n\nSome ulimit implementations (at least the one in dash, which is the\n/bin/sh implementation used by Debian derivatives) only accept setting\none limit at a time.\n\n```shell\n$ dash\n$ ulimit -t 20 -m 20\ndash: 1: ulimit: too many arguments\n```\n\nThis causes the limits set by benchpress to be ignored on these\nimplementations when there are multiple (e.g. time and memory) limits.\nThis patch changes the behavior to build a sequence of unrelated calls\nto `ulimit` (so `ulimit -t 20 ; ulimit -m 20 ; my_prover` instead of\n`ulimit -t 20 -m 20 ; my_prover`) for compatibility with these\nimplementations.","shortMessageHtmlLink":"Use single-argument ulimit calls"}},{"before":"80b184feaf1f87f71658c732fa95af43c76e009c","after":"8a7baf247f72873fda6f17bfb4a1e1f887b176dc","ref":"refs/heads/master","pushedAt":"2023-06-27T15:11:14.417Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"more precision when printing prover runtime","shortMessageHtmlLink":"more precision when printing prover runtime"}},{"before":"faaa12ec3a5b3ace93813b07b973f16f5865b071","after":"80b184feaf1f87f71658c732fa95af43c76e009c","ref":"refs/heads/master","pushedAt":"2023-06-13T14:59:44.244Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"Merge pull request #69 from bclement-ocp/bclement/cpuaff\n\nBetter benchmark stability","shortMessageHtmlLink":"Merge pull request #69 from bclement-ocp/bclement/cpuaff"}},{"before":"ae4919331834a9344c978496a0606f98097bf990","after":"faaa12ec3a5b3ace93813b07b973f16f5865b071","ref":"refs/heads/master","pushedAt":"2023-06-08T18:39:43.232Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"add fail indicator to progress bar","shortMessageHtmlLink":"add fail indicator to progress bar"}},{"before":"837db0c9ad49a4d1011a2c30de85708db80a6ac3","after":"ae4919331834a9344c978496a0606f98097bf990","ref":"refs/heads/master","pushedAt":"2023-06-07T16:47:19.596Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"Merge pull request #70 from bclement-ocp/bclement/oformat\n\nRun ocamlformat","shortMessageHtmlLink":"Merge pull request #70 from bclement-ocp/bclement/oformat"}},{"before":"d0508129de1cf3476fe430fb24ed8a8adb5a4f9c","after":"837db0c9ad49a4d1011a2c30de85708db80a6ac3","ref":"refs/heads/master","pushedAt":"2023-06-07T14:37:36.793Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"hra687261","name":"Hichem R. A.","path":"/hra687261","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35796293?s=80&v=4"},"commit":{"message":"Merge pull request #68 from bclement-ocp/bclement/ino\n\nFix `same_file` check, reloaded","shortMessageHtmlLink":"Merge pull request #68 from bclement-ocp/bclement/ino"}},{"before":"a27dd4f5b48cc4be22370d9f7c37a0a48e43bd3e","after":"d0508129de1cf3476fe430fb24ed8a8adb5a4f9c","ref":"refs/heads/master","pushedAt":"2023-06-04T00:47:59.135Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"Merge pull request #67 from hra687261/fix_samefile_check\n\nFix `same_file` check","shortMessageHtmlLink":"Merge pull request #67 from hra687261/fix_samefile_check"}},{"before":"f219d7d6206c554f131106916dfcb39649aff8d9","after":"a27dd4f5b48cc4be22370d9f7c37a0a48e43bd3e","ref":"refs/heads/master","pushedAt":"2023-05-31T18:57:32.033Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"Merge pull request #66 from bclement-ocp/bclement/binary\n\nAdd (binary) field to (prover) stanzas","shortMessageHtmlLink":"Merge pull request #66 from bclement-ocp/bclement/binary"}},{"before":"f5aea8c73aac364e64110a393242d334f3f3a9df","after":"f219d7d6206c554f131106916dfcb39649aff8d9","ref":"refs/heads/master","pushedAt":"2023-05-29T01:00:35.421Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"Merge pull request #65 from bclement-ocp/bclement/dir_files\n\nAdd support for dir_files (like -F) in run stanzas","shortMessageHtmlLink":"Merge pull request #65 from bclement-ocp/bclement/dir_files"}},{"before":"e5e466ee8cfafa9871a9dbf12caf6776903e995e","after":"f5aea8c73aac364e64110a393242d334f3f3a9df","ref":"refs/heads/master","pushedAt":"2023-04-28T15:15:06.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"Merge pull request #64 from bclement-ocp/bclement/compare2_plot\n\nAdd plot and detailed regressions to the prover comparison view","shortMessageHtmlLink":"Merge pull request #64 from bclement-ocp/bclement/compare2_plot"}},{"before":"66e2dd393435418095557e5282957f06ab551477","after":"e5e466ee8cfafa9871a9dbf12caf6776903e995e","ref":"refs/heads/master","pushedAt":"2023-04-27T18:32:14.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"Add ability to compare different provers\n\nThere is currently a /compare/ endpoint, but sometimes it can be\nnice/useful to compare two different provers from two different runs.\n\nThis PR provides a new endpoint /compare2/ available from the home page\nthat allows to select two arbitrary provers from any two runs and\ncompare them.","shortMessageHtmlLink":"Add ability to compare different provers"}},{"before":"daa0f13d58fbcba4f0027df69e667c7b2daae1a2","after":"66e2dd393435418095557e5282957f06ab551477","ref":"refs/heads/master","pushedAt":"2023-04-24T14:02:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"Allow naming directories in config files\n\nThis patch allows naming directories in the config file by setting the\n(optional) `name` field on a `dir` stanza. Defined directories can be\naccessed using `${dir:name}` syntax. See tests/conf_prover1.sexp for an\nexample.\n\nFixes #32","shortMessageHtmlLink":"Allow naming directories in config files"}},{"before":"c2567d1e4262ed2e8c5c31b9a96973903ac3ead0","after":"daa0f13d58fbcba4f0027df69e667c7b2daae1a2","ref":"refs/heads/master","pushedAt":"2023-04-04T01:24:48.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"hra687261","name":"Hichem R. A.","path":"/hra687261","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/35796293?s=80&v=4"},"commit":{"message":"Merge pull request #61 from hra687261/slurm-upstream\n\nRunning benchpress on a slurm-managed cluster","shortMessageHtmlLink":"Merge pull request #61 from hra687261/slurm-upstream"}},{"before":"289298463240950a4d12b61289438d674d8eb603","after":"c2567d1e4262ed2e8c5c31b9a96973903ac3ead0","ref":"refs/heads/master","pushedAt":"2023-04-04T00:31:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"remove CI upload deps","shortMessageHtmlLink":"remove CI upload deps"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEUxglNQA","startCursor":null,"endCursor":null}},"title":"Activity ยท sneeuwballen/benchpress"}