Skip to content

Actions: vassalengine/vassal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,403 workflow runs
1,403 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Editor search revamp: more options and enhanced navigation Build #4848: Pull request #12798 synchronize by riverwanderer
October 16, 2023 22:07 3m 45s riverwanderer:editor-search-regex-revamp-radiobuttons-prev
riverwanderer:editor-search-regex-revamp-radiobuttons-prev
October 16, 2023 22:07 3m 45s
Editor search revamp: more options and enhanced navigation Build #4847: Pull request #12798 synchronize by riverwanderer
October 16, 2023 21:38 3m 16s riverwanderer:editor-search-regex-revamp-radiobuttons-prev
riverwanderer:editor-search-regex-revamp-radiobuttons-prev
October 16, 2023 21:38 3m 16s
Updated for 3.7.4 development. Build #4846: Commit 73c1e1f pushed by uckelman
October 16, 2023 21:36 10m 46s master
master
October 16, 2023 21:36 10m 46s
Editor search revamp: more options and enhanced navigation Build #4845: Pull request #12798 synchronize by riverwanderer
October 16, 2023 20:18 4m 25s riverwanderer:editor-search-regex-revamp-radiobuttons-prev
riverwanderer:editor-search-regex-revamp-radiobuttons-prev
October 16, 2023 20:18 4m 25s
Updated for the 3.7.3 release. Build #4844: Commit 5a8ca6e pushed by uckelman
October 16, 2023 19:28 11m 15s master
master
October 16, 2023 19:28 11m 15s
Merge pull request #12822 from uckelman/fix_inserts_typo Build #4843: Commit a2749ff pushed by uckelman
October 16, 2023 19:20 12m 15s master
master
October 16, 2023 19:20 12m 15s
Fixed typo Build #4842: Pull request #12822 opened by uckelman
October 16, 2023 19:04 12m 23s uckelman:fix_inserts_typo
uckelman:fix_inserts_typo
October 16, 2023 19:04 12m 23s
Updated change log. Build #4841: Commit bf0520b pushed by uckelman
October 16, 2023 15:50 10m 53s master
master
October 16, 2023 15:50 10m 53s
Merge pull request #12723 from BrentEaston/12705-duplicate_translatio… Build #4840: Commit e241d5f pushed by uckelman
October 16, 2023 15:44 10m 42s master
master
October 16, 2023 15:44 10m 42s
Updated change log. Build #4839: Commit 71e33ca pushed by uckelman
October 16, 2023 14:11 11m 13s master
master
October 16, 2023 14:11 11m 13s
Merge pull request #12808 from lenzls/horizontal-mouse-wheel-scrolling Build #4838: Commit 1003e4a pushed by uckelman
October 16, 2023 14:08 10m 35s master
master
October 16, 2023 14:08 10m 35s
Updated change log. Build #4837: Commit 1c4f8d0 pushed by uckelman
October 16, 2023 13:47 12m 21s master
master
October 16, 2023 13:47 12m 21s
Keep 'set- e', but prevent script failure when 'which' fails. Build #4836: Commit 8fa2771 pushed by uckelman
October 16, 2023 13:45 11m 36s master
master
October 16, 2023 13:45 11m 36s
Merge pull request #12811 from joesyverson/linux-executable-error-han… Build #4835: Commit 5f9e13a pushed by uckelman
October 16, 2023 13:33 13m 32s master
master
October 16, 2023 13:33 13m 32s
Fixed typo. Build #4834: Commit b044e29 pushed by uckelman
October 16, 2023 12:37 10m 16s master
master
October 16, 2023 12:37 10m 16s
Updated change log. Build #4833: Commit 9c2c256 pushed by uckelman
October 16, 2023 12:28 10m 7s master
master
October 16, 2023 12:28 10m 7s
Merge pull request #12817 from Cattlesquat/KeyConfigurerFix Build #4832: Commit d94800b pushed by uckelman
October 16, 2023 12:19 12m 23s master
master
October 16, 2023 12:19 12m 23s
Editor search revamp: more options and enhanced navigation Build #4831: Pull request #12798 synchronize by riverwanderer
October 16, 2023 11:16 10m 16s riverwanderer:editor-search-regex-revamp-radiobuttons-prev
riverwanderer:editor-search-regex-revamp-radiobuttons-prev
October 16, 2023 11:16 10m 16s
12817 - Fix alphanumeric key behavior in hotkey (key command) configurer in Editor (e.g., Shift+B should show up as "Shift+B", not "B") Build #4830: Pull request #12817 synchronize by Cattlesquat
October 15, 2023 20:37 11m 12s Cattlesquat:KeyConfigurerFix
Cattlesquat:KeyConfigurerFix
October 15, 2023 20:37 11m 12s
12817 - Fix alphanumeric key behavior in hotkey (key command) configurer in Editor (e.g., Shift+B should show up as "Shift+B", not "B") Build #4829: Pull request #12817 opened by Cattlesquat
October 15, 2023 20:30 9m 58s Cattlesquat:KeyConfigurerFix
Cattlesquat:KeyConfigurerFix
October 15, 2023 20:30 9m 58s
GitHub issue templates Build #4828: Pull request #12816 opened by riverwanderer
October 15, 2023 10:42 12m 28s riverwanderer:github-issue-templates
riverwanderer:github-issue-templates
October 15, 2023 10:42 12m 28s
Editor search revamp: more options and enhanced navigation Build #4827: Pull request #12798 synchronize by riverwanderer
October 14, 2023 18:02 10m 45s riverwanderer:editor-search-regex-revamp-radiobuttons-prev
riverwanderer:editor-search-regex-revamp-radiobuttons-prev
October 14, 2023 18:02 10m 45s
Editor search revamp: more options and enhanced navigation Build #4826: Pull request #12798 synchronize by riverwanderer
October 14, 2023 17:02 12m 15s riverwanderer:editor-search-regex-revamp-radiobuttons-prev
riverwanderer:editor-search-regex-revamp-radiobuttons-prev
October 14, 2023 17:02 12m 15s
Editor search revamp: more options and enhanced navigation Build #4825: Pull request #12798 synchronize by riverwanderer
October 14, 2023 16:54 5m 17s riverwanderer:editor-search-regex-revamp-radiobuttons-prev
riverwanderer:editor-search-regex-revamp-radiobuttons-prev
October 14, 2023 16:54 5m 17s
Editor search revamp: more options and enhanced navigation Build #4824: Pull request #12798 synchronize by riverwanderer
October 14, 2023 16:44 1m 58s riverwanderer:editor-search-regex-revamp-radiobuttons-prev
riverwanderer:editor-search-regex-revamp-radiobuttons-prev
October 14, 2023 16:44 1m 58s
ProTip! You can narrow down the results and go further in time using created:<2023-10-14 or the other filters available.