Skip to content

Actions: DMOJ/online-judge

Actions

build

Actions

Loading...
Loading

Showing runs from all workflows named build
14 workflow run results
14 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update translations from Crowdin build #5639: Pull request #2142 synchronize by dmoj-build
October 13, 2023 00:43 1m 38s update-i18n
update-i18n
October 13, 2023 00:43 1m 38s
i18n: update translations from Crowdin build #5638: Commit 39a1f33 pushed by dmoj-build
October 13, 2023 00:43 1m 31s update-i18n
update-i18n
October 13, 2023 00:43 1m 31s
Implement user email change functionality build #5637: Pull request #2290 synchronize by Ninjaclasher
October 12, 2023 09:30 2m 7s Ninjaclasher:email-change
Ninjaclasher:email-change
October 12, 2023 09:30 2m 7s
Update translations from Crowdin build #5636: Pull request #2142 synchronize by dmoj-build
October 12, 2023 00:39 1m 36s update-i18n
update-i18n
October 12, 2023 00:39 1m 36s
i18n: update translations from Crowdin build #5635: Commit 0a35545 pushed by dmoj-build
October 12, 2023 00:39 1m 56s update-i18n
update-i18n
October 12, 2023 00:39 1m 56s
Implement user email change functionality build #5634: Pull request #2290 synchronize by Ninjaclasher
October 11, 2023 19:44 1m 39s Ninjaclasher:email-change
Ninjaclasher:email-change
October 11, 2023 19:44 1m 39s
Implement user email change functionality build #5633: Pull request #2290 synchronize by Ninjaclasher
October 11, 2023 19:36 1m 39s Ninjaclasher:email-change
Ninjaclasher:email-change
October 11, 2023 19:36 1m 39s
Implement user email change functionality build #5632: Pull request #2290 synchronize by Ninjaclasher
October 11, 2023 19:30 1m 51s Ninjaclasher:email-change
Ninjaclasher:email-change
October 11, 2023 19:30 1m 51s
Implement user email change functionality build #5631: Pull request #2290 opened by Ninjaclasher
October 11, 2023 17:34 7m 42s Ninjaclasher:email-change
Ninjaclasher:email-change
October 11, 2023 17:34 7m 42s
Use consistent capitals for admin column descriptions build #5630: Commit d6dd630 pushed by github-merge-queue bot
October 11, 2023 12:36 9m 11s master
master
October 11, 2023 12:36 9m 11s
Use consistent capitals for admin column descriptions build #5629: Commit d6dd630 pushed by github-merge-queue bot
October 11, 2023 12:27 11m 20s gh-readonly-queue/master/pr-2282-98c755706a43f4cb86db4ceca367b082d035d203
gh-readonly-queue/master/pr-2282-98c755706a43f4cb86db4ceca367b082d035d203
October 11, 2023 12:27 11m 20s
Fix user admin object creation and deletion build #5628: Pull request #2289 opened by Ninjaclasher
October 11, 2023 12:07 1m 51s Ninjaclasher:fix-user-admin-create-delete
Ninjaclasher:fix-user-admin-create-delete
October 11, 2023 12:07 1m 51s
Import latest Can I use... data build #5627: Pull request #1663 synchronize by dmoj-build
October 8, 2023 01:12 1m 31s update-caniuse
update-caniuse
October 8, 2023 01:12 1m 31s
Import latest Can I use... data build #5626: Commit 38d6e58 pushed by dmoj-build
October 8, 2023 01:12 1m 34s update-caniuse
update-caniuse
October 8, 2023 01:12 1m 34s