Skip to content

Actions: LivelyKernel/lively.next

Actions

Check PR for merging

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-pr.yml
1,044 workflow runs
1,044 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Feature/source maps Check PR for merging #1116: Pull request #1684 synchronize by merryman
December 21, 2024 16:24 26m 53s feature/source-maps
feature/source-maps
December 21, 2024 16:24 26m 53s
Feature/source maps Check PR for merging #1115: Pull request #1684 synchronize by merryman
December 20, 2024 16:32 26m 19s feature/source-maps
feature/source-maps
December 20, 2024 16:32 26m 19s
🎨: avoid check for text style classes if not nessecary Check PR for merging #1114: Pull request #1690 opened by merryman
December 19, 2024 17:45 8m 25s fix/avoid-text-style-class-check
fix/avoid-text-style-class-check
December 19, 2024 17:45 8m 25s
❄️: wrap fast load toggle in separate container to fix alignment Check PR for merging #1113: Pull request #1689 opened by merryman
December 19, 2024 17:45 6m 33s fix/landing-page-button
fix/landing-page-button
December 19, 2024 17:45 6m 33s
Feature/source maps Check PR for merging #1112: Pull request #1684 synchronize by merryman
December 19, 2024 17:30 26m 38s feature/source-maps
feature/source-maps
December 19, 2024 17:30 26m 38s
Feature/source maps Check PR for merging #1111: Pull request #1684 synchronize by merryman
December 18, 2024 16:33 26m 54s feature/source-maps
feature/source-maps
December 18, 2024 16:33 26m 54s
Feature/source maps Check PR for merging #1110: Pull request #1684 synchronize by merryman
December 18, 2024 16:16 4m 52s feature/source-maps
feature/source-maps
December 18, 2024 16:16 4m 52s
Feature/source maps Check PR for merging #1109: Pull request #1684 synchronize by merryman
December 18, 2024 10:37 27m 27s feature/source-maps
feature/source-maps
December 18, 2024 10:37 27m 27s
Feature/source maps Check PR for merging #1108: Pull request #1684 synchronize by merryman
December 16, 2024 20:42 23m 34s feature/source-maps
feature/source-maps
December 16, 2024 20:42 23m 34s
Feature/source maps Check PR for merging #1107: Pull request #1684 synchronize by merryman
December 16, 2024 20:22 19m 46s feature/source-maps
feature/source-maps
December 16, 2024 20:22 19m 46s
Feature/source maps Check PR for merging #1106: Pull request #1684 synchronize by merryman
December 16, 2024 20:10 12m 20s feature/source-maps
feature/source-maps
December 16, 2024 20:10 12m 20s
Feature/source maps Check PR for merging #1105: Pull request #1684 synchronize by merryman
December 16, 2024 19:55 15m 29s feature/source-maps
feature/source-maps
December 16, 2024 19:55 15m 29s
Feature/source maps Check PR for merging #1104: Pull request #1684 synchronize by merryman
December 16, 2024 17:35 20m 59s feature/source-maps
feature/source-maps
December 16, 2024 17:35 20m 59s
Feature/source maps Check PR for merging #1103: Pull request #1684 synchronize by merryman
December 16, 2024 17:23 12m 18s feature/source-maps
feature/source-maps
December 16, 2024 17:23 12m 18s
Feature/source maps Check PR for merging #1102: Pull request #1684 synchronize by merryman
December 16, 2024 17:11 12m 18s feature/source-maps
feature/source-maps
December 16, 2024 17:11 12m 18s
Feature/source maps Check PR for merging #1101: Pull request #1684 synchronize by merryman
December 16, 2024 16:36 10m 21s feature/source-maps
feature/source-maps
December 16, 2024 16:36 10m 21s
Feature/source maps Check PR for merging #1100: Pull request #1684 synchronize by merryman
December 16, 2024 16:04 10m 22s feature/source-maps
feature/source-maps
December 16, 2024 16:04 10m 22s
Feature/source maps Check PR for merging #1099: Pull request #1684 synchronize by merryman
December 16, 2024 15:20 25m 33s feature/source-maps
feature/source-maps
December 16, 2024 15:20 25m 33s
Feature/source maps Check PR for merging #1098: Pull request #1684 synchronize by merryman
December 16, 2024 14:34 12m 38s feature/source-maps
feature/source-maps
December 16, 2024 14:34 12m 38s
Feature/source maps Check PR for merging #1097: Pull request #1684 synchronize by merryman
December 10, 2024 16:00 32m 10s feature/source-maps
feature/source-maps
December 10, 2024 16:00 32m 10s
Feature/source maps Check PR for merging #1096: Pull request #1684 synchronize by merryman
December 10, 2024 15:38 9m 14s feature/source-maps
feature/source-maps
December 10, 2024 15:38 9m 14s
Feature/source maps Check PR for merging #1095: Pull request #1684 synchronize by merryman
December 10, 2024 15:26 6m 15s feature/source-maps
feature/source-maps
December 10, 2024 15:26 6m 15s
Feature/source maps Check PR for merging #1094: Pull request #1684 synchronize by merryman
December 10, 2024 15:11 5m 29s feature/source-maps
feature/source-maps
December 10, 2024 15:11 5m 29s
🧰: fix file browser layout Check PR for merging #1093: Pull request #1686 opened by merryman
December 10, 2024 12:09 7m 14s fix/file-browser-layout
fix/file-browser-layout
December 10, 2024 12:09 7m 14s
🧰: fix html workspace layout Check PR for merging #1092: Pull request #1685 opened by merryman
December 10, 2024 12:09 7m 5s fix/html-workspace-layout
fix/html-workspace-layout
December 10, 2024 12:09 7m 5s