Skip to content

Actions: dodona-edu/dodona

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
272 workflow run results
272 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replace Ace Editor with CodeMirror 6 Lint #8189: Pull request #4970 synchronize by jorg-vr
October 27, 2023 15:13 39s enhance/codemirror
enhance/codemirror
October 27, 2023 15:13 39s
Replace Ace Editor with CodeMirror 6 Lint #8188: Pull request #4970 synchronize by jorg-vr
October 27, 2023 14:46 49s enhance/codemirror
enhance/codemirror
October 27, 2023 14:46 49s
Replace Ace Editor with CodeMirror 6 Lint #8187: Pull request #4970 synchronize by jorg-vr
October 27, 2023 13:24 1m 2s enhance/codemirror
enhance/codemirror
October 27, 2023 13:24 1m 2s
Replace Ace Editor with CodeMirror 6 Lint #8186: Pull request #4970 synchronize by jorg-vr
October 27, 2023 13:17 38s enhance/codemirror
enhance/codemirror
October 27, 2023 13:17 38s
Replace Ace Editor with CodeMirror 6 Lint #8185: Pull request #4970 synchronize by jorg-vr
October 27, 2023 13:13 51s enhance/codemirror
enhance/codemirror
October 27, 2023 13:13 51s
Replace Ace Editor with CodeMirror 6 Lint #8184: Pull request #4970 synchronize by jorg-vr
October 27, 2023 12:51 42s enhance/codemirror
enhance/codemirror
October 27, 2023 12:51 42s
Replace Ace Editor with CodeMirror 6 Lint #8183: Pull request #4970 synchronize by jorg-vr
October 26, 2023 15:06 51s enhance/codemirror
enhance/codemirror
October 26, 2023 15:06 51s
Replace Ace Editor with CodeMirror 6 Lint #8182: Pull request #4970 synchronize by jorg-vr
October 26, 2023 15:01 1m 13s enhance/codemirror
enhance/codemirror
October 26, 2023 15:01 1m 13s
Replace Ace Editor with CodeMirror 6 Lint #8181: Pull request #4970 synchronize by jorg-vr
October 26, 2023 15:01 2m 59s enhance/codemirror
enhance/codemirror
October 26, 2023 15:01 2m 59s
Merge pull request #5083 from dodona-edu/feature/blur-private-info Lint #8180: Commit f65dceb pushed by jorg-vr
October 26, 2023 14:45 52s main
main
October 26, 2023 14:45 52s
Merge pull request #5080 from dodona-edu/chore/update-lit-3 Lint #8179: Commit 1c1f907 pushed by jorg-vr
October 26, 2023 14:36 55s main
main
October 26, 2023 14:36 55s
Merge pull request #4998 from dodona-edu/feat/add-draft-flag Lint #8178: Commit 0e77184 pushed by jorg-vr
October 26, 2023 14:08 46s main
main
October 26, 2023 14:08 46s
Merge pull request #5082 from dodona-edu/fix/production-caching Lint #8177: Commit 9d856a4 pushed by jorg-vr
October 26, 2023 13:58 54s main
main
October 26, 2023 13:58 54s
Add draft flag to activities Lint #8176: Pull request #4998 synchronize by jorg-vr
October 26, 2023 13:54 53s feat/add-draft-flag
feat/add-draft-flag
October 26, 2023 13:54 53s
Fix assets not available in production Lint #8175: Pull request #5082 synchronize by jorg-vr
October 26, 2023 13:26 48s fix/production-caching
fix/production-caching
October 26, 2023 13:26 48s
Blur potentially sensitive info while in anonymous mode Lint #8174: Pull request #5083 opened by bmesuere
October 26, 2023 13:21 42s feature/blur-private-info
feature/blur-private-info
October 26, 2023 13:21 42s
Fix assets not available in production Lint #8173: Pull request #5082 synchronize by jorg-vr
October 26, 2023 13:13 50s fix/production-caching
fix/production-caching
October 26, 2023 13:13 50s
Fix assets not available in production Lint #8172: Pull request #5082 synchronize by jorg-vr
October 26, 2023 13:00 41s fix/production-caching
fix/production-caching
October 26, 2023 13:00 41s
Fix assets not available in production Lint #8171: Pull request #5082 opened by jorg-vr
October 26, 2023 12:31 39s fix/production-caching
fix/production-caching
October 26, 2023 12:31 39s
Add draft flag to activities Lint #8170: Pull request #4998 synchronize by jorg-vr
October 26, 2023 11:30 48s feat/add-draft-flag
feat/add-draft-flag
October 26, 2023 11:30 48s
Add draft flag to activities Lint #8169: Pull request #4998 synchronize by jorg-vr
October 26, 2023 09:52 1m 0s feat/add-draft-flag
feat/add-draft-flag
October 26, 2023 09:52 1m 0s
Add draft flag to activities Lint #8168: Pull request #4998 synchronize by jorg-vr
October 26, 2023 09:44 43s feat/add-draft-flag
feat/add-draft-flag
October 26, 2023 09:44 43s
Add draft flag to activities Lint #8167: Pull request #4998 synchronize by jorg-vr
October 26, 2023 09:06 1m 4s feat/add-draft-flag
feat/add-draft-flag
October 26, 2023 09:06 1m 4s
Add draft flag to activities Lint #8166: Pull request #4998 synchronize by jorg-vr
October 26, 2023 09:04 46s feat/add-draft-flag
feat/add-draft-flag
October 26, 2023 09:04 46s
Add draft flag to activities Lint #8165: Pull request #4998 synchronize by jorg-vr
October 26, 2023 08:41 55s feat/add-draft-flag
feat/add-draft-flag
October 26, 2023 08:41 55s