coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Théo Zimmermann <theo.zimmermann AT telecom-paris.fr>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Volunteer co-maintainer needed for Docker-Coq
- Date: Tue, 17 Jan 2023 17:40:53 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=theo.zimmermann AT telecom-paris.fr; spf=Pass smtp.mailfrom=theo.zimmermann AT telecom-paris.fr; spf=None smtp.helo=postmaster AT zproxy120.enst.fr
- Dkim-filter: OpenDKIM Filter v2.10.3 zproxy120.enst.fr 7E13B80FAF
- Ironport-data: A9a23:Y4CJEqudmT4Dm/DWirvctDwbROfnVIJaMUV32f8akzHdYApBsoF/q tZmKWqAPaqINmH1KI91bdnjpkpQv8eHzIM2SgRoqys0FyIagMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCY0idfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbyRFtMpvlDs15K6p4GpB4QRkDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJHokYak13tcrOmZLz tYVIwkGbzaf3f3jldpXSsE07igiBNvzJoQPqyg6lXfUC+06B57ZK0nIzYYDg3Fp15wIR7CHN pFxhTlHNHwsZzVTOloQToA/meKlnHz2dTtwtF+RqKEw5i3LxRZwy/7jKrI5f/TaFZ0FwRbG/ Qoq+UzYLUsma9G46ACUqED3jbHMkizle4crQejQGvlC2QHClzNDV3X6T2CTqv6gz0W6Rth3M F0R4iNorK4o9UXtQMOVYvGjiGycpBkMSoMKS6s37hqRjKTOi+qEOoQaZgVTNPgLkP5qfjsv7 XWElOriBBpz6qLAHBpx6YyohT+1PCEUK0oLaikFURYJ7rHfTGcb1UKnojFLS//dszHlJd3j6 2za/HNk3d3/meZRi/3koDgrlhrxzqUlWDLZ8S35ZApJBCtBbZSkfOREAnCEsK4ZcO51onEqW nwJ3sSTqc4UBJeGmUSwrAglDqmz4OaUaWeEx1NpBIVn+S7FF5+fkWJ4vmsWyKRBaJxsldrVj Kn74lg5CHh7ZyHCUEOPS9jtY/nGNIC5fTgfatjab8BVfr96fxKd8SdlaCa4hj6yyxh9yvFlZ 8zHIa5A6Er274w5llJaoM9DitcWKtwWnzyPLXwG50j3geXOPC79pUktYAXWN4jVE59oUC2Mr 4cOaJvVo/muePfzZCDL/JR7ELz5BSZTOHwCkOQGJoare1M+cEl4Uq+56e5/J+RNwvoE/s+Wp SvVchEDlzLCaYjvc1/ihoZLNOqyBv6SbBsTYUQRALpf8yNyMdb1svlBLcVfkHtO3LUL8MOYh sItI62oasmjgByek9jERcms9N5RZ16wiBiQPiGoRjE6ctQyD0bK49LoNE+nviUHEiP954N0r qyCxzHrZ8MJZz1jK8LKN9Op7Ve65kYGlMxIAkDnH9h0eWfXyrZMFRDftPEMDvs3GU3x/QfCj weyKjUElNbJuL4woYXoh7jbjoKHENleP0t9HkuD34mmMRiAr3aH8aVAW+OMbxTYZnLV+bqjV 8pR3frTIP0Kp3cUkoteQpJA77My2MvrnJBelj9bJXTsa0+6LI9gLl2t/9h9hocUypB34QKJC 1+yoP9EMrC3CebZOV82Jjt9SN+c1PsRywLg3d5sLGrUvCZIrae6C2NMNByxiQtYHrt/EKUh5 cwD4Mc2yQiOuiAGA+a8rBJ/1jqzdyQbcqAdqJslLpfhiVMrxnF8cJXsMHLKz6/VWepcEHsBA 2GytPLZiqV+13jyVSM5NULw0Np3gbUMvxF3z2E+GWmZp+qduNgJ2Ex+zDdmaCVU0RRN7MxrM EdJKUBeBPuD7hVotud5TkGuHABNKyOCyHPX1VEyzXLof2uwXX2QKWY8GP2s+XoB+Dl2ZQlr/ 7C/yUfkXw31fcr34DAAZE59p9HnTv1z7gfnmv37L/+aHpI/XyXpspWuaUUMtRHjJ8E732/Dm sVH48dybvfdGRMLgqhmFbSf66sceCqEKENGX/tl2qEDRkPYWTOq3AmxO1KDQdxMK9PK4H2HJ ZRXfOwXbCuH1QGKsjw/LowPKeUtnPcWufwzSomyLmsC67aivj5ltazLzRfHhUgpfYRKsd08I YbvZT69AjSupX9LqVTs8uhAGESFOOchWiOt/dqI4N0oFo0Cut5CaUsd8KW5lFTLPRpF/yC7h hLiZajXwupI2I43n9bJLoRcIwCKNNiobfm69iGyl/9sbtr/F9jEmC1Ii1vgPiVQZaAwXfYun 5uzkdfH5mH3l5dobHL8hL+ACLhv5+u+eMF1I/DHBiBWsgXaUfC9/iZZ3X6zLKJ4te905+6ld lOeU9Sxf9tEYOVt7iRZRAYGGilMFpmtSLnroB68iPG+ChI99wjjB/H//F/LaVBrTAM5C6fcO CTV5cn3vst5qb5SDiAqH/tlWp90AGHyUJscKuHei2OqMXmKsHij5J3SzBYu0GSeQD3MWsP3+ onMSRXCZQy/8vOAhs1Qt4tp+AYbFjBhiO03ZVgQ4MNylyv8NmMdMOABKt8TP/m4SMApOE3QP 1khrVfOCBkRmRxWaQ/78MW6BF/ZC+oVJpH3PFTFOq9ShzieXOu97HlJr0+MIEuavhP/weWqI tYbv2X5JBmqhJ9zLQrWzuLumv9pn5s22VpRkX0QUKXO79I2HbgO2XdmGU9VXDbGCIfDji0n4 ITzqX9sGCmGdKI6LSqsl7O51v3UUPMDAgjEtRuy/es=
- Ironport-hdrordr: A9a23:Grh9yKjmAwO++/Ta7Gl9DCQoqHBQXuYji2hC6mlwRA09TyXqrb HIoB19726PtN9xYgBapTjjUJPtfZq4z/FICOYqTNWftWXdyRKVxeJZnO7fKl/bak7DH4dmvM 8KGcUeaOEYZmIK9foSjjPIderIjOP3lJxAWt2x80tQ
- Ironport-phdr: A9a23:MN0ijRZABl2RmIrMOPtbcBj/LTE22YqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gKPBN2FoKIbw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtIiTanfL9+M BS7oQrSu8QUnIBvNrs/xhzVr3RHfOhb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQ LJBFDgpPHw768PttRnYUAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4 btnRAPuhSwaMTMy7WPZhdFqjK9DoxyvqRNwzIDKbo+VKfRxYqzTcMgGRWdDRMtdSzBND42+Y oYJEuEPPfxYr474p1YWsxW+BROrBOTywTBLh3/22Kg63Po7EQHDxgMgGdQOu2nTodXpNKcdT +e1wLPJzDXCavNW3Cny6JLNch87p/GMW6l9cdbPxkkrCQzKklKQqYn8MzONzOsNqWmb7/F6W eKhkW4qsgd8qSWgyckwkIfGnJ4Vykza+iVjxoY4PdK1RUp7b9OrDpZdtT2WOot3T84jXW1lu ig0x70YtJO4cyUG1poqygPRZvCbd4WF4x3tWuiPLDp3mH9rd6+ziRm0/EO9xOP8Ucy030xLr ipDitTMuXEN1wDT6siaUfRx5Fuu2TGK1wzL5eFEIFw0la7BJJE62LI/ip0TsUHbEiDrn0X5k KyWeVs++uSy9+vnZbDmqoedN49ykAH+M74hltaxAeQiNAUFQmuV+fyk2bH+80D0Qq9GguAyn 6TWqpzWO94XqrO9DgJbyoov9QqzAyu73NkdnHQKLU5JdReJgoXnJ13OLvX1Au2xjliyjDtmw u7JM7L6DZXDK3XPjbTscq1g50NZ1QU/095f55xRB7wPLv//REz8udrFBREjKQO02fzoCNBl2 4MeR22PBqiZPbvTsF+Q/OIvJOaNZY8ItDrjN/Qp/eDhjXkimV8BZ6Wp04EXZGi5HvRgPUqZf WLhjsoPHGoIpAYyUejnhVKYXTJNfXq+QqYx6z8jBIKjF4jDR4StgLKb3Ce8G51bfnxGClCSH nfvbYmFWvYMaCeXIsB/iDwEUKKuS4kn1Ry1qA/11b5nIfTI9S0fsJLvzcB16PfJlREz7jx4F cqd03uVQ2FyhWwHXyU207xnoUxh1leD1rB1j+FAGdxJ+/xJShs6NYLbz+FiF9/yXRvBcs6VR 1aiX9WpGio8Tskxwt8Le0ZyAc+ujhHF3yqwAr8ajaaHBJIu8vGU43+kLMFkjn3CyaMJjl88Q 8IJO3f1qLR48l3vBw/O23eYkqOnb6EV2iiFoHuDwG3IrkBdVQNqVKzDW1gDa0/bptP8o1vLV b61T7o9ZFgSgfWeI7dHP4W6xW5NQ+3ubYy2iwOZnm6xAUzN3baQdM/wfG5b2izBCU8CmgRV/ HCcNAF4CD3y63nGAmlIElTiK1jp7fE4sGmyG1M0wgbMfUxk0rev/xcTg9SARvce1bUB/T8os TRvWlinjJrNE9TVnwN6Z+1HZM8lplJO1GbXrQt4a4CgIqcklF8bdgltukro0T1rB4FNms8v6 Wsj1gtpb6yCgxtabz3N+5f2N/XML3XquhCib6mDwlbFzNOf4bsC8twqs0/krBDwTBJk/nN8z 59byRNw/73sCwwfGdL0W0czrV1hoq3CJzM67MXS3GFtNq+9tnnD3cgoDa0r0EToedAXK66CG ALodq9ST8GzNOwnnUSoZRMYLahT8qAzJcava/qB3uaiIu9hmDusiWkP7pp61wqA8C91S+iA2 JhgobnQwguKUHHujVKkv9rykIZCTS0fGme0zi2hHIdLZ7Y0c5xKQWaiLsurx8lv0ob3Ui09l hbrDFcH1cm1PBuKOgWmgksJhBhR+zr+yHDrql482yskpaeewiHUluHrdR5df3VOWHEnl1DnZ 469k9EdWkGsKQkvjhqso0jglM057OxyKXfeRUBQcm34NWZnB+GstreFJdxO7ZYlqyBeVuKUf V2eR7X6pl4C2jniBC1Q3npoElPi8oW8hBF8hG+HeTxvrHfeP9NxwBLS/tnVQ/h5wjcCSSJ/j HzPD0K9JJ+n55/H8vWL+vD7XGWnWJpJdCDtxo7Vryq361phBhinluyykNnqeeQj+RfyzMIiF SDBrRKmJ5Luy7z/K+VsOE9hGF777cN+XIB4iIo5wp8KizAWgZCc/HxPlmmWU50TxaLzazwfR DsOzsTQ6Q7j8FFuKn+CwIe8TnyHw9AnacPybm4N2y075txHE+/Nt+MCxHop5AD+9FOKKfFm+ 1VVgeMj8nsbn/0EtEI2wyORD6pTVUhUMCrwlgiZutW3raFZfmGqIvC70Etzm8zkDanX+1oDH i+oJtF4W3YhtZYaUhqEynD454D6dcOFaNsSskfRiBLcl61PL5l3kPMWhC1hMGa7vHs/yud9g wY9uPPy9IWBNWhp+7q0RxBCMTigLd8T9zarn6dbm8uM2ompGL19FzEGV5ztCOqhCjMJ8/r9f VXrcnV0ujKAFLzTEBXKoltmonWJAZGuMnyNIXAfy/1+SR2QL0taxRgdRjQh2JAjXFPPpoSpY AJy4TYf4UT9ox1Hx7dzNhXxZWzYoR+hdjY+TJXMZAoT9AxJ4F3ZdNCP9u8mVT8N5YWv9UbeT w7TLxQNF2wCXVaIQkzuLqX7r8eV6PCWX6K/N6ecOO7R77UPC7HSg8v+iMw9p1Pufo2OJicwV aVjgxgdAygrQJ+BlWdVGX4cz2WUNZDTpQ/gqHQs8YbmoaitAkSzuO7tQ/NTKYs9oUju2PXda bbC330hJ2QChMFWyTfJ0ORNhQVNzXg/K3/3V+1b5WmWFcey0udWF0BJMXsrbZkWsfpuhVIVN 5yB2IGl3/kh1KF9Ck8ZBwWwwYf0OIpTejr7bgqeYSTDfLWeeW+SkpqxPP76EOQLyr8N71Wxo WrJSh64eGne0WCwDFb1aLoE2yifOFY2VJiVVBFrBCCjSdvnbkf+K9prlXgsxrZygHrWNGkaO Dw6ckVXr7TW4zkKyvN4U3dM6HZoN4zm026Q8vXYJ5AKsPBqHjU8luRU524/wqdU6ycMTeJ8m S/bpNpj61+8lezHxj1iWRtI4jFF4eDD9V1lIrnc/4JcVGzs7goX6nWBUk5S4dZjEcGptboRg tnDmaTvKStTptLZ+cxPYqqcYMmDMXcnLV/oAGuNV1RDFG/3czuZ3h0Gw5TwvjWPo5M3q4bhg s8LQ75fDhkuE+8CT15iF5oEKYt2WTUtlfiaitQJ7Dywtkq0Jo0Ss5bZW/aVGfiqJiyeiOwOe xsFxvXqLIEWO5f+0kpkQkV3mInBHE+VRdlXozYnYBV+8yAvuDBuC3Y+3U7ocFbn+HgICfu9h QI7kCNsef4q5Ca1uQ9xK1zRuG0+igNi/LetySDUezn3IqCqWIhQACehrEk9PKTwRANtZBGzl 0hpXN8hb65ci7ZrcmUukAbGuIAJF+QOFcWsgTcC3euQd+RxiwwapyO82QlJ/7mdYXONvBcnd ZOnqHcFwwt5bcVzK7aCfcJ0
- Ironport-sdr: 63c6cf95_WHmCoQsisf1FInQzu3jTOtStG+ONpN0Rt51rQM+OHh1cSYY 8o1OhR9o5e3lI45VEWeLFrlpaS+YMldTi+IQNTQ==
Dear Coq-Club subscribers,
The Coq Team and Coq-community are looking for a volunteer co-maintainer of the Docker-Coq project, which provides Docker container images of many versions of Coq as a service to Coq users: https://github.com/coq-community/docker-coq
Docker-Coq is an open source project on GitHub under the BSD-3-Clause license. It maintains definitions of a set of Docker images that provide a basic Coq environment for continuous integration and local use. Thanks to the docker-keeper software (https://gitlab.com/erikmd/docker-keeper), images built from Docker-Coq definitions are continuously deployed to the public Docker registry, where users can pull them without worry of rate limitations: https://hub.docker.com/r/coqorg/coq
Desirable skills:
- Familiarity with container software like Docker
- Familiarity with software continuous integration and build automation, in particular on GitHub and/or GitLab
- Basic shell scripting
- Basic Python programming
Maintainer core tasks:
- Create and deploy new Coq Docker definitions to the Docker registry after Coq (pre-)releases.
- Monitor the use of Coq Docker images for continuous integration on GitHub/GitLab and rebuild images when necessary.
- Work with the current Docker-Coq and Docker-Keeper maintainer to further develop and automate the toolchain.
During their tenure, maintainers will be considered part of the Coq Team (https://coq.inria.fr/coq-team.html) and credited for their work in release notes for Coq releases.
If you are interested in becoming a maintainer, please respond to the following GitHub issue: https://github.com/coq-community/manifesto/issues/144
Please include a brief motivation and a short summary of relevant experience. The maintainer will be selected from the issue responders by the Coq Team and Coq-community owners.
- [Coq-Club] Volunteer co-maintainer needed for Docker-Coq, Théo Zimmermann, 01/17/2023
Archive powered by MHonArc 2.6.19+.