Skip to content

Actions: kovzol/Java-Geometry-Expert

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Corrected a typo on Rule 4 for the GDD in keys.pot (#41) build #168: Commit 1ad9a84 pushed by Traumlos
1m 46s Traumlos-gwt
Traumlos-gwt
1m 46s
added javadoc for packages build #167: Commit 604e9ca pushed by Traumlos
1m 42s Traumlos
Traumlos
1m 42s
added missing javadoc for some methods build #166: Commit 8ad3530 pushed by Traumlos
3m 3s Traumlos
Traumlos
3m 3s
fixed javadoc display errors build #165: Commit e3ead96 pushed by Traumlos
1m 47s Traumlos
Traumlos
1m 47s
superficial refactor and added java doc to wprover/UI/pdf folder build #164: Commit e4aeb2a pushed by Traumlos
2m 54s Traumlos
Traumlos
2m 54s
refactored drawProcess switch case build #163: Commit 3cdc7f7 pushed by Traumlos
1m 48s Traumlos
Traumlos
1m 48s
Merge pull request #46 from Traumlos/master build #162: Commit e978d58 pushed by kovzol
1m 55s Traumlos
Traumlos
1m 55s
Merge pull request #45 from Traumlos/master build #161: Commit 50a60ea pushed by kovzol
1m 5s Traumlos
Traumlos
1m 5s
superficial refactor and added java doc to math folder (#43) build #160: Commit 3aaa302 pushed by kovzol
1m 54s Traumlos
Traumlos
1m 54s
Corrected a typo on Rule 4 for the GDD in keys.pot (#41) build #159: Commit 1ad9a84 pushed by kovzol
1m 54s Traumlos
Traumlos
1m 54s
Corrected a typo on Rule 4 for the GDD in keys.pot (#41) build #158: Commit 1ad9a84 pushed by kovzol
1m 45s master
master
1m 45s
Unsuccessful attempt to add URL to SVG output inside the application … build #157: Commit 257e493 pushed by kovzol
1m 46s master
master
1m 46s
Implement rule explanations via images in GV export (joint work with … build #156: Commit 6fe353f pushed by kovzol
3m 42s master
master
3m 42s
GDD rules in JPEG format build #155: Commit 1ef2022 pushed by kovzol
1m 56s master
master
1m 56s
Change dashlist to widthlist in DrawData::getWidth (#39) build #154: Commit 066d81d pushed by kovzol
1m 56s master
master
1m 56s
Version bump to 0.86 (gradle) build #153: Commit 4bc5e62 pushed by kovzol
1m 46s 0.86
0.86
1m 46s
Version bump to 0.86 (gradle) build #152: Commit 4bc5e62 pushed by kovzol
1m 57s master
master
1m 57s
Version bump to 0.86 (snapcraft) build #151: Commit 47b309a pushed by kovzol
2m 4s master
master
2m 4s
Version bump to 0.86 build #150: Commit d7700d4 pushed by kovzol
1m 53s master
master
1m 53s
Show tooltip build #149: Commit 7d4f41f pushed by kovzol
1m 59s master
master
1m 59s
Further attempts to show tooltip and url (incomplete) build #148: Commit 49e55d8 pushed by kovzol
1m 59s master
master
1m 59s
Update to new batik version, improve tooltip (yet incomplete for batik) build #147: Commit a6e5fde pushed by kovzol
1m 59s master
master
1m 59s
Improve GDD proof look in JGEX by using graph-support 1.4.0 (part 2) build #146: Commit 4c5f45f pushed by kovzol
1m 43s master
master
1m 43s
Improve GDD proof look in JGEX by using graph-support 1.4.0 build #145: Commit 0ccb013 pushed by kovzol
1m 58s master
master
1m 58s