Skip to content

Actions: kohler/hotcrp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
760 workflow runs
760 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Another improvement to initial matching. Tests #934: Commit 54e2e39 pushed by kohler
August 8, 2023 22:57 1m 30s master
master
August 8, 2023 22:57 1m 30s
Conflictassign pins only in the correct direction. Tests #933: Commit cb65c77 pushed by kohler
August 8, 2023 22:48 1m 40s master
master
August 8, 2023 22:48 1m 40s
Conflictassign updates. Tests #932: Commit 4f1af47 pushed by kohler
August 8, 2023 22:38 1m 46s master
master
August 8, 2023 22:38 1m 46s
Rename votetags help group to voting. Tests #931: Commit 326f1ce pushed by kohler
August 8, 2023 21:23 1m 50s master
master
August 8, 2023 21:23 1m 50s
Improve handling of abbreviated names. Tests #930: Commit d11a071 pushed by kohler
August 8, 2023 20:07 1m 45s master
master
August 8, 2023 20:07 1m 45s
Little tweaks. Tests #929: Commit 0c10296 pushed by kohler
August 8, 2023 14:10 1m 37s master
master
August 8, 2023 14:10 1m 37s
Remember deaccented versions. Tests #928: Commit fd23280 pushed by kohler
August 7, 2023 20:09 2m 15s master
master
August 7, 2023 20:09 2m 15s
Use DocumentInfo::error_filename() where appropriate. Tests #927: Commit edebef9 pushed by kohler
August 7, 2023 12:32 1m 46s master
master
August 7, 2023 12:32 1m 46s
Click on a paper row, including extension row => focus input. Tests #926: Commit db2c225 pushed by kohler
August 7, 2023 03:58 1m 56s master
master
August 7, 2023 03:58 1m 56s
Fix previous test with a pretty large rewrite. Tests #925: Commit d93727b pushed by kohler
August 5, 2023 21:24 2m 9s master
master
August 5, 2023 21:24 2m 9s
Oops Tests #924: Commit dc28cb4 pushed by kohler
August 4, 2023 20:31 1m 35s master
master
August 4, 2023 20:31 1m 35s
If first install of poppler-utils fails, apt-get update & retry. Tests #923: Commit 2adff20 pushed by kohler
August 4, 2023 18:52 1m 50s master
master
August 4, 2023 18:52 1m 50s
x Tests #922: Commit 6de145b pushed by kohler
August 4, 2023 18:49 1m 47s github
github
August 4, 2023 18:49 1m 47s
I dunno Tests #921: Commit 1aabda8 pushed by kohler
August 4, 2023 18:16 1m 30s github
github
August 4, 2023 18:16 1m 30s
Tagger nits: Method renames, fix some regexes. Tests #920: Commit 14d45af pushed by kohler
August 4, 2023 17:54 27s master
master
August 4, 2023 17:54 27s
Mailer: Don't expand strings like %2A that might occur in URLs. Tests #919: Commit dc8b42e pushed by kohler
August 3, 2023 20:51 1m 31s master
master
August 3, 2023 20:51 1m 31s
Don't warn about missing Si::pages. Tests #918: Commit 331df2e pushed by kohler
August 2, 2023 20:40 1m 31s master
master
August 2, 2023 20:40 1m 31s
Fix dropmenu JS errors, remove IE support. Tests #917: Commit 1b3d07e pushed by kohler
August 1, 2023 21:48 1m 38s master
master
August 1, 2023 21:48 1m 38s
Add support for highlighted named searches, which appear on home. Tests #916: Commit 2384e32 pushed by kohler
July 31, 2023 16:45 2m 25s master
master
July 31, 2023 16:45 2m 25s
Nits. Tests #915: Commit 35b3d22 pushed by kohler
July 31, 2023 16:25 2m 37s master
master
July 31, 2023 16:25 2m 37s
Add named search settings (JSON only for now). Tests #914: Commit 02392d5 pushed by kohler
July 31, 2023 16:06 2m 26s master
master
July 31, 2023 16:06 2m 26s
Use shadow elements for autogrow. :( Tests #913: Commit af95971 pushed by kohler
July 29, 2023 17:14 3m 11s master
master
July 29, 2023 17:14 3m 11s
Include search warnings about named searches. Tests #912: Commit 2c07d35 pushed by kohler
July 29, 2023 16:24 1m 43s master
master
July 29, 2023 16:24 1m 43s
Store named searches in a single setting JSON. Tests #911: Commit 4a26241 pushed by kohler
July 29, 2023 16:01 1m 37s master
master
July 29, 2023 16:01 1m 37s
Don't truncate comments when downloading (Peter Sewell). Tests #910: Commit ff8c8cf pushed by kohler
July 29, 2023 10:59 1m 42s master
master
July 29, 2023 10:59 1m 42s
ProTip! You can narrow down the results and go further in time using created:<2023-07-29 or the other filters available.