Skip to content

Activity

Deleted branch

vmcjdeleted vmcj-patch-2 • 
5 days ago

Merge queue merge

github-merge-queue[bot]pushed 1 commit to main • 6613b28…2f43d7b • 
5 days ago

Clarify installation on GitHub README file

Clarify installation on GitHub README file

Force push
vmcjforce pushed to vmcj-patch-2 • a94e7ce…bbe2b7f • 
5 days ago

Clarify installation on GitHub README file

Force push
vmcjforce pushed to vmcj-patch-2 • ea8fa9a…a94e7ce • 
5 days ago

Update README.md

vmcjpushed 1 commit to vmcj-patch-2 • 66967eb…ea8fa9a • 
5 days ago

Merge queue merge

github-merge-queue[bot]pushed 1 commit to main • a82a322…6613b28 • 
5 days ago

Introduce the concept of sort keys.

Merge queue merge

github-merge-queue[bot]pushed 1 commit to main • 18b537c…a82a322 • 
5 days ago

Consolidate more remaining judging logic in trait.

Merge queue merge

github-merge-queue[bot]pushed 1 commit to main • 3ae5a15…18b537c • 
6 days ago

Add command to refresh the scoreboard cache for all contests.

Deleted branch

elderingdeleted bump-debootstrap • 
7 days ago

Merge queue merge

github-merge-queue[bot]pushed 1 commit to main • 10b1c66…3ae5a15 • 
7 days ago

Bump Debian debootstrap version

Bump Debian debootstrap version

Bump Debian debootstrap version

elderingpushed 1 commit to 8.2 • e153031…6627e5d • 
7 days ago

Bump Debian debootstrap version

elderingpushed 1 commit to 8.3 • ecc77b3…abd1f34 • 
7 days ago

Bump Debian debootstrap version

elderingcreated bump-debootstrap • e6d7b46 • 
7 days ago

Deleted branch

Kevinjildeleted fix/reltime-parsing • 
11 days ago

Merge queue merge

github-merge-queue[bot]pushed 2 commits to main • f4cd8ab…10b1c66 • 
11 days ago

Fix multiplication of modifier in relTimeToSeconds

Fix multiplication of modifier in relTimeToSeconds

Force push
Kevinjilforce pushed to fix/reltime-parsing • a3d74c1…a624905 • 
11 days ago