Skip to content

Actions: vassalengine/vassal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
73 workflow run results
73 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

12542 - Mitigate race condition when selecting player sides Build #4464: Pull request #12667 synchronize by riverwanderer
September 10, 2023 06:56 3m 23s riverwanderer:12542-side-switch-race-mitigation
riverwanderer:12542-side-switch-race-mitigation
September 10, 2023 06:56 3m 23s
IncrementProperty: Corrected bad wrap-around calculation when increment is negative Build #4463: Pull request #12676 opened by uckelman
September 9, 2023 23:13 10m 16s uckelman:increment_wrap_around
uckelman:increment_wrap_around
September 9, 2023 23:13 10m 16s
12542 - Mitigate race condition when selecting player sides Build #4462: Pull request #12667 synchronize by riverwanderer
September 9, 2023 21:50 4m 23s riverwanderer:12542-side-switch-race-mitigation
riverwanderer:12542-side-switch-race-mitigation
September 9, 2023 21:50 4m 23s
12542 - Mitigate race condition when selecting player sides Build #4461: Pull request #12667 synchronize by riverwanderer
September 9, 2023 13:48 10m 56s riverwanderer:12542-side-switch-race-mitigation
riverwanderer:12542-side-switch-race-mitigation
September 9, 2023 13:48 10m 56s
12542 - Mitigate race condition when selecting player sides Build #4460: Pull request #12667 synchronize by riverwanderer
September 9, 2023 10:57 10m 52s riverwanderer:12542-side-switch-race-mitigation
riverwanderer:12542-side-switch-race-mitigation
September 9, 2023 10:57 10m 52s
12542 - Mitigate race condition when selecting player sides Build #4459: Pull request #12667 synchronize by riverwanderer
September 9, 2023 07:28 12m 49s riverwanderer:12542-side-switch-race-mitigation
riverwanderer:12542-side-switch-race-mitigation
September 9, 2023 07:28 12m 49s
12678 - Truetype font support Build #4458: Pull request #12666 synchronize by BrentEaston
September 9, 2023 00:50 10m 54s BrentEaston:Font2
BrentEaston:Font2
September 9, 2023 00:50 10m 54s
12542 - Mitigate race condition when selecting player sides Build #4457: Pull request #12667 synchronize by riverwanderer
September 8, 2023 21:01 4m 50s riverwanderer:12542-side-switch-race-mitigation
riverwanderer:12542-side-switch-race-mitigation
September 8, 2023 21:01 4m 50s
Updated for 3.7.1 development. Build #4456: Commit a0a331e pushed by uckelman
September 8, 2023 14:53 14m 34s master
master
September 8, 2023 14:53 14m 34s
Updated version in README.md. Build #4455: Commit 1233cc1 pushed by uckelman
September 8, 2023 14:03 10m 54s master
master
September 8, 2023 14:03 10m 54s
Updated change log for 3.7.1. Build #4454: Commit 00150ee pushed by uckelman
September 8, 2023 13:56 23m 48s master
master
September 8, 2023 13:56 23m 48s
Updated for 3.7.1 development. Build #4453: Commit d0b8564 pushed by uckelman
September 8, 2023 13:54 10m 26s master
master
September 8, 2023 13:54 10m 26s
12542 - Mitigate race condition when selecting player sides Build #4452: Pull request #12667 synchronize by riverwanderer
September 8, 2023 09:03 11m 1s riverwanderer:12542-side-switch-race-mitigation
riverwanderer:12542-side-switch-race-mitigation
September 8, 2023 09:03 11m 1s
12542 - Mitigate race condition when selecting player sides Build #4451: Pull request #12667 synchronize by riverwanderer
September 8, 2023 05:33 9m 59s riverwanderer:12542-side-switch-race-mitigation
riverwanderer:12542-side-switch-race-mitigation
September 8, 2023 05:33 9m 59s
12542 - Mitigate race condition when selecting player sides Build #4450: Pull request #12667 synchronize by riverwanderer
September 8, 2023 04:08 1m 39s riverwanderer:12542-side-switch-race-mitigation
riverwanderer:12542-side-switch-race-mitigation
September 8, 2023 04:08 1m 39s
12670 - Prevent essential components being accidentally deleted Build #4449: Pull request #12671 opened by BrentEaston
September 8, 2023 03:53 12m 43s BrentEaston:12670-Essential-Components
BrentEaston:12670-Essential-Components
September 8, 2023 03:53 12m 43s
12542 - Mitigate race condition when selecting player sides Build #4448: Pull request #12667 synchronize by riverwanderer
September 7, 2023 19:13 14m 24s riverwanderer:12542-side-switch-race-mitigation
riverwanderer:12542-side-switch-race-mitigation
September 7, 2023 19:13 14m 24s
12542 - Mitigate race condition when selecting player sides Build #4447: Pull request #12667 synchronize by riverwanderer
September 7, 2023 16:32 12m 47s riverwanderer:12542-side-switch-race-mitigation
riverwanderer:12542-side-switch-race-mitigation
September 7, 2023 16:32 12m 47s
12542 - Mitigate race condition when selecting player sides Build #4446: Pull request #12667 synchronize by riverwanderer
September 7, 2023 15:26 12m 33s riverwanderer:12542-side-switch-race-mitigation
riverwanderer:12542-side-switch-race-mitigation
September 7, 2023 15:26 12m 33s
12542 - Mitigate race condition when selecting player sides Build #4445: Pull request #12667 synchronize by riverwanderer
September 7, 2023 14:42 11m 3s riverwanderer:12542-side-switch-race-mitigation
riverwanderer:12542-side-switch-race-mitigation
September 7, 2023 14:42 11m 3s
12542 - Mitigate race condition when selecting player sides Build #4444: Pull request #12667 synchronize by riverwanderer
September 7, 2023 13:00 12m 21s riverwanderer:12542-side-switch-race-mitigation
riverwanderer:12542-side-switch-race-mitigation
September 7, 2023 13:00 12m 21s
12542 - Mitigate race condition when selecting player sides Build #4443: Pull request #12667 opened by riverwanderer
September 7, 2023 12:35 2m 12s riverwanderer:12542-side-switch-race-mitigation
riverwanderer:12542-side-switch-race-mitigation
September 7, 2023 12:35 2m 12s
Removed superceded Java update from 3.6.19 -> 3.7.0 changes. Build #4442: Commit 8852fce pushed by uckelman
September 7, 2023 12:26 13m 22s master
master
September 7, 2023 12:26 13m 22s