Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / AU-COBRA/coq-elm-extraction issues and pull requests
#29 - Bump cachix/install-nix-action from 29 to 30
Pull Request -
State: closed - Opened by dependabot[bot] about 2 months ago
Labels: part: dependencies
#28 - Bump cachix/install-nix-action from V28 to 29
Pull Request -
State: closed - Opened by dependabot[bot] about 2 months ago
Labels: part: dependencies
#27 - Bump cachix/install-nix-action from 27 to 28
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
Labels: part: dependencies
#26 - Coq 8.20 support
Pull Request -
State: closed - Opened by 4ever2 3 months ago
- 1 comment
Labels: part: dependencies
#25 - Clean up nix files
Pull Request -
State: closed - Opened by 4ever2 3 months ago
Labels: part: infrastructure
#24 - Configure gitattributes
Pull Request -
State: closed - Opened by 4ever2 3 months ago
Labels: part: infrastructure
#23 - Bump actions/checkout from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] 5 months ago
Labels: part: dependencies
#22 - Update doc field and add tags to opam file
Pull Request -
State: closed - Opened by 4ever2 5 months ago
Labels: part: infrastructure
#21 - Configure 0.1.0 release in nix
Pull Request -
State: closed - Opened by 4ever2 5 months ago
Labels: part: infrastructure
#20 - Add changelog and readme
Pull Request -
State: closed - Opened by 4ever2 5 months ago
Labels: type: documentation
#19 - Nix setup
Pull Request -
State: closed - Opened by 4ever2 5 months ago
Labels: type: feature, part: infrastructure
#18 - Bump avsm/setup-ocaml from 1 to 3
Pull Request -
State: closed - Opened by dependabot[bot] 5 months ago
- 2 comments
Labels: part: dependencies
#17 - Bump ocaml/setup-ocaml from 2 to 3
Pull Request -
State: closed - Opened by dependabot[bot] 5 months ago
- 2 comments
Labels: part: dependencies
#16 - Cancel duplicate/previous CI runs
Pull Request -
State: closed - Opened by 4ever2 5 months ago
Labels: part: infrastructure
#15 - Split tests into separate job
Pull Request -
State: closed - Opened by 4ever2 5 months ago
Labels: type: enhancement, part: infrastructure
#14 - Fix build order in CI
Pull Request -
State: closed - Opened by 4ever2 5 months ago
Labels: part: infrastructure
#13 - Publish coqdoc documentation on pages
Pull Request -
State: closed - Opened by 4ever2 5 months ago
Labels: type: documentation, part: infrastructure
#12 - Update MetaCoq to 1.3.1
Pull Request -
State: closed - Opened by 4ever2 5 months ago
Labels: part: dependencies
#11 - Bump actions/cache from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] 10 months ago
Labels: part: dependencies
#10 - Support Coq 8.18
Pull Request -
State: closed - Opened by 4ever2 12 months ago
Labels: part: dependencies
#9 - Bump actions/setup-node from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: part: dependencies
#8 - Fix MetaCoq utils imports
Pull Request -
State: closed - Opened by 4ever2 about 1 year ago
Labels: type: bug
#7 - Error on Import
Issue -
State: closed - Opened by rigille about 1 year ago
- 4 comments
Labels: type: bug
#6 - Bump actions/checkout from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: part: dependencies
#5 - Fix CI
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: type: bug, part: infrastructure
#4 - Support Coq 8.17.0
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: part: dependencies
#3 - Update Metacoq to v1.2
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: part: dependencies
#2 - Bump avsm/setup-ocaml from 1 to 2
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 3 comments
#1 - Move elm extraction
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: part: infrastructure