Skip to content

Activity

Showing most recent first

Bump com.google.guava:guava from 33.4.0-jre to 33.4.5-jre

kostispushed 1 commit to main • c1b1a67…49bd887 • 
2 days ago

Deleted branch

kostisdeleted errorprone-2.37.0 • 
3 days ago

Bump com.google.errorprone:error_prone_core from 2.36.0 to 2.37.0 (#110)

Pull request merge
kostispushed 1 commit to main • cabcf60…c1b1a67 • 
3 days ago

Bump com.google.errorprone:error_prone_core from 2.36.0 to 2.37.0

kostiscreated errorprone-2.37.0 • a88e399 • 
3 days ago

Bump com.github.spotbugs:spotbugs-maven-plugin from 4.9.2.0 to 4.9.3.0

kostispushed 1 commit to main • 0f1a438…cabcf60 • 
5 days ago

Deleted branch

kostisdeleted lakers-0.8.0 • 
17 days ago

Update to lakers 0.8.0 (#109)

Pull request merge
kostispushed 1 commit to main • 60f079d…0f1a438 • 
17 days ago

Update hyp2 for the server of lakers 0.8.0

kostispushed 1 commit to lakers-0.8.0 • b3190eb…1503659 • 
17 days ago

Minor fix in README [ci skip]

kostispushed 1 commit to main • c602712…60f079d • 
17 days ago

Deleted branch

kostisdeleted rustup-nightly-2024-06-22 • 
17 days ago

Bump lakers version from 0.7.2 to 0.8.0

Force push
kostisforce pushed to lakers-0.8.0 • 0f81814…b3190eb • 
17 days ago

Fix the lakers CI (#108)

Pull request merge
kostispushed 1 commit to main • cfc019b…c602712 • 
17 days ago

Fix the lakers server too

kostispushed 1 commit to rustup-nightly-2024-06-22 • ce95a8a…96fe2c7 • 
17 days ago

Try to use nightly-2024-06-22 Rust tool chain in the lakers CI

kostiscreated rustup-nightly-2024-06-22 • ce95a8a • 
17 days ago

Bump lakers version from 0.7.2 to 0.8.0

kostiscreated lakers-0.8.0 • 0f81814 • 
17 days ago

Bump com.github.spotbugs:spotbugs-maven-plugin from 4.9.1.0 to 4.9.2.0

kostispushed 1 commit to main • 1836551…cfc019b • 
18 days ago

Deleted branch

kostisdeleted generics • 
22 days ago

Update to the latest protocol-state-fuzzer which uses generics (#107)

Pull request merge
kostispushed 1 commit to main • e4faa87…1836551 • 
22 days ago

Bump to the latest commit (21/2/2025) of PSF

Force push
kostisforce pushed to generics • e12e885…ca60942 • 
23 days ago

Bump protocol-state-fuzzer to commit just before the introduction of …

kostispushed 1 commit to main • d1678dc…e4faa87 • 
23 days ago

Bump maven-conpiler-plugin and spotless-maven-plugin versions

kostispushed 1 commit to main • d4a917f…d1678dc • 
29 days ago

Bump com.github.spotbugs:spotbugs-maven-plugin from 4.8.6.6 to 4.9.1.0

kostispushed 1 commit to main • 45ff03c…d4a917f • 
on Feb 17

Bump com.github.spotbugs:spotbugs-maven-plugin from 4.8.6.6 to 4.9.1.0

dependabot[bot]created dependabot/maven/com.github.spotbugs-spotbugs-maven-plugin-4.9.1.0 • 3775ff5 • 
on Feb 17

Bump com.google.code.gson:gson from 2.11.0 to 2.12.1

kostispushed 1 commit to main • 86f01d1…45ff03c • 
on Feb 3

Deleted branch

kostisdeleted upgrade-lakers • 
on Jan 24

Upgrade Lakers to latest version (v0.7.2) (#104)

Pull request merge
kostispushed 1 commit to main • 77f1246…86f01d1 • 
on Jan 24

Upgrade Lakers to v0.7.2

kostispushed 1 commit to upgrade-lakers • 7491204…0df5656 • 
on Jan 24

Upgrade Lakers to v0.6.2

kostispushed 1 commit to upgrade-lakers • 8025cd4…7491204 • 
on Jan 24

Upgrade Lakers to v0.6.0

kostispushed 1 commit to upgrade-lakers • 4808f68…8025cd4 • 
on Jan 24