Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / deducteam/personoj issues and pull requests

#19 - Bump ocaml/setup-ocaml from 2 to 3

Pull Request - State: open - Opened by dependabot[bot] 7 months ago
Labels: dependencies

#19 - Bump ocaml/setup-ocaml from 2 to 3

Pull Request - State: open - Opened by dependabot[bot] 7 months ago
Labels: dependencies

#18 - Rename functions

Pull Request - State: closed - Opened by gabrielhdt about 1 year ago

#18 - Rename functions

Pull Request - State: closed - Opened by gabrielhdt about 1 year ago

#17 - Cleaner and more secure install procedure

Pull Request - State: closed - Opened by gabrielhdt about 1 year ago

#17 - Cleaner and more secure install procedure

Pull Request - State: closed - Opened by gabrielhdt about 1 year ago

#16 - Update lambdapi syntax

Pull Request - State: closed - Opened by gabrielhdt about 1 year ago

#16 - Update lambdapi syntax

Pull Request - State: closed - Opened by gabrielhdt about 1 year ago

#15 - Bump actions/upload-artifact from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies

#15 - Bump actions/upload-artifact from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies

#14 - Update to PVS8

Pull Request - State: closed - Opened by gabrielhdt about 1 year ago

#14 - Update to PVS8

Pull Request - State: closed - Opened by gabrielhdt about 1 year ago

#13 - Bump actions/checkout from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#13 - Bump actions/checkout from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: dependencies

#12 - Read through documentation again

Pull Request - State: closed - Opened by gabrielhdt about 2 years ago

#12 - Read through documentation again

Pull Request - State: closed - Opened by gabrielhdt about 2 years ago

#11 - Create profile.php?id=100089959117116&mibextid=ZbWKwL

Pull Request - State: closed - Opened by Prince12a about 2 years ago - 1 comment

#11 - Create profile.php?id=100089959117116&mibextid=ZbWKwL

Pull Request - State: closed - Opened by Prince12a about 2 years ago - 1 comment

#10 - Some more doc

Pull Request - State: closed - Opened by gabrielhdt about 2 years ago

#10 - Some more doc

Pull Request - State: closed - Opened by gabrielhdt about 2 years ago

#9 - Document old proof procedures

Pull Request - State: closed - Opened by gabrielhdt about 2 years ago

#9 - Document old proof procedures

Pull Request - State: closed - Opened by gabrielhdt about 2 years ago

#8 - Bump actions/checkout from 2 to 3

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago
Labels: dependencies

#7 - Bump actions/upload-artifact from 2 to 3

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago
Labels: dependencies

#6 - Documentation rehaul

Pull Request - State: closed - Opened by gabrielhdt about 2 years ago

#5 - Onebinary

Pull Request - State: closed - Opened by gabrielhdt about 3 years ago

#4 - Fix tests, run test in ci

Pull Request - State: closed - Opened by gabrielhdt about 3 years ago

#3 - simpler ci

Pull Request - State: closed - Opened by gabrielhdt about 3 years ago

#2 - Ci

Pull Request - State: closed - Opened by gabrielhdt about 3 years ago

#1 - Add CI for all the chain

Pull Request - State: closed - Opened by gabrielhdt over 3 years ago