Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / AU-COBRA/coq-rust-extraction issues and pull requests
#36 - Bump cachix/install-nix-action from 27 to 28
Pull Request -
State: closed - Opened by dependabot[bot] 6 days ago
Labels: part: dependencies
#35 - Clean up nix files
Pull Request -
State: closed - Opened by 4ever2 12 days ago
Labels: part: infrastructure
#34 - Upgrade bumpalo to 3.14.0
Pull Request -
State: closed - Opened by 4ever2 12 days ago
Labels: part: dependencies
#33 - Configure gitattributes
Pull Request -
State: closed - Opened by 4ever2 18 days ago
Labels: part: infrastructure
#32 - Bump actions/checkout from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
Labels: part: dependencies
#32 - Bump actions/checkout from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
Labels: part: dependencies
#31 - Update doc field and add tags to opam file
Pull Request -
State: closed - Opened by 4ever2 2 months ago
Labels: part: infrastructure
#31 - Update doc field and add tags to opam file
Pull Request -
State: closed - Opened by 4ever2 2 months ago
Labels: part: infrastructure
#30 - Configure 0.1.0 release in nix
Pull Request -
State: closed - Opened by 4ever2 2 months ago
Labels: part: infrastructure
#29 - Add changelog and readme
Pull Request -
State: closed - Opened by 4ever2 2 months ago
Labels: type: documentation
#28 - Nix setup
Pull Request -
State: closed - Opened by 4ever2 2 months ago
Labels: type: feature, part: infrastructure
#27 - Bump ocaml/setup-ocaml from 2 to 3
Pull Request -
State: closed - Opened by dependabot[bot] 3 months ago
- 2 comments
Labels: part: dependencies
#26 - Bump avsm/setup-ocaml from 1 to 3
Pull Request -
State: closed - Opened by dependabot[bot] 3 months ago
- 2 comments
Labels: part: dependencies
#25 - Cancel duplicate/previous CI runs
Pull Request -
State: closed - Opened by 4ever2 3 months ago
Labels: part: infrastructure
#24 - Split tests into separate job
Pull Request -
State: closed - Opened by 4ever2 3 months ago
Labels: type: enhancement, part: infrastructure
#23 - Publish coqdoc documentation on pages
Pull Request -
State: closed - Opened by 4ever2 3 months ago
Labels: type: documentation, part: infrastructure
#22 - Update MetaCoq to 1.3.1
Pull Request -
State: closed - Opened by 4ever2 3 months ago
Labels: part: dependencies
#21 - Agda to rust
Issue -
State: open - Opened by spitters 6 months ago
- 1 comment
#20 - Consider being even more ridiculously leaky
Issue -
State: open - Opened by workingjubilee 6 months ago
#19 - Consider emitting `unreachable!()` for absurd cases
Issue -
State: open - Opened by workingjubilee 6 months ago
- 1 comment
#18 - Closures probably not that less efficient
Issue -
State: open - Opened by workingjubilee 6 months ago
- 1 comment
#17 - Peano encoding probably bad
Issue -
State: open - Opened by workingjubilee 6 months ago
- 15 comments
#16 - Generated rust code doesn't compile
Issue -
State: open - Opened by womeier 6 months ago
- 9 comments
#15 - Bump actions/cache from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] 8 months ago
Labels: part: dependencies
#14 - Support Coq 8.18 and Metacoq 1.2.1
Pull Request -
State: closed - Opened by 4ever2 9 months ago
Labels: part: dependencies
#13 - Fix MetaCoq utils imports
Pull Request -
State: closed - Opened by 4ever2 11 months ago
Labels: type: bug
#12 - Bump actions/checkout from 3 to 4
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
Labels: part: dependencies
#11 - Fix CI
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: type: bug, part: infrastructure
#10 - Support Coq 8.17.0
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: part: dependencies
#9 - Update Metacoq to v1.2
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: part: dependencies
#8 - Support records with primitive projections
Issue -
State: open - Opened by annenkov over 3 years ago
Labels: type: enhancement
#7 - Fix opam install
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: type: bug
#6 - Bump avsm/setup-ocaml from 1 to 2
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 3 comments
#5 - Cache dependencies in CI
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
Labels: type: enhancement, part: infrastructure
#4 - Opam file
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
- 3 comments
Labels: type: refactor, part: infrastructure
#3 - Update dependencies
Pull Request -
State: closed - Opened by 4ever2 over 1 year ago
#2 - Setup CI
Pull Request -
State: closed - Opened by 4ever2 almost 2 years ago
Labels: type: feature, part: infrastructure
#1 - Setup repo
Pull Request -
State: closed - Opened by 4ever2 almost 2 years ago