Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / imandra-ai/verified-react issues and pull requests
#28 - build(deps): bump json5 and jest
Pull Request -
State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies
#28 - build(deps): bump json5 and jest
Pull Request -
State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies
#27 - build(deps): bump qs from 6.5.2 to 6.5.3
Pull Request -
State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies
#27 - build(deps): bump qs from 6.5.2 to 6.5.3
Pull Request -
State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies
#26 - build(deps): bump decode-uri-component from 0.2.0 to 0.2.2
Pull Request -
State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies
#26 - build(deps): bump decode-uri-component from 0.2.0 to 0.2.2
Pull Request -
State: open - Opened by dependabot[bot] about 2 years ago
Labels: dependencies
#25 - build(deps): bump async from 2.6.3 to 2.6.4
Pull Request -
State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies
#25 - build(deps): bump async from 2.6.3 to 2.6.4
Pull Request -
State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies
#24 - build(deps): bump ajv from 6.10.2 to 6.12.6
Pull Request -
State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies
#24 - build(deps): bump ajv from 6.10.2 to 6.12.6
Pull Request -
State: open - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies
#23 - build(deps): bump tmpl from 1.0.4 to 1.0.5
Pull Request -
State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#23 - build(deps): bump tmpl from 1.0.4 to 1.0.5
Pull Request -
State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#22 - build(deps): bump path-parse from 1.0.6 to 1.0.7
Pull Request -
State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#22 - build(deps): bump path-parse from 1.0.6 to 1.0.7
Pull Request -
State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#21 - build(deps): bump browserslist from 4.7.2 to 4.16.6
Pull Request -
State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#21 - build(deps): bump browserslist from 4.7.2 to 4.16.6
Pull Request -
State: open - Opened by dependabot[bot] over 3 years ago
Labels: dependencies
#20 - build(deps): bump hosted-git-info from 2.8.5 to 2.8.9
Pull Request -
State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#20 - build(deps): bump hosted-git-info from 2.8.5 to 2.8.9
Pull Request -
State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#19 - build(deps): bump lodash from 4.17.15 to 4.17.21
Pull Request -
State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#19 - build(deps): bump lodash from 4.17.15 to 4.17.21
Pull Request -
State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#18 - build(deps): bump handlebars from 4.4.5 to 4.7.7
Pull Request -
State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#18 - build(deps): bump handlebars from 4.4.5 to 4.7.7
Pull Request -
State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#17 - build(deps): bump y18n from 3.2.1 to 3.2.2
Pull Request -
State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#17 - build(deps): bump y18n from 3.2.1 to 3.2.2
Pull Request -
State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#16 - build(deps): bump elliptic from 6.5.1 to 6.5.4
Pull Request -
State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#16 - build(deps): bump elliptic from 6.5.1 to 6.5.4
Pull Request -
State: open - Opened by dependabot[bot] almost 4 years ago
Labels: dependencies
#15 - build(deps): bump handlebars from 4.4.5 to 4.7.6
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
- 1 comment
Labels: dependencies
#15 - build(deps): bump handlebars from 4.4.5 to 4.7.6
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
- 1 comment
Labels: dependencies
#14 - build(deps): bump elliptic from 6.5.1 to 6.5.3
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
- 1 comment
Labels: dependencies
#14 - build(deps): bump elliptic from 6.5.1 to 6.5.3
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
- 1 comment
Labels: dependencies
#13 - build(deps): bump lodash from 4.17.15 to 4.17.19
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
- 1 comment
Labels: dependencies
#13 - build(deps): bump lodash from 4.17.15 to 4.17.19
Pull Request -
State: closed - Opened by dependabot[bot] over 4 years ago
- 1 comment
Labels: dependencies
#12 - build(deps): bump acorn from 5.7.3 to 5.7.4
Pull Request -
State: open - Opened by dependabot[bot] almost 5 years ago
Labels: dependencies
#12 - build(deps): bump acorn from 5.7.3 to 5.7.4
Pull Request -
State: open - Opened by dependabot[bot] almost 5 years ago
Labels: dependencies
#11 - build(deps): bump serialize-to-js from 3.0.0 to 3.0.1
Pull Request -
State: open - Opened by dependabot[bot] about 5 years ago
Labels: dependencies
#11 - build(deps): bump serialize-to-js from 3.0.0 to 3.0.1
Pull Request -
State: open - Opened by dependabot[bot] about 5 years ago
Labels: dependencies
#10 - tidy: force-kill is the default now
Pull Request -
State: closed - Opened by actionshrimp about 6 years ago
#10 - tidy: force-kill is the default now
Pull Request -
State: closed - Opened by actionshrimp about 6 years ago
#9 - UI update
Pull Request -
State: closed - Opened by elijahkagan about 6 years ago
#9 - UI update
Pull Request -
State: closed - Opened by elijahkagan about 6 years ago
#8 - bump: bs-imandra-client (verified upto)
Pull Request -
State: closed - Opened by actionshrimp about 6 years ago
#8 - bump: bs-imandra-client (verified upto)
Pull Request -
State: closed - Opened by actionshrimp about 6 years ago
#7 - Todo MVC instances
Pull Request -
State: closed - Opened by actionshrimp about 6 years ago
#6 - fix: specify node version constraints
Pull Request -
State: closed - Opened by actionshrimp about 6 years ago
#5 - Travis VGs
Pull Request -
State: closed - Opened by actionshrimp about 6 years ago
#4 - Nicola/vgs
Pull Request -
State: closed - Opened by Bronsa about 6 years ago
#3 - TodoMVC model
Pull Request -
State: closed - Opened by actionshrimp about 6 years ago
#2 - fix(build): fix cold build
Pull Request -
State: closed - Opened by mattjbray about 6 years ago
- 1 comment
#1 - Instance viewer
Pull Request -
State: closed - Opened by actionshrimp about 6 years ago