Issues · rocq-community/docker-coq-action · GitHub

Labels Milestones New issue

Support GitHub Actions caching for opam

#106

· tchajed opened

on Nov 26, 2025

Caching

#105

· arnoudvanderleer opened

on Apr 23, 2025

version 9.0 does not install coqc

#104

· JasonGross opened

on Apr 1, 2025

Docker versions disappearing regularly?

#97

· Chobbes opened

on Jan 20, 2025

ProblemMatchers sometimes ignores some (multi-line) warnings

#94

· erikmd opened

on Jul 14, 2024

can docker-coq-action share a container throughout a multiple-step job? (`container: coqorg/coq`, `actions/checkout` can't)

#88

· JasonGross opened

on Dec 25, 2023

Git issue with coqorg/coq:dev

#86

· erikmd opened

on Mar 23, 2023

Add support to build `.opam` file using `dune`

#83

· adrianleh opened

on Jan 27, 2023

Documentation of export is misleading

#77

· JasonGross opened

on Oct 7, 2022

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

#70

· MSoegtropIMC opened

on Mar 2, 2022

docs: Mention the typical header of build.yml

#67

· erikmd opened

on Nov 16, 2021

Task: Refine the doc for PR #27

#66

· erikmd opened

on Nov 3, 2021