doc/sisyphus_logo_github.svg

<svg width="32" height="26" viewBox="0 0 32 26" fill="none" xmlns="http://www.w3.org/2000/svg">
<path fill-rule="evenodd" clip-rule="evenodd" d="M13.8536 11.3536C12.8595 12.3476 11.9378 13.2543 11.0137 13.9082C10.0811 14.568 9.10607 15 8 15C5.79086 15 4 13.2091 4 11C4 8.79086 5.79086 7 8 7C9.10607 7 10.0811 7.43204 11.0137 8.09183C11.3572 8.33489 11.7004 8.61288 12.0471 8.91732C12.1779 9.03219 12.3092 9.15084 12.4413 9.27279C12.5549 9.37775 12.6691 9.48516 12.7839 9.59474L12.4393 9.93934C12.3372 10.0415 12.2372 10.1413 12.1392 10.2386C12.118 10.2597 12.0969 10.2806 12.0759 10.3014C11.9701 10.2005 11.8654 10.1023 11.762 10.0067C11.3038 9.58331 10.8674 9.21334 10.4361 8.90817C9.60158 8.31775 8.82667 8 8 8C6.34315 8 5 9.34315 5 11C5 12.6569 6.34315 14 8 14C8.82667 14 9.60158 13.6823 10.4361 13.0918C10.9673 12.716 11.5062 12.2418 12.084 11.6908C12.2841 11.4999 12.4889 11.2997 12.6997 11.0912C12.8341 10.9582 12.9717 10.8211 13.1113 10.6816C13.123 10.6699 13.1347 10.6582 13.1464 10.6465L13.271 10.5219C14.5347 9.25788 15.7317 8.06066 16.9285 7.11172C17.0019 7.05353 17.0753 6.99628 17.1487 6.93999C17.2462 6.86529 17.3436 6.79229 17.4412 6.72111C18.0418 6.28276 18.6536 5.90659 19.2861 5.61873C20.1445 5.22803 21.0411 5 22 5C25.3137 5 28 7.68629 28 11C28 14.3137 25.3137 17 22 17C20.3347 17 18.8571 16.3122 17.4412 15.2789C16.6865 14.7281 15.9355 14.0686 15.1716 13.3457C15.0894 13.2678 15.007 13.1893 14.9246 13.1101C14.6875 12.8825 14.4489 12.6493 14.2085 12.4119C14.2283 12.3922 14.2481 12.3726 14.2679 12.3529C14.3655 12.2557 14.4631 12.1583 14.5607 12.0607L14.9161 11.7053L14.9325 11.7215C15.2496 12.0344 15.5599 12.3363 15.8651 12.6251C16.5946 13.3153 17.2951 13.9303 17.9893 14.4408C18.0031 14.451 18.0169 14.4611 18.0307 14.4711C19.3555 15.438 20.6279 16 22 16C24.7614 16 27 13.7614 27 11C27 8.23858 24.7614 6 22 6C20.6279 6 19.3555 6.56203 18.0307 7.52889C17.0197 8.26662 16.0049 9.21981 14.9137 10.2973C14.715 10.4935 14.5137 10.6938 14.3095 10.8978C14.2991 10.9081 14.2886 10.9186 14.2783 10.929C14.1789 11.0282 14.079 11.128 13.9782 11.2289M16.7508 5.98757C16.6683 5.99579 16.5846 6 16.5 6C15.1193 6 14 4.88071 14 3.5C14 2.11929 15.1193 1 16.5 1C17.8807 1 19 2.11929 19 3.5C19 3.98828 18.86 4.44387 18.618 4.82882C18.2418 5.4271 17.6192 5.85475 16.8926 5.96936C16.8457 5.97674 16.7985 5.98283 16.7508 5.98757ZM13.9447 11.2624L13.8536 11.3536ZM16.5 5C17.3284 5 18 4.32843 18 3.5C18 2.67157 17.3284 2 16.5 2C15.6716 2 15 2.67157 15 3.5C15 4.32843 15.6716 5 16.5 5Z" fill="black"/>
<path d="M5.014 21.663C5.014 22.1063 4.853 22.4517 4.531 22.699C4.209 22.9463 3.775 23.07 3.229 23.07C2.949 23.07 2.69 23.049 2.452 23.007C2.214 22.965 2.01567 22.9067 1.857 22.832V22.23C2.025 22.3047 2.23267 22.3723 2.48 22.433C2.732 22.4937 2.991 22.524 3.257 22.524C3.63033 22.524 3.91033 22.4517 4.097 22.307C4.28833 22.1623 4.384 21.9663 4.384 21.719C4.384 21.5557 4.349 21.418 4.279 21.306C4.209 21.194 4.08767 21.0913 3.915 20.998C3.747 20.9 3.51133 20.7973 3.208 20.69C2.78333 20.536 2.46133 20.347 2.242 20.123C2.02733 19.899 1.92 19.5933 1.92 19.206C1.92 18.94 1.98767 18.7137 2.123 18.527C2.25833 18.3357 2.445 18.1887 2.683 18.086C2.92567 17.9833 3.20333 17.932 3.516 17.932C3.79133 17.932 4.04333 17.9577 4.272 18.009C4.50067 18.0603 4.70833 18.128 4.895 18.212L4.699 18.751C4.52633 18.6763 4.33733 18.6133 4.132 18.562C3.93133 18.5107 3.72133 18.485 3.502 18.485C3.18933 18.485 2.95367 18.5527 2.795 18.688C2.63633 18.8187 2.557 18.9937 2.557 19.213C2.557 19.381 2.592 19.521 2.662 19.633C2.732 19.745 2.84633 19.8453 3.005 19.934C3.16367 20.0227 3.37833 20.1183 3.649 20.221C3.943 20.3283 4.19033 20.445 4.391 20.571C4.59633 20.6923 4.75033 20.8393 4.853 21.012C4.96033 21.1847 5.014 21.4017 5.014 21.663ZM6.2518 17.841C6.34513 17.841 6.4268 17.8737 6.4968 17.939C6.57146 17.9997 6.6088 18.0977 6.6088 18.233C6.6088 18.3637 6.57146 18.4617 6.4968 18.527C6.4268 18.5923 6.34513 18.625 6.2518 18.625C6.14913 18.625 6.0628 18.5923 5.9928 18.527C5.9228 18.4617 5.8878 18.3637 5.8878 18.233C5.8878 18.0977 5.9228 17.9997 5.9928 17.939C6.0628 17.8737 6.14913 17.841 6.2518 17.841ZM6.5528 19.248V23H5.9368V19.248H6.5528ZM10.1845 21.964C10.1845 22.328 10.0492 22.6033 9.77848 22.79C9.50782 22.9767 9.14382 23.07 8.68648 23.07C8.42515 23.07 8.19882 23.049 8.00748 23.007C7.82082 22.965 7.65515 22.9067 7.51048 22.832V22.272C7.65982 22.3467 7.83948 22.4167 8.04948 22.482C8.26415 22.5427 8.48115 22.573 8.70048 22.573C9.01315 22.573 9.23948 22.524 9.37948 22.426C9.51948 22.3233 9.58948 22.188 9.58948 22.02C9.58948 21.9267 9.56382 21.8427 9.51248 21.768C9.46115 21.6933 9.36782 21.6187 9.23248 21.544C9.10182 21.4693 8.91282 21.3853 8.66548 21.292C8.42282 21.1987 8.21515 21.1053 8.04248 21.012C7.86982 20.9187 7.73682 20.8067 7.64348 20.676C7.55015 20.5453 7.50348 20.3773 7.50348 20.172C7.50348 19.8547 7.63182 19.6097 7.88848 19.437C8.14982 19.2643 8.49048 19.178 8.91048 19.178C9.13915 19.178 9.35148 19.2013 9.54748 19.248C9.74815 19.29 9.93482 19.3507 10.1075 19.43L9.89748 19.92C9.73882 19.8547 9.57315 19.7987 9.40048 19.752C9.22782 19.7053 9.05048 19.682 8.86848 19.682C8.61648 19.682 8.42282 19.724 8.28748 19.808C8.15682 19.8873 8.09148 19.997 8.09148 20.137C8.09148 20.2397 8.12182 20.3283 8.18248 20.403C8.24315 20.473 8.34348 20.543 8.48348 20.613C8.62815 20.6783 8.81948 20.7577 9.05748 20.851C9.29548 20.9397 9.49848 21.0307 9.66648 21.124C9.83448 21.2173 9.96282 21.3317 10.0515 21.467C10.1402 21.5977 10.1845 21.7633 10.1845 21.964ZM10.5031 19.248H11.1611L11.9731 21.383C12.0431 21.5697 12.1061 21.7493 12.1621 21.922C12.2181 22.09 12.2601 22.251 12.2881 22.405H12.3161C12.3441 22.2883 12.3884 22.1367 12.4491 21.95C12.5098 21.7587 12.5728 21.5673 12.6381 21.376L13.4011 19.248H14.0661L12.4491 23.518C12.3184 23.8727 12.1481 24.155 11.9381 24.365C11.7328 24.575 11.4481 24.68 11.0841 24.68C10.9721 24.68 10.8741 24.673 10.7901 24.659C10.7061 24.6497 10.6338 24.638 10.5731 24.624V24.134C10.6244 24.1433 10.6851 24.1527 10.7551 24.162C10.8298 24.1713 10.9068 24.176 10.9861 24.176C11.2008 24.176 11.3734 24.1153 11.5041 23.994C11.6394 23.8727 11.7444 23.7117 11.8191 23.511L12.0151 23.014L10.5031 19.248ZM16.4445 19.178C16.9065 19.178 17.2775 19.339 17.5575 19.661C17.8421 19.983 17.9845 20.4683 17.9845 21.117C17.9845 21.7563 17.8421 22.2417 17.5575 22.573C17.2775 22.9043 16.9041 23.07 16.4375 23.07C16.1481 23.07 15.9078 23.0163 15.7165 22.909C15.5298 22.797 15.3828 22.6687 15.2755 22.524H15.2335C15.2428 22.6033 15.2521 22.7037 15.2615 22.825C15.2708 22.9463 15.2755 23.0513 15.2755 23.14V24.68H14.6595V19.248H15.1635L15.2475 19.759H15.2755C15.3875 19.5957 15.5345 19.458 15.7165 19.346C15.8985 19.234 16.1411 19.178 16.4445 19.178ZM16.3325 19.696C15.9498 19.696 15.6791 19.8033 15.5205 20.018C15.3665 20.2327 15.2848 20.5593 15.2755 20.998V21.117C15.2755 21.579 15.3501 21.936 15.4995 22.188C15.6535 22.4353 15.9358 22.559 16.3465 22.559C16.5751 22.559 16.7618 22.496 16.9065 22.37C17.0558 22.244 17.1655 22.0737 17.2355 21.859C17.3101 21.6397 17.3475 21.39 17.3475 21.11C17.3475 20.6807 17.2635 20.3377 17.0955 20.081C16.9321 19.8243 16.6778 19.696 16.3325 19.696ZM19.5821 19.241C19.5821 19.4277 19.5704 19.6027 19.5471 19.766H19.5891C19.7104 19.5747 19.8738 19.43 20.0791 19.332C20.2891 19.234 20.5154 19.185 20.7581 19.185C21.2154 19.185 21.5584 19.2947 21.7871 19.514C22.0158 19.7287 22.1301 20.0763 22.1301 20.557V23H21.5211V20.599C21.5211 19.997 21.2411 19.696 20.6811 19.696C20.2611 19.696 19.9718 19.815 19.8131 20.053C19.6591 20.2863 19.5821 20.6223 19.5821 21.061V23H18.9661V17.68H19.5821V19.241ZM26.4292 19.248V23H25.9252L25.8342 22.503H25.8062C25.6849 22.699 25.5169 22.8437 25.3022 22.937C25.0876 23.0257 24.8589 23.07 24.6162 23.07C24.1636 23.07 23.8229 22.9627 23.5942 22.748C23.3656 22.5287 23.2512 22.181 23.2512 21.705V19.248H23.8742V21.663C23.8742 22.2603 24.1519 22.559 24.7072 22.559C25.1226 22.559 25.4096 22.4423 25.5682 22.209C25.7316 21.9757 25.8132 21.6397 25.8132 21.201V19.248H26.4292ZM30.0634 21.964C30.0634 22.328 29.9281 22.6033 29.6574 22.79C29.3867 22.9767 29.0227 23.07 28.5654 23.07C28.3041 23.07 28.0777 23.049 27.8864 23.007C27.6997 22.965 27.5341 22.9067 27.3894 22.832V22.272C27.5387 22.3467 27.7184 22.4167 27.9284 22.482C28.1431 22.5427 28.3601 22.573 28.5794 22.573C28.8921 22.573 29.1184 22.524 29.2584 22.426C29.3984 22.3233 29.4684 22.188 29.4684 22.02C29.4684 21.9267 29.4427 21.8427 29.3914 21.768C29.3401 21.6933 29.2467 21.6187 29.1114 21.544C28.9807 21.4693 28.7917 21.3853 28.5444 21.292C28.3017 21.1987 28.0941 21.1053 27.9214 21.012C27.7487 20.9187 27.6157 20.8067 27.5224 20.676C27.4291 20.5453 27.3824 20.3773 27.3824 20.172C27.3824 19.8547 27.5107 19.6097 27.7674 19.437C28.0287 19.2643 28.3694 19.178 28.7894 19.178C29.0181 19.178 29.2304 19.2013 29.4264 19.248C29.6271 19.29 29.8137 19.3507 29.9864 19.43L29.7764 19.92C29.6177 19.8547 29.4521 19.7987 29.2794 19.752C29.1067 19.7053 28.9294 19.682 28.7474 19.682C28.4954 19.682 28.3017 19.724 28.1664 19.808C28.0357 19.8873 27.9704 19.997 27.9704 20.137C27.9704 20.2397 28.0007 20.3283 28.0614 20.403C28.1221 20.473 28.2224 20.543 28.3624 20.613C28.5071 20.6783 28.6984 20.7577 28.9364 20.851C29.1744 20.9397 29.3774 21.0307 29.5454 21.124C29.7134 21.2173 29.8417 21.3317 29.9304 21.467C30.0191 21.5977 30.0634 21.7633 30.0634 21.964Z" fill="black"/>
</svg>