Skip to content

Activity

Promote docker-compose more

vmcjcreated vmcj-patch-1 • ee1f205 • 
49 minutes ago

Deleted branch

vmcjdeleted vmcj-patch-1 • 
10 days ago

Merge queue merge

github-merge-queue[bot]pushed 1 commit to main • 9825873…10dfd94 • 
10 days ago

Add bcmath for DOMjudge/domjudge#2954

vmcjcreated vmcj-patch-1 • 25c3d1d • 
10 days ago

Deleted branch

Kevinjildeleted install-pv • 
23 days ago

Merge queue merge

github-merge-queue[bot]pushed 1 commit to main • a844787…9825873 • 
23 days ago

Install pv required by dj_setup_database

Install pv required by dj_setup_database

Kevinjilcreated install-pv • 14e321b • 
24 days ago

Deleted branch

vmcjdeleted vmcj-patch-1 • 
on Dec 6, 2024

Merge queue merge

github-merge-queue[bot]pushed 1 commit to main • fab6f86…a844787 • 
on Dec 6, 2024

Allow reading the SQL logs for CI

Allow reading the SQL logs for CI

vmcjcreated vmcj-patch-1 • c72c87b • 
on Dec 6, 2024

Deleted branch

vmcjdeleted vmcj-patch-1 • 
on Nov 24, 2024

Prevent setting of the MySQL isolation

Merge queue merge

github-merge-queue[bot]pushed 1 commit to main • 2279edb…fab6f86 • 
on Nov 24, 2024

Prevent setting of the MySQL isolation

Force push
vmcjforce pushed to vmcj-patch-1 • e9965b4…a669bd2 • 
on Nov 24, 2024

Prevent setting of the MySQL isolation

vmcjcreated vmcj-patch-1 • e9965b4 • 
on Nov 24, 2024

Deleted branch

nickygerritsendeleted php84-by-default • 
on Nov 22, 2024

Merge queue merge

github-merge-queue[bot]pushed 2 commits to main • e2baa9d…2279edb • 
on Nov 22, 2024

Add blackfire probe to all supported PHP versions

Make PHP 8.4 the default for the contributor container

Make PHP 8.4 the default for the contributor container

nickygerritsencreated php84-by-default • a7b05ba • 
on Nov 22, 2024