Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / coq-community/docker-coq-action issues and pull requests

#96 - fix: Use actions/upload-artifact@v4

Pull Request - State: closed - Opened by erikmd 7 months ago

#95 - fix: Use actions/checkout@v4

Pull Request - State: closed - Opened by erikmd 7 months ago

#94 - ProblemMatchers sometimes ignores some (multi-line) warnings

Issue - State: open - Opened by erikmd 7 months ago
Labels: bug

#93 - docs(README.md): Document PR #90 with an example & Replace TABs with 4xSPC

Pull Request - State: closed - Opened by erikmd 9 months ago - 1 comment
Labels: documentation

#92 - docs: Document `export: 'COQ_IMAGE'` along with a test

Pull Request - State: closed - Opened by erikmd 9 months ago
Labels: documentation

#91 - export: COQ_IMAGE is ignored

Issue - State: closed - Opened by JasonGross 9 months ago - 2 comments
Labels: question

#90 - Enable usage of github runner file commands

Pull Request - State: closed - Opened by JasonGross 9 months ago - 17 comments
Labels: enhancement

#89 - export COQ_IMAGE

Pull Request - State: closed - Opened by JasonGross 9 months ago - 2 comments
Labels: enhancement

#87 - `git ls-files` fails with exit code 128 during `opam install --deps-only`

Issue - State: closed - Opened by artagnon almost 2 years ago - 4 comments
Labels: bug

#86 - Git issue with coqorg/coq:dev

Issue - State: open - Opened by erikmd almost 2 years ago - 5 comments
Labels: bug

#85 - Update README.md with new chown command

Pull Request - State: closed - Opened by yforster almost 2 years ago - 2 comments

#84 - Wish: Export build artifacts

Issue - State: closed - Opened by liyishuai almost 2 years ago - 2 comments
Labels: question

#83 - Add support to build `.opam` file using `dune`

Issue - State: open - Opened by adrianleh about 2 years ago - 1 comment
Labels: question

#82 - Don't pull `$COQ_IMAGE` if it exists locally

Pull Request - State: closed - Opened by erikmd about 2 years ago - 5 comments
Labels: enhancement

#81 - chore: Use actions/checkout@v3

Pull Request - State: closed - Opened by erikmd about 2 years ago
Labels: documentation

#80 - Document how to ensure a single Coq version is used across multiple invocations of the action

Issue - State: closed - Opened by JasonGross over 2 years ago - 6 comments
Labels: question

#79 - docs: sync default uninstall script

Pull Request - State: closed - Opened by liyishuai over 2 years ago
Labels: documentation

#78 - uninstall: always yes

Pull Request - State: closed - Opened by liyishuai over 2 years ago - 10 comments
Labels: enhancement

#77 - Documentation of export is misleading

Issue - State: open - Opened by JasonGross over 2 years ago - 2 comments
Labels: documentation

#76 - Inconsistency with Opam repository?

Issue - State: closed - Opened by jwiegley over 2 years ago - 4 comments
Labels: question

#75 - feat: Drop support of `ocaml_version: "minimal"`

Pull Request - State: closed - Opened by erikmd over 2 years ago - 1 comment
Labels: fix

#74 - feat: Allow automatic install of system dependencies (needs opam 2.1)

Pull Request - State: closed - Opened by palmskog almost 3 years ago - 15 comments
Labels: enhancement

#73 - test(coq-demo.yml): Bump coq (8.13 => latest) & Add coq.dev jobs

Pull Request - State: closed - Opened by erikmd almost 3 years ago
Labels: enhancement

#72 - chore(GHA): Add cron job for {coq-demo.yml, python-demo.yml}

Pull Request - State: closed - Opened by erikmd almost 3 years ago
Labels: enhancement

#71 - CI failures using docker-coq-action cause of debian download issues

Issue - State: closed - Opened by MSoegtropIMC almost 3 years ago - 7 comments
Labels: question

#70 - Permission issues might be better solved with `sudo chmod -R a=u .`

Issue - State: open - Opened by MSoegtropIMC almost 3 years ago - 1 comment

#69 - `v1` tag or branch?

Issue - State: closed - Opened by liyishuai about 3 years ago - 5 comments

#68 - Add `on:` to example CI yml file

Pull Request - State: closed - Opened by JasonGross about 3 years ago - 1 comment

#67 - docs: Mention the typical header of build.yml

Issue - State: open - Opened by erikmd about 3 years ago
Labels: documentation

#66 - Task: Refine the doc for PR #27

Issue - State: open - Opened by erikmd over 3 years ago
Labels: documentation

#65 - Problem Matcher should be disableable

Issue - State: open - Opened by JasonGross over 3 years ago
Labels: enhancement

#64 - before_install and matrix builds

Issue - State: open - Opened by jjhugues over 3 years ago - 5 comments
Labels: documentation

#63 - docs(README.md): Add more markdown badges

Pull Request - State: closed - Opened by erikmd over 3 years ago
Labels: documentation

#62 - docs: last-minute improvements

Pull Request - State: closed - Opened by erikmd over 3 years ago
Labels: documentation

#61 - Improving the README.md after merging PR #60

Pull Request - State: closed - Opened by erikmd over 3 years ago - 1 comment
Labels: documentation

#60 - meta-ci: Add an automated test-suite for `docker-coq-action@$GITHUB_SHA`

Pull Request - State: closed - Opened by erikmd over 3 years ago - 2 comments
Labels: feature

#58 - sudo chmod results in command not found

Issue - State: closed - Opened by JasonGross over 3 years ago - 1 comment

#56 - clarify readme

Pull Request - State: closed - Opened by Bruno-366 almost 4 years ago - 10 comments
Labels: documentation

#55 - multiline Coq error matching?

Issue - State: open - Opened by JasonGross almost 4 years ago
Labels: feature

#54 - wish: inherit env from the CI

Issue - State: open - Opened by JasonGross almost 4 years ago

#53 - python?

Issue - State: closed - Opened by JasonGross almost 4 years ago - 2 comments
Labels: question

#52 - [build] pass --with-test for the current package

Pull Request - State: closed - Opened by gares almost 4 years ago - 1 comment

#51 - Wish: Composability with other actions

Issue - State: open - Opened by JasonGross about 4 years ago - 3 comments
Labels: enhancement

#50 - Run docker in privileged mode

Pull Request - State: open - Opened by LasseBlaauwbroek about 4 years ago - 1 comment
Labels: enhancement

#49 - Wish: add example to document the installation of APT packages

Issue - State: open - Opened by erikmd about 4 years ago
Labels: documentation

#48 - Run opam install with -t to run tests

Pull Request - State: open - Opened by LasseBlaauwbroek about 4 years ago - 11 comments
Labels: needs: rework

#47 - Wish: Add README badge linking to coq-community/templates

Issue - State: open - Opened by erikmd about 4 years ago
Labels: documentation

#46 - Wish: Add e2e tests directly in docker-coq-action repo to automate validation(?)

Issue - State: closed - Opened by erikmd about 4 years ago - 1 comment
Labels: feature

#45 - Wish: Print last group time (+ exit code?) if endGroup is skipped / job failure

Issue - State: open - Opened by erikmd about 4 years ago
Labels: enhancement

#44 - docs(action.yml): Update the ocaml_version description

Pull Request - State: closed - Opened by erikmd about 4 years ago - 1 comment
Labels: documentation

#43 - fix: entrypoint.sh (ocaml_version > 4.09-flambda was ignored)

Pull Request - State: closed - Opened by erikmd about 4 years ago - 1 comment
Labels: fix

#42 - Update the list of possible values for ocaml_version in the README

Pull Request - State: closed - Opened by erikmd about 4 years ago - 3 comments
Labels: documentation

#41 - fix: interpolated scripts couldn't contain single-quotes

Pull Request - State: closed - Opened by erikmd about 4 years ago - 1 comment
Labels: fix

#40 - after_script cannot contain '

Issue - State: closed - Opened by gares about 4 years ago - 1 comment
Labels: bug

#39 - fix: Adapt to PR coq-community/docker-coq#47

Pull Request - State: closed - Opened by erikmd about 4 years ago - 17 comments
Labels: documentation, enhancement, fix

#38 - docs: Add four Sections in README.md + one demo GHA job

Pull Request - State: closed - Opened by erikmd about 4 years ago - 8 comments
Labels: documentation

#37 - Add missing addGroup in entrypoint.sh & Fix typo in default uninstall field

Pull Request - State: closed - Opened by erikmd about 4 years ago
Labels: fix

#36 - docs: Add comments in helper.sh

Pull Request - State: closed - Opened by erikmd about 4 years ago
Labels: documentation

#35 - Move startGroup/endGroup constructs to individual fields

Pull Request - State: closed - Opened by erikmd about 4 years ago - 6 comments
Labels: documentation, fix

#34 - New fine-grained customization does not allow groups within each section

Issue - State: closed - Opened by tchajed about 4 years ago - 1 comment
Labels: bug

#33 - Split custom_script to enhance the customization experience

Pull Request - State: closed - Opened by erikmd about 4 years ago - 6 comments
Labels: feature

#32 - Prepend 'exec 2>&1' to custom_script to untangle output

Pull Request - State: closed - Opened by erikmd about 4 years ago - 3 comments
Labels: fix

#31 - Add feature to export env variables

Pull Request - State: closed - Opened by erikmd about 4 years ago - 3 comments
Labels: feature

#30 - [docs] Add sudo-chown example & fail-fast remark

Pull Request - State: closed - Opened by erikmd about 4 years ago - 4 comments
Labels: documentation

#29 - Better doc for permission-mismatch workaround when using custom_script or so

Issue - State: closed - Opened by erikmd about 4 years ago
Labels: documentation

#28 - Issue: latest release `v1.1.0` is not yet in the GitHub Actions marketplace

Issue - State: closed - Opened by erikmd over 4 years ago - 1 comment
Labels: bug

#27 - feat: Make opam_file optional

Pull Request - State: closed - Opened by erikmd over 4 years ago - 7 comments
Labels: enhancement, feature

#26 - opam_file should not be mandatory

Issue - State: closed - Opened by JasonGross over 4 years ago - 6 comments
Labels: enhancement

#25 - [wish] running extra code after build (but before uninstall)

Issue - State: closed - Opened by gares over 4 years ago - 3 comments
Labels: enhancement

#24 - feat: List installed packages before build

Pull Request - State: closed - Opened by liyishuai over 4 years ago
Labels: enhancement

#23 - Pass environment variables into Docker

Issue - State: closed - Opened by liyishuai over 4 years ago - 4 comments
Labels: feature

#22 - Customize pin set

Issue - State: closed - Opened by liyishuai over 4 years ago - 13 comments
Labels: feature

#21 - fix: Remove OCAML patch-level in "$COQ-ocaml-$OCAML-flambda" tags

Pull Request - State: closed - Opened by erikmd over 4 years ago
Labels: fix

#20 - Add option to install system packages in the spinned container

Issue - State: open - Opened by erikmd over 4 years ago
Labels: enhancement

#19 - Add option for setting the (coq)extra-dev opam repo?

Issue - State: closed - Opened by erikmd over 4 years ago - 2 comments
Labels: duplicate, enhancement

#18 - Add automatic coinstallability test of reverse dependencies?

Issue - State: open - Opened by erikmd over 4 years ago
Labels: enhancement, good first issue

#17 - Problem matcher doesn't detect file if compiling without opam

Issue - State: closed - Opened by tchajed over 4 years ago - 6 comments

#16 - docs: Add badge+link mentioning the example repo

Pull Request - State: closed - Opened by erikmd almost 5 years ago
Labels: documentation

#15 - Update reviewdog config

Pull Request - State: closed - Opened by erikmd almost 5 years ago
Labels: fix

#14 - Support coq-problem-matcher

Pull Request - State: closed - Opened by erikmd almost 5 years ago - 1 comment
Labels: feature

#13 - Improve README.md

Pull Request - State: closed - Opened by Zimmi48 almost 5 years ago - 6 comments
Labels: documentation

#12 - Use a relative link.

Pull Request - State: closed - Opened by Zimmi48 almost 5 years ago

#11 - First complete version of docker-coq-action

Pull Request - State: closed - Opened by erikmd almost 5 years ago
Labels: feature

#10 - Support custom images such as https://hub.docker.com/u/mathcomp

Pull Request - State: closed - Opened by erikmd almost 5 years ago - 1 comment
Labels: enhancement

#9 - Document build matrix

Pull Request - State: closed - Opened by erikmd almost 5 years ago
Labels: documentation

#8 - Simplify entrypoint

Pull Request - State: closed - Opened by erikmd almost 5 years ago - 3 comments
Labels: enhancement

#7 - Support https://hub.docker.com/u/mathcomp and custom images

Issue - State: closed - Opened by erikmd almost 5 years ago - 5 comments
Labels: enhancement

#6 - Test and document "matrix" builds

Issue - State: closed - Opened by erikmd almost 5 years ago
Labels: documentation

#5 - Support time-group feature

Pull Request - State: closed - Opened by erikmd almost 5 years ago - 3 comments
Labels: enhancement

#4 - fix: use underscores

Pull Request - State: closed - Opened by erikmd almost 5 years ago
Labels: fix

#3 - Fix supported versions of OCaml in Docker-Coq

Pull Request - State: closed - Opened by erikmd almost 5 years ago - 3 comments
Labels: fix

#2 - fix: coq-version is documented as optional.

Pull Request - State: closed - Opened by Zimmi48 almost 5 years ago
Labels: documentation

#1 - Remove confusing mention of "minor" version.

Pull Request - State: closed - Opened by Zimmi48 almost 5 years ago - 2 comments
Labels: documentation