Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / felixklauke/isabelle issues and pull requests
#37 - Bump junit from 4.12 to 4.13
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 5 years ago
Labels: dependencies
#37 - Bump junit from 4.12 to 4.13
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 5 years ago
Labels: dependencies
#36 - Bump mockito-core from 3.2.0 to 3.2.4
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 5 years ago
Labels: dependencies
#36 - Bump mockito-core from 3.2.0 to 3.2.4
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 5 years ago
Labels: dependencies
#35 - Bump mockito-junit-jupiter from 3.2.0 to 3.2.4
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 5 years ago
Labels: dependencies
#34 - Bump governator from 1.17.5 to 1.17.10
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 5 years ago
Labels: dependencies
#33 - Bump mockito-core from 2.19.0 to 3.2.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 5 years ago
Labels: dependencies
#33 - Bump mockito-core from 2.19.0 to 3.2.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 5 years ago
Labels: dependencies
#32 - Bump mockito-junit-jupiter from 2.19.0 to 3.2.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 5 years ago
Labels: dependencies
#31 - Bump com.github.johnrengelman.shadow from 2.0.4 to 5.2.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 5 years ago
Labels: dependencies
#31 - Bump com.github.johnrengelman.shadow from 2.0.4 to 5.2.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 5 years ago
Labels: dependencies
#30 - Bump com.github.johnrengelman.shadow from 2.0.4 to 5.1.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 5 years ago
- 1 comment
Labels: dependencies
#30 - Bump com.github.johnrengelman.shadow from 2.0.4 to 5.1.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 5 years ago
- 1 comment
Labels: dependencies
#29 - Bump junit-jupiter-api from 5.2.0 to 5.5.2
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 5 years ago
Labels: dependencies
#29 - Bump junit-jupiter-api from 5.2.0 to 5.5.2
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 5 years ago
Labels: dependencies
#28 - Bump junit-platform-engine from 1.2.0 to 1.5.2
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 5 years ago
Labels: dependencies
#27 - Bump governator from 1.17.5 to 1.17.9
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 5 years ago
- 1 comment
Labels: dependencies
#27 - Bump governator from 1.17.5 to 1.17.9
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 5 years ago
- 1 comment
Labels: dependencies
#26 - Bump mockito-junit-jupiter from 2.19.0 to 3.1.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 5 years ago
- 1 comment
Labels: dependencies
#25 - Bump junit-jupiter-params from 5.2.0 to 5.5.2
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 5 years ago
Labels: dependencies
#25 - Bump junit-jupiter-params from 5.2.0 to 5.5.2
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 5 years ago
Labels: dependencies
#24 - Bump org.sonarqube from 2.7 to 2.8
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 5 years ago
Labels: dependencies
#24 - Bump org.sonarqube from 2.7 to 2.8
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 5 years ago
Labels: dependencies
#23 - Bump junit-jupiter-engine from 5.2.0 to 5.5.2
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 5 years ago
Labels: dependencies
#23 - Bump junit-jupiter-engine from 5.2.0 to 5.5.2
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 5 years ago
Labels: dependencies
#22 - Bump mockito-core from 2.19.0 to 3.1.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 5 years ago
- 1 comment
Labels: dependencies
#22 - Bump mockito-core from 2.19.0 to 3.1.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 5 years ago
- 1 comment
Labels: dependencies
#21 - Add tests for different minecraft versions
Issue -
State: open - Opened by felixklauke over 5 years ago
Labels: enhancement
#21 - Add tests for different minecraft versions
Issue -
State: open - Opened by felixklauke over 5 years ago
Labels: enhancement
#20 - Master
Pull Request -
State: closed - Opened by felixklauke over 5 years ago
#20 - Master
Pull Request -
State: closed - Opened by felixklauke over 5 years ago
#19 - Master
Pull Request -
State: closed - Opened by felixklauke almost 6 years ago
#19 - Master
Pull Request -
State: closed - Opened by felixklauke almost 6 years ago
#18 - Master
Pull Request -
State: closed - Opened by felixklauke almost 6 years ago
#18 - Master
Pull Request -
State: closed - Opened by felixklauke almost 6 years ago
#17 - Feature/badges
Pull Request -
State: closed - Opened by felixklauke over 6 years ago
#17 - Feature/badges
Pull Request -
State: closed - Opened by felixklauke over 6 years ago
#16 - Add dependency examples to readme.
Pull Request -
State: closed - Opened by felixklauke over 6 years ago
#16 - Add dependency examples to readme.
Pull Request -
State: closed - Opened by felixklauke over 6 years ago
#15 - Release 1.2.0
Pull Request -
State: closed - Opened by felixklauke over 6 years ago
- 1 comment
#14 - Rc1.2.0
Pull Request -
State: closed - Opened by felixklauke over 6 years ago
- 1 comment
#13 - Release version 1.0.0 (#12)
Pull Request -
State: closed - Opened by felixklauke over 6 years ago
#12 - Release version 1.0.0
Pull Request -
State: closed - Opened by felixklauke over 6 years ago
#11 - Add support for release versions.
Pull Request -
State: closed - Opened by felixklauke over 6 years ago
#10 - Feature/extension
Pull Request -
State: closed - Opened by felixklauke over 6 years ago
- 1 comment
#9 - Feature/extension
Pull Request -
State: closed - Opened by felixklauke over 6 years ago
#8 - Add lifecycle aware extension abstraction.
Pull Request -
State: closed - Opened by felixklauke over 6 years ago
#7 - Upload code coverage report to codecov.io.
Pull Request -
State: closed - Opened by felixklauke over 6 years ago
#6 - Add task that will generate a code coverage report via the jacoco plu…
Pull Request -
State: closed - Opened by felixklauke over 6 years ago
#5 - Add JUnit and Mockito alongside with some other build configurations.
Pull Request -
State: closed - Opened by felixklauke over 6 years ago
#4 - Update issue templates
Pull Request -
State: closed - Opened by felixklauke over 6 years ago
#3 - Create LICENSE
Pull Request -
State: closed - Opened by felixklauke over 6 years ago
#2 - Create CODE_OF_CONDUCT.md
Pull Request -
State: closed - Opened by felixklauke over 6 years ago
#1 - Add .travis.yml build script.
Pull Request -
State: closed - Opened by felixklauke over 6 years ago