Skip to content

Actions: dodona-edu/universal-judge

Create pr for docker image

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added brackets
Create pr for docker image #13: Pull request #569 closed by BrentBlanckaert
December 4, 2024 19:10 3s bug/fix_types_haskell
December 4, 2024 19:10 3s
Feat/add comments
Create pr for docker image #12: Pull request #555 closed by jorg-vr
December 4, 2024 08:40 15s feat/add-comments
December 4, 2024 08:40 15s
Fix empty map being accepted
Create pr for docker image #11: Pull request #565 closed by jorg-vr
December 4, 2024 08:36 17s fix/do-not-accept-empty-maps
December 4, 2024 08:36 17s
Visitors for TypeScript
Create pr for docker image #10: Pull request #566 closed by BrentBlanckaert
December 3, 2024 16:48 3s add_visitor_ts
December 3, 2024 16:48 3s
remove redundant options
Create pr for docker image #9: Pull request #567 closed by jorg-vr
December 2, 2024 08:28 17s cleanup_compilation_ts
December 2, 2024 08:28 17s
Add TypeScript
Create pr for docker image #8: Pull request #553 closed by jorg-vr
November 26, 2024 12:25 40s feat/add-typescript-with-loader
November 26, 2024 12:25 40s
Fix github action trigger criteria
Create pr for docker image #7: Pull request #558 closed by jorg-vr
November 5, 2024 14:21 20s chore/devcontainer
November 5, 2024 14:21 20s
Add user and email
Create pr for docker image #6: Commit e0669ce pushed by jorg-vr
November 5, 2024 13:28 15s chore/devcontainer
November 5, 2024 13:28 15s
Setup username and email
Create pr for docker image #5: Commit 3f8f633 pushed by jorg-vr
November 5, 2024 13:25 17s chore/devcontainer
November 5, 2024 13:25 17s
Simplify sed approach
Create pr for docker image #4: Commit 3c5b332 pushed by jorg-vr
November 5, 2024 13:09 11s chore/devcontainer
November 5, 2024 13:09 11s
Simplify folder
Create pr for docker image #3: Commit c5ddb77 pushed by jorg-vr
November 5, 2024 13:04 16s chore/devcontainer
November 5, 2024 13:04 16s
Separate git clone flags
Create pr for docker image #2: Commit 0001991 pushed by jorg-vr
November 5, 2024 13:03 12s chore/devcontainer
November 5, 2024 13:03 12s
Test run action
Create pr for docker image #1: Commit afa8187 pushed by jorg-vr
November 5, 2024 10:47 15s chore/devcontainer
November 5, 2024 10:47 15s