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
#100 - Bump org.sonarqube from 2.8 to 3.1.1
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 4 years ago
- 1 comment
Labels: dependencies
#99 - Bump mockito-core from 3.2.4 to 3.7.7
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 4 years ago
- 1 comment
Labels: dependencies
#98 - Bump mockito-junit-jupiter from 3.2.4 to 3.7.7
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 4 years ago
- 1 comment
Labels: dependencies
#98 - Bump mockito-junit-jupiter from 3.2.4 to 3.7.7
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 4 years ago
- 1 comment
Labels: dependencies
#97 - Bump org.sonarqube from 2.8 to 3.1
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 4 years ago
- 1 comment
Labels: dependencies
#97 - Bump org.sonarqube from 2.8 to 3.1
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 4 years ago
- 1 comment
Labels: dependencies
#96 - Bump mockito-junit-jupiter from 3.2.4 to 3.7.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 4 years ago
- 1 comment
Labels: dependencies
#96 - Bump mockito-junit-jupiter from 3.2.4 to 3.7.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 4 years ago
- 1 comment
Labels: dependencies
#95 - Bump mockito-core from 3.2.4 to 3.7.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 4 years ago
- 1 comment
Labels: dependencies
#94 - Bump mockito-junit-jupiter from 3.2.4 to 3.6.28
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 4 years ago
- 1 comment
Labels: dependencies
#93 - Bump mockito-core from 3.2.4 to 3.6.28
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 4 years ago
- 1 comment
Labels: dependencies
#92 - Bump mockito-core from 3.2.4 to 3.6.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#91 - Bump mockito-junit-jupiter from 3.2.4 to 3.6.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#91 - Bump mockito-junit-jupiter from 3.2.4 to 3.6.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#90 - Bump mockito-core from 3.2.4 to 3.5.15
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#89 - Bump mockito-junit-jupiter from 3.2.4 to 3.5.15
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#88 - Bump junit from 4.13 to 4.13.1
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#87 - Bump com.github.johnrengelman.shadow from 5.2.0 to 6.1.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#86 - Bump mockito-core from 3.2.4 to 3.5.13
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#85 - Bump mockito-junit-jupiter from 3.2.4 to 3.5.13
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#85 - Bump mockito-junit-jupiter from 3.2.4 to 3.5.13
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#84 - Bump mockito-core from 3.2.4 to 3.5.11
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#83 - Bump mockito-junit-jupiter from 3.2.4 to 3.5.11
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#82 - Bump junit-platform-engine from 1.5.2 to 1.7.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#82 - Bump junit-platform-engine from 1.5.2 to 1.7.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#81 - Bump junit-jupiter-engine from 5.5.2 to 5.7.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#80 - Bump junit-jupiter-params from 5.5.2 to 5.7.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#79 - Bump junit-jupiter-api from 5.5.2 to 5.7.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#79 - Bump junit-jupiter-api from 5.5.2 to 5.7.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#78 - Bump mockito-core from 3.2.4 to 3.5.10
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#78 - Bump mockito-core from 3.2.4 to 3.5.10
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#77 - Bump mockito-junit-jupiter from 3.2.4 to 3.5.10
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#77 - Bump mockito-junit-jupiter from 3.2.4 to 3.5.10
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#76 - Bump mockito-junit-jupiter from 3.2.4 to 3.5.9
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#76 - Bump mockito-junit-jupiter from 3.2.4 to 3.5.9
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#75 - Bump mockito-core from 3.2.4 to 3.5.9
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#75 - Bump mockito-core from 3.2.4 to 3.5.9
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#74 - Bump mockito-core from 3.2.4 to 3.5.7
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#74 - Bump mockito-core from 3.2.4 to 3.5.7
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#73 - Bump mockito-junit-jupiter from 3.2.4 to 3.5.7
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#73 - Bump mockito-junit-jupiter from 3.2.4 to 3.5.7
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#72 - Bump mockito-core from 3.2.4 to 3.5.6
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#72 - Bump mockito-core from 3.2.4 to 3.5.6
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#71 - Bump mockito-junit-jupiter from 3.2.4 to 3.5.6
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#71 - Bump mockito-junit-jupiter from 3.2.4 to 3.5.6
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#70 - Bump mockito-core from 3.2.4 to 3.5.5
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#69 - Bump mockito-junit-jupiter from 3.2.4 to 3.5.5
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#68 - Bump mockito-junit-jupiter from 3.2.4 to 3.5.2
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#68 - Bump mockito-junit-jupiter from 3.2.4 to 3.5.2
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#67 - Bump mockito-core from 3.2.4 to 3.5.2
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#67 - Bump mockito-core from 3.2.4 to 3.5.2
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#66 - Bump mockito-junit-jupiter from 3.2.4 to 3.5.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#65 - Bump mockito-core from 3.2.4 to 3.5.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#65 - Bump mockito-core from 3.2.4 to 3.5.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#64 - Bump mockito-junit-jupiter from 3.2.4 to 3.4.6
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#64 - Bump mockito-junit-jupiter from 3.2.4 to 3.4.6
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#63 - Bump mockito-core from 3.2.4 to 3.4.6
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#62 - Bump mockito-core from 3.2.4 to 3.4.4
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#62 - Bump mockito-core from 3.2.4 to 3.4.4
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#61 - Bump mockito-junit-jupiter from 3.2.4 to 3.4.4
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#60 - Bump mockito-junit-jupiter from 3.2.4 to 3.4.2
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#59 - Bump mockito-core from 3.2.4 to 3.4.2
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#59 - Bump mockito-core from 3.2.4 to 3.4.2
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#58 - Bump mockito-junit-jupiter from 3.2.4 to 3.4.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#58 - Bump mockito-junit-jupiter from 3.2.4 to 3.4.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#57 - Bump mockito-core from 3.2.4 to 3.4.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#57 - Bump mockito-core from 3.2.4 to 3.4.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#56 - Bump com.github.johnrengelman.shadow from 5.2.0 to 6.0.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#56 - Bump com.github.johnrengelman.shadow from 5.2.0 to 6.0.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#55 - Bump org.sonarqube from 2.8 to 3.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#55 - Bump org.sonarqube from 2.8 to 3.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#54 - Bump junit-jupiter-engine from 5.5.2 to 5.6.2
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#54 - Bump junit-jupiter-engine from 5.5.2 to 5.6.2
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#53 - Bump junit-platform-engine from 1.5.2 to 1.6.2
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#52 - Bump junit-jupiter-api from 5.5.2 to 5.6.2
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#51 - Bump junit-jupiter-params from 5.5.2 to 5.6.2
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#50 - Bump junit-jupiter-params from 5.5.2 to 5.6.1
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#50 - Bump junit-jupiter-params from 5.5.2 to 5.6.1
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#49 - Bump junit-jupiter-engine from 5.5.2 to 5.6.1
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#49 - Bump junit-jupiter-engine from 5.5.2 to 5.6.1
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#48 - Bump junit-platform-engine from 1.5.2 to 1.6.1
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#47 - Bump junit-jupiter-api from 5.5.2 to 5.6.1
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#47 - Bump junit-jupiter-api from 5.5.2 to 5.6.1
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#46 - Bump guice from 4.2.2 to 4.2.3
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#46 - Bump guice from 4.2.2 to 4.2.3
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#45 - Bump mockito-core from 3.2.4 to 3.3.3
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#45 - Bump mockito-core from 3.2.4 to 3.3.3
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#44 - Bump mockito-junit-jupiter from 3.2.4 to 3.3.3
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#44 - Bump mockito-junit-jupiter from 3.2.4 to 3.3.3
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#43 - Bump mockito-core from 3.2.4 to 3.3.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#43 - Bump mockito-core from 3.2.4 to 3.3.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#42 - Bump mockito-junit-jupiter from 3.2.4 to 3.3.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#42 - Bump mockito-junit-jupiter from 3.2.4 to 3.3.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] almost 5 years ago
- 1 comment
Labels: dependencies
#41 - Bump junit-jupiter-engine from 5.5.2 to 5.6.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 5 years ago
- 1 comment
Labels: dependencies
#41 - Bump junit-jupiter-engine from 5.5.2 to 5.6.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 5 years ago
- 1 comment
Labels: dependencies
#40 - Bump junit-jupiter-api from 5.5.2 to 5.6.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 5 years ago
- 1 comment
Labels: dependencies
#40 - Bump junit-jupiter-api from 5.5.2 to 5.6.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 5 years ago
- 1 comment
Labels: dependencies
#39 - Bump junit-jupiter-params from 5.5.2 to 5.6.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 5 years ago
- 1 comment
Labels: dependencies
#38 - Bump junit-platform-engine from 1.5.2 to 1.6.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 5 years ago
- 1 comment
Labels: dependencies
#38 - Bump junit-platform-engine from 1.5.2 to 1.6.0
Pull Request -
State: closed - Opened by dependabot-preview[bot] about 5 years ago
- 1 comment
Labels: dependencies