Skip to content

Pull requests: DMOJ/runtimes-docker

New pull request New
Clear current search query, filters, and sorts
2 Open 71 Closed
2 Open 71 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Properly clean up apt files after finishing the build
#79 by Xyene was merged Jun 2, 2024 Loading…
tier2: upgrade openjdk-19 to openjdk-22
#78 by Xyene was merged Jun 2, 2024 Loading…
Update to actions checkout v4
#77 by int-y1 was merged May 27, 2024 Loading…
2
tier3: install algol68g
#76 by Xyene was merged May 27, 2024 Loading…
Install Objective-C
#74 by int-y1 was merged Jan 22, 2024 Loading…
1
Download latest Lean 4
#72 by int-y1 was merged Jan 7, 2024 Loading…
1
Update Dockerfile to install Node.js to tier3 runtime image
#71 by pxpeterxu was merged Jan 22, 2024 Loading…
3
Fix downloading Kotlin
#70 by hieplpvip was merged Aug 24, 2023 Loading…
2
Drop installing libffi6
#68 by Xyene was merged May 3, 2023 Loading…
Get OpenJDK 8 from sid
#67 by Xyene was closed May 3, 2023 Loading…
Drop the stretch security repo, as it no longer exists
#66 by Xyene was closed May 3, 2023 Loading…
Install judge into a virtualenv
#65 by quantum5 was merged Feb 19, 2023 Loading…
1
Try installing dmoj-autoconf with --user
#64 by Xyene was closed Mar 5, 2023 Loading…
Make DLang use install.sh script
#63 by kiritofeng was merged Jan 1, 2023 Loading…
2
Pull python2 from bullseye
#62 by Xyene was merged Dec 28, 2022 Loading…
Install llvm in tier2 for llc
#61 by quantum5 was merged Dec 22, 2022 Loading…
Build OCaml switch with flambda
#60 by Xyene was merged Dec 17, 2022 Loading…
Install only g++12, not g++11
#59 by Xyene was merged Nov 26, 2022 Loading…
Rust env updates
#58 by Riolku was merged Nov 13, 2022 Loading…
2
Update to actions/checkout@v3
#57 by Xyene was merged Oct 30, 2022 Loading…
Rust program upgrade
#56 by Riolku was merged Oct 19, 2022 Loading…
2
Don't pull Cargo.lock from RUST.py.
#55 by Riolku was merged Oct 18, 2022 Loading…
5
Upgrade Lean 4.0.0-m2 to 4.0.0-m5
#54 by int-y1 was merged Oct 9, 2022 Loading…
1
Upgrade to Java 19
#53 by Xyene was merged Oct 3, 2022 Loading…
Add aarch64 images to tier{1,2}/manifest.yml
#52 by Xyene was merged Oct 2, 2022 Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.