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