Skip to content

Actions: DMOJ/online-judge

makemessages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add separator line for martor dark mode between tooltip and editor
makemessages #875: Commit c82e540 pushed by github-merge-queue bot
December 26, 2024 01:19 52s master
December 26, 2024 01:19 52s
Fix martor flake8 errors
makemessages #874: Commit 8731878 pushed by github-merge-queue bot
December 26, 2024 01:16 2m 0s master
December 26, 2024 01:16 2m 0s
Migrate all Martor CSS to martor-description
makemessages #873: Commit 8111d43 pushed by github-merge-queue bot
December 25, 2024 22:27 1m 10s master
December 25, 2024 22:27 1m 10s
Fix martor dark style
makemessages #872: Commit 4a34ad3 pushed by github-merge-queue bot
December 25, 2024 08:36 1m 2s master
December 25, 2024 08:36 1m 2s
Remove useless martor styling hack
makemessages #871: Commit 97eb1ad pushed by quantum5
December 25, 2024 07:21 57s master
December 25, 2024 07:21 57s
Fix site_theme on anonymous users
makemessages #870: Commit 0ce1e8f pushed by quantum5
December 25, 2024 05:32 1m 50s master
December 25, 2024 05:32 1m 50s
Pass site theme as data-theme on <body>
makemessages #869: Commit 1a0c83d pushed by github-merge-queue bot
December 25, 2024 05:28 58s master
December 25, 2024 05:28 58s
Explicitly install lxml_html_clean
makemessages #868: Commit e48a445 pushed by github-merge-queue bot
December 25, 2024 04:33 1m 15s master
December 25, 2024 04:33 1m 15s
Quick fix to make Martor usable in dark mode
makemessages #867: Commit ea88af2 pushed by github-merge-queue bot
December 25, 2024 04:24 1m 6s master
December 25, 2024 04:24 1m 6s
Fix botched merge of martor in comments
makemessages #866: Commit 4120625 pushed by quantum5
December 25, 2024 04:01 1m 9s master
December 25, 2024 04:01 1m 9s
Revert "Revert "Completely remove Pagedown" and "Switch all Pagedown …
makemessages #865: Commit 14352f5 pushed by github-merge-queue bot
December 25, 2024 03:55 1m 47s master
December 25, 2024 03:55 1m 47s
Add compatibility for Django 4.2; fixes #2322
makemessages #864: Commit f134ccc pushed by github-merge-queue bot
December 25, 2024 03:18 1m 2s master
December 25, 2024 03:18 1m 2s
Sort languages by name in /status/
makemessages #863: Commit 2d2bb65 pushed by github-merge-queue bot
December 23, 2024 04:48 1m 10s master
December 23, 2024 04:48 1m 10s
Use Python 3.11 on CI
makemessages #862: Commit 8f90a83 pushed by github-merge-queue bot
December 18, 2024 16:29 1m 14s master
December 18, 2024 16:29 1m 14s
admin: Add create_private_problem perm
makemessages #861: Commit dd8f5f0 pushed by github-merge-queue bot
December 18, 2024 05:32 1m 11s master
December 18, 2024 05:32 1m 11s
admin: make organization join request state read-only; closes #2354
makemessages #860: Commit 4db9ef2 pushed by github-merge-queue bot
December 18, 2024 04:39 1m 23s master
December 18, 2024 04:39 1m 23s
models/contest: clarify rate_all behaviour
makemessages #859: Commit 80d7dcb pushed by github-merge-queue bot
December 18, 2024 02:41 1m 24s master
December 18, 2024 02:41 1m 24s
Remove contest_object from submissions whose problem is removed fro…
makemessages #858: Commit 2f92af5 pushed by github-merge-queue bot
December 18, 2024 02:39 1m 26s master
December 18, 2024 02:39 1m 26s
ci: Update Python to 3.8
makemessages #857: Commit 743bf09 pushed by github-merge-queue bot
December 17, 2024 09:33 1m 21s master
December 17, 2024 09:33 1m 21s
Small changes for support for legacy browsers
makemessages #856: Commit d97a56f pushed by github-merge-queue bot
December 6, 2024 23:28 1m 4s master
December 6, 2024 23:28 1m 4s
Add warning when posting code to comments
makemessages #855: Commit a9e9e5c pushed by github-merge-queue bot
December 6, 2024 06:52 1m 17s master
December 6, 2024 06:52 1m 17s
Fix broken links in admin pages
makemessages #854: Commit ffe0a05 pushed by github-merge-queue bot
December 6, 2024 06:51 1m 8s master
December 6, 2024 06:51 1m 8s
Fix ContestAdmin make_hidden to actually hide contests
makemessages #853: Commit 5374466 pushed by github-merge-queue bot
December 6, 2024 06:49 1m 14s master
December 6, 2024 06:49 1m 14s
i18n: update translations from Crowdin
makemessages #852: Commit f9086f0 pushed by github-merge-queue bot
November 3, 2024 05:46 1m 8s master
November 3, 2024 05:46 1m 8s
Return 404 for non-existent users
makemessages #851: Commit e381e1f pushed by github-merge-queue bot
September 16, 2024 02:39 1m 17s master
September 16, 2024 02:39 1m 17s