Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / erikmd/docker-coq-github-action-demo issues and pull requests
#16 - fix: Remove "Variable A: Prop" & Lemma identity
Pull Request -
State: closed - Opened by erikmd 7 months ago
#15 - Badge code
Issue -
State: closed - Opened by aubertc almost 2 years ago
- 1 comment
#14 - feat: Add coq-depexts-test.opam & Fix build-coq-demo.yml
Pull Request -
State: closed - Opened by erikmd almost 3 years ago
Labels: enhancement
#13 - Add uuid-leak-test
Pull Request -
State: closed - Opened by erikmd over 3 years ago
Labels: documentation
#12 - test: Add GHA job leak-test
Pull Request -
State: closed - Opened by erikmd over 3 years ago
- 1 comment
Labels: documentation
#11 - Exemplify the `run-test:` feature of opam
Pull Request -
State: closed - Opened by erikmd over 3 years ago
- 1 comment
Labels: enhancement
#10 - Further explanation of build-coq-demo.yml file
Issue -
State: closed - Opened by zunction about 4 years ago
- 3 comments
Labels: documentation
#9 - Test ocaml_version fix
Pull Request -
State: closed - Opened by erikmd about 4 years ago
#8 - feat: Change GHA workflow name
Pull Request -
State: closed - Opened by erikmd about 4 years ago
- 1 comment
#7 - Test coq-community/[email protected]
Pull Request -
State: open - Opened by erikmd about 4 years ago
Labels: feature
#6 - Test the new docker-coq-action feature allowing "opam_file" folders
Pull Request -
State: open - Opened by erikmd over 4 years ago
#5 - Demo for coq-problem-matcher (warn/error)
Pull Request -
State: closed - Opened by erikmd almost 5 years ago
Labels: documentation, feature
#4 - feat: Test PR erikmd/docker-coq-action#10
Pull Request -
State: closed - Opened by erikmd almost 5 years ago
Labels: enhancement
#3 - Test build matrix
Pull Request -
State: closed - Opened by erikmd almost 5 years ago
Labels: documentation
#2 - Implement time-group feature
Pull Request -
State: closed - Opened by erikmd almost 5 years ago
- 2 comments
Labels: enhancement
#1 - Use underscores
Pull Request -
State: closed - Opened by erikmd almost 5 years ago
Labels: fix