{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":250054135,"defaultBranch":"master","name":"docker-coq-action","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-03-25T18:07:29.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1720993760.0","currentOid":""},"activityList":{"items":[{"before":"6ef6cffa1dc1a9e1136f7c53992066d0feca9cb7","after":"ae62702328d3d202def6f57883b6ad788fbdae8f","ref":"refs/heads/master","pushedAt":"2024-07-14T21:50:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"docs: Update documentation","shortMessageHtmlLink":"docs: Update documentation"}},{"before":"126f826ab75ec0aea465e4962758d61ff180c009","after":null,"ref":"refs/heads/bump-artifact","pushedAt":"2024-07-14T21:49:20.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"}},{"before":"790a9e0e842ebb5edf671d3000a9e9ab3675edb0","after":"6ef6cffa1dc1a9e1136f7c53992066d0feca9cb7","ref":"refs/heads/master","pushedAt":"2024-07-14T21:49:17.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"fix: Use actions/upload-artifact@v4 (#96)","shortMessageHtmlLink":"fix: Use actions/upload-artifact@v4 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2407603223\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/docker-coq-action/issues/96\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/docker-coq-action/pull/96/hovercard\" href=\"https://github.com/coq-community/docker-coq-action/pull/96\">#96</a>)"}},{"before":null,"after":"126f826ab75ec0aea465e4962758d61ff180c009","ref":"refs/heads/bump-artifact","pushedAt":"2024-07-14T21:29:57.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"fix: Use actions/upload-artifact@v4","shortMessageHtmlLink":"fix: Use actions/upload-artifact@v4"}},{"before":"851b9fd9ee275cadb4d94c82fabd96897beb5886","after":null,"ref":"refs/heads/bump-checkout","pushedAt":"2024-07-14T21:24:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"}},{"before":"f62484a301ab72ca9b8bb4dab7f87d105c74dcc3","after":"790a9e0e842ebb5edf671d3000a9e9ab3675edb0","ref":"refs/heads/master","pushedAt":"2024-07-14T21:24:27.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"fix: Use actions/checkout@v4 (#95)","shortMessageHtmlLink":"fix: Use actions/checkout@v4 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2407596074\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/docker-coq-action/issues/95\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/docker-coq-action/pull/95/hovercard\" href=\"https://github.com/coq-community/docker-coq-action/pull/95\">#95</a>)"}},{"before":null,"after":"851b9fd9ee275cadb4d94c82fabd96897beb5886","ref":"refs/heads/bump-checkout","pushedAt":"2024-07-14T21:06:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"fix: Use actions/checkout@v4","shortMessageHtmlLink":"fix: Use actions/checkout@v4"}},{"before":"3cbd7e68c7dacef58c7c39724da592cffb89b8f4","after":null,"ref":"refs/heads/document-env-file-cmd","pushedAt":"2024-05-12T19:04:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"}},{"before":"7c98410bb26905e003d5b5ed964d91e6c87c35ae","after":"f62484a301ab72ca9b8bb4dab7f87d105c74dcc3","ref":"refs/heads/master","pushedAt":"2024-05-12T18:56:55.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"docs(README.md): Document PR #90 with an example & Replace TABs with 4xSPC (#93)\n\n* emacs: Add file-local-variable `indent-tabs-mode := nil` to avoid inserting further TABs","shortMessageHtmlLink":"docs(README.md): Document PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2288595251\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/docker-coq-action/issues/90\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/docker-coq-action/pull/90/hovercard\" href=\"https://github.com/coq-community/docker-coq-action/pull/90\">#90</a> with an example &amp; Replace TABs with …"}},{"before":"60489d536f3a840aae465ee06d30ab343271c2e0","after":"3cbd7e68c7dacef58c7c39724da592cffb89b8f4","ref":"refs/heads/document-env-file-cmd","pushedAt":"2024-05-12T18:52:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"docs(README.md): Fix a big typo and (setq indent-tabs-mode nil)","shortMessageHtmlLink":"docs(README.md): Fix a big typo and (setq indent-tabs-mode nil)"}},{"before":null,"after":"60489d536f3a840aae465ee06d30ab343271c2e0","ref":"refs/heads/document-env-file-cmd","pushedAt":"2024-05-12T17:14:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"docs(README.md): Document PR #90 with an example & Replace TABs with 4xSPC","shortMessageHtmlLink":"docs(README.md): Document PR <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2288595251\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/docker-coq-action/issues/90\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/docker-coq-action/pull/90/hovercard\" href=\"https://github.com/coq-community/docker-coq-action/pull/90\">#90</a> with an example &amp; Replace TABs with …"}},{"before":"4649b616a008f03534c0af14accf1600457420d4","after":null,"ref":"refs/heads/github-runner-file-commands","pushedAt":"2024-05-12T16:01:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"}},{"before":"56a68e27536b87fb8d04e132c155b8bd144e6a1e","after":"7c98410bb26905e003d5b5ed964d91e6c87c35ae","ref":"refs/heads/v1","pushedAt":"2024-05-12T15:59:29.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"Enable usage of GHA environment-files commands (#90)\n\nThis allows the use of `>> $GITHUB_ENV`, `>> $GITHUB_OUTPUT`,\r\nand `>> $GITHUB_STEP_SUMMARY` to pass information to subsequent steps.\r\n\r\nCo-authored-by: Jason Gross <jgross@mit.edu>\r\nCo-authored-by: Erik Martin-Dorel <erik.martin-dorel@irit.fr>","shortMessageHtmlLink":"Enable usage of GHA environment-files commands (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2288595251\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/docker-coq-action/issues/90\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/docker-coq-action/pull/90/hovercard\" href=\"https://github.com/coq-community/docker-coq-action/pull/90\">#90</a>)"}},{"before":"89cff674f2639e1be5a0817070c3fe04ba30b81b","after":"7c98410bb26905e003d5b5ed964d91e6c87c35ae","ref":"refs/heads/master","pushedAt":"2024-05-12T14:57:41.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"Enable usage of GHA environment-files commands (#90)\n\nThis allows the use of `>> $GITHUB_ENV`, `>> $GITHUB_OUTPUT`,\r\nand `>> $GITHUB_STEP_SUMMARY` to pass information to subsequent steps.\r\n\r\nCo-authored-by: Jason Gross <jgross@mit.edu>\r\nCo-authored-by: Erik Martin-Dorel <erik.martin-dorel@irit.fr>","shortMessageHtmlLink":"Enable usage of GHA environment-files commands (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2288595251\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/docker-coq-action/issues/90\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/docker-coq-action/pull/90/hovercard\" href=\"https://github.com/coq-community/docker-coq-action/pull/90\">#90</a>)"}},{"before":"2f9b23db0590a1abca419c2d91892fd5bbef6b5f","after":"4649b616a008f03534c0af14accf1600457420d4","ref":"refs/heads/github-runner-file-commands","pushedAt":"2024-05-12T14:52:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"docs(README.md): s/fr/en/","shortMessageHtmlLink":"docs(README.md): s/fr/en/"}},{"before":"7fd184ef574e98bf7ace163f46a98d058d1376c0","after":"2f9b23db0590a1abca419c2d91892fd5bbef6b5f","ref":"refs/heads/github-runner-file-commands","pushedAt":"2024-05-12T14:40:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"test: Add yet another unit test in demo-9","shortMessageHtmlLink":"test: Add yet another unit test in demo-9"}},{"before":"a9a87e8b647832a8484511ad88d642409b1857c2","after":"7fd184ef574e98bf7ace163f46a98d058d1376c0","ref":"refs/heads/github-runner-file-commands","pushedAt":"2024-05-12T14:31:26.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"feat: Export GITHUB_ENV, GITHUB_OUTPUT, GITHUB_STEP_SUMMARY & Add test+docs\n\n* Merge branch 'master' into pr/90","shortMessageHtmlLink":"feat: Export GITHUB_ENV, GITHUB_OUTPUT, GITHUB_STEP_SUMMARY &amp; Add tes…"}},{"before":"3e82ea300690aa3045fcb7c4e049c10129aae321","after":null,"ref":"refs/heads/doc+test_COQ_IMAGE","pushedAt":"2024-05-12T13:19:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"}},{"before":"fa005f594e3cf93ec5fc233ec0f6eef6058bb057","after":"89cff674f2639e1be5a0817070c3fe04ba30b81b","ref":"refs/heads/master","pushedAt":"2024-05-12T13:08:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"docs: Document `export: 'COQ_IMAGE'` along with a test (#92)","shortMessageHtmlLink":"docs: Document <code>export: 'COQ_IMAGE'</code> along with a test (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2291322660\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/docker-coq-action/issues/92\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/docker-coq-action/pull/92/hovercard\" href=\"https://github.com/coq-community/docker-coq-action/pull/92\">#92</a>)"}},{"before":null,"after":"3e82ea300690aa3045fcb7c4e049c10129aae321","ref":"refs/heads/doc+test_COQ_IMAGE","pushedAt":"2024-05-12T12:57:20.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"docs: Document `export: 'COQ_IMAGE'` along with a test","shortMessageHtmlLink":"docs: Document <code>export: 'COQ_IMAGE'</code> along with a test"}},{"before":"68d353b51bececbaae8a70512da00ccce370aadd","after":"a9a87e8b647832a8484511ad88d642409b1857c2","ref":"refs/heads/github-runner-file-commands","pushedAt":"2024-05-10T23:16:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"fix: permissions (needed)","shortMessageHtmlLink":"fix: permissions (needed)"}},{"before":"fa0d7f0c24aa544314ea9d1078ac126c1edcfeee","after":"68d353b51bececbaae8a70512da00ccce370aadd","ref":"refs/heads/github-runner-file-commands","pushedAt":"2024-05-10T23:07:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"fix: rhs path","shortMessageHtmlLink":"fix: rhs path"}},{"before":"9581c19a761225c32557e14bd7e0513e6e37bf4c","after":"fa0d7f0c24aa544314ea9d1078ac126c1edcfeee","ref":"refs/heads/github-runner-file-commands","pushedAt":"2024-05-10T22:59:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"fix: fix a very last bit","shortMessageHtmlLink":"fix: fix a very last bit"}},{"before":"cfbe942bb750f248df3d65b221e8d1e939992759","after":"9581c19a761225c32557e14bd7e0513e6e37bf4c","ref":"refs/heads/github-runner-file-commands","pushedAt":"2024-05-10T22:55:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"fix: Retry","shortMessageHtmlLink":"fix: Retry"}},{"before":"0d7575bd2d96d937b1724fc3f11871f87da6fdef","after":"cfbe942bb750f248df3d65b221e8d1e939992759","ref":"refs/heads/github-runner-file-commands","pushedAt":"2024-05-10T22:51:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"erikmd","name":"Erik Martin-Dorel","path":"/erikmd","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10367254?s=80&v=4"},"commit":{"message":"fix(entrypoint.sh): Docker-in-Docker bind-mount path tweaks & remove a bit of debugging","shortMessageHtmlLink":"fix(entrypoint.sh): Docker-in-Docker bind-mount path tweaks &amp; remove …"}},{"before":"bfc8c1828ecd9b22e3b544844246448ab8a406f6","after":"0d7575bd2d96d937b1724fc3f11871f87da6fdef","ref":"refs/heads/github-runner-file-commands","pushedAt":"2024-05-10T21:52:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Update coq-demo.yml","shortMessageHtmlLink":"Update coq-demo.yml"}},{"before":"4ea062280761991d215807830b0b795540a2d699","after":"bfc8c1828ecd9b22e3b544844246448ab8a406f6","ref":"refs/heads/github-runner-file-commands","pushedAt":"2024-05-10T20:44:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Update coq-demo.yml more debug","shortMessageHtmlLink":"Update coq-demo.yml more debug"}},{"before":"b1151ff60f593f0c1b34dd8ed64c0d5716e95ddf","after":"4ea062280761991d215807830b0b795540a2d699","ref":"refs/heads/github-runner-file-commands","pushedAt":"2024-05-10T20:23:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Update entrypoint.sh more debug","shortMessageHtmlLink":"Update entrypoint.sh more debug"}},{"before":"270cef3b52bcab09b5d226b03a4f542c8994e937","after":"b1151ff60f593f0c1b34dd8ed64c0d5716e95ddf","ref":"refs/heads/github-runner-file-commands","pushedAt":"2024-05-10T20:22:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Update coq-demo.yml more debugging","shortMessageHtmlLink":"Update coq-demo.yml more debugging"}},{"before":"68dad91440fe2f1a98a0232a3b632523b2313251","after":"270cef3b52bcab09b5d226b03a4f542c8994e937","ref":"refs/heads/github-runner-file-commands","pushedAt":"2024-05-10T18:18:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"JasonGross","name":"Jason Gross","path":"/JasonGross","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/396076?s=80&v=4"},"commit":{"message":"Update coq-demo.yml debugging","shortMessageHtmlLink":"Update coq-demo.yml debugging"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xNFQyMTo1MDoxNS4wMDAwMDBazwAAAAR_KkxT","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xNFQyMTo1MDoxNS4wMDAwMDBazwAAAAR_KkxT","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNS0xMFQxODoxODo1OS4wMDAwMDBazwAAAARG1HXm"}},"title":"Activity · coq-community/docker-coq-action"}