coq-community docker-coq-action issues

coq-community / docker-coq-action

GitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]

MIT License

12 stars 4 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

fix: Use actions/upload-artifact@v4

#96 erikmd closed 2 months ago
0
fix: Use actions/checkout@v4

#95 erikmd closed 2 months ago
0
ProblemMatchers sometimes ignores some (multi-line) warnings

#94 erikmd opened 2 months ago
0
docs(README.md): Document PR #90 with an example & Replace TABs with 4xSPC

#93 erikmd closed 4 months ago
1
docs: Document `export: 'COQ_IMAGE'` along with a test

#92 erikmd closed 4 months ago
0
export: COQ_IMAGE is ignored

#91 JasonGross closed 4 months ago
2
Enable usage of github runner file commands

#90 JasonGross closed 4 months ago
17
export COQ_IMAGE

#89 JasonGross closed 4 months ago
2
can docker-coq-action share a container throughout a multiple-step job? (`container: coqorg/coq`, `actions/checkout` can't)

#88 JasonGross opened 9 months ago
23
`git ls-files` fails with exit code 128 during `opam install --deps-only`

#87 artagnon closed 1 year ago
4
Git issue with coqorg/coq:dev

#86 erikmd opened 1 year ago
5
Update README.md with new chown command

#85 yforster closed 1 year ago
2
Wish: Export build artifacts

#84 liyishuai closed 1 year ago
2
Add support to build `.opam` file using `dune`

#83 adrianleh opened 1 year ago
1
Don't pull `$COQ_IMAGE` if it exists locally

#82 erikmd closed 1 year ago
5
chore: Use actions/checkout@v3

#81 erikmd closed 1 year ago
0
Document how to ensure a single Coq version is used across multiple invocations of the action

#80 JasonGross closed 1 year ago
6
docs: sync default uninstall script

#79 liyishuai closed 1 year ago
0
uninstall: always yes

#78 liyishuai closed 1 year ago
10
Documentation of export is misleading

#77 JasonGross opened 1 year ago
2
Inconsistency with Opam repository?

#76 jwiegley closed 2 years ago
4
feat: Drop support of `ocaml_version: "minimal"`

#75 erikmd closed 2 years ago
1
feat: Allow automatic install of system dependencies (needs opam 2.1)

#74 palmskog closed 2 years ago
15
test(coq-demo.yml): Bump coq (8.13 => latest) & Add coq.dev jobs

#73 erikmd closed 2 years ago
0
chore(GHA): Add cron job for {coq-demo.yml, python-demo.yml}

#72 erikmd closed 2 years ago
0
CI failures using docker-coq-action cause of debian download issues

#71 MSoegtropIMC closed 2 years ago
7
Permission issues might be better solved with `sudo chmod -R a=u .`

#70 MSoegtropIMC opened 2 years ago
1
`v1` tag or branch?

#69 liyishuai closed 2 years ago
5
Add `on:` to example CI yml file

#68 JasonGross closed 2 years ago
1
docs: Mention the typical header of build.yml

#67 erikmd opened 2 years ago
0
Task: Refine the doc for PR #27

#66 erikmd opened 2 years ago
0
Problem Matcher should be disableable

#65 JasonGross opened 2 years ago
0
before_install and matrix builds

#64 jjhugues opened 3 years ago
5
docs(README.md): Add more markdown badges

#63 erikmd closed 3 years ago
0
docs: last-minute improvements

#62 erikmd closed 3 years ago
0
Improving the README.md after merging PR #60

#61 erikmd closed 3 years ago
1
meta-ci: Add an automated test-suite for `docker-coq-action@$GITHUB_SHA`

#60 erikmd closed 3 years ago
2
How to test with fatal warnings in CI without activating them in the opam file that will be used to release?

#59 Zimmi48 opened 3 years ago
0
sudo chmod results in command not found

#58 JasonGross closed 3 years ago
1
clarify readme

#56 Bruno-366 closed 3 years ago
10
multiline Coq error matching?

#55 JasonGross opened 3 years ago
0
wish: inherit env from the CI

#54 JasonGross opened 3 years ago
0
python?

#53 JasonGross closed 3 years ago
2
[build] pass --with-test for the current package

#52 gares closed 3 years ago
1
Wish: Composability with other actions

#51 JasonGross opened 3 years ago
3
Run docker in privileged mode

#50 LasseBlaauwbroek opened 3 years ago
1
Wish: add example to document the installation of APT packages

#49 erikmd opened 3 years ago
0
Run opam install with -t to run tests

#48 LasseBlaauwbroek opened 3 years ago
11
Wish: Add README badge linking to coq-community/templates

#47 erikmd opened 3 years ago
0
Wish: Add e2e tests directly in docker-coq-action repo to automate validation(?)

#46 erikmd closed 3 years ago
1