Skip to content

Actions: concrete-utopia/utopia

Discord Integration - PR Closed

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
26 workflow run results
26 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

LoggedOutPane has moved
Discord Integration - PR Closed #1982: Pull request #4277 closed by lankaukk
October 2, 2023 17:42 17s sign-in-to-save
October 2, 2023 17:42 17s
No overflow inspector row for imgs
Discord Integration - PR Closed #1981: Pull request #4290 closed by gbalint
October 2, 2023 15:07 23s feature/remove-overflow-row-for-imgs
October 2, 2023 15:07 23s
Show notice when contain: 'layout' added.
Discord Integration - PR Closed #1979: Pull request #4287 closed by seanparsons
October 2, 2023 13:31 17s feature/notice-on-contain-layout-added
October 2, 2023 13:31 17s
More understandable constrained labels
Discord Integration - PR Closed #1978: Pull request #4285 closed by ruggi
October 2, 2023 12:22 23s fix/constrained-labels-inspector
October 2, 2023 12:22 23s
Chore/mini grid design fixes
Discord Integration - PR Closed #1977: Pull request #4275 closed by balazsbajorics
October 2, 2023 11:22 20s chore/mini-grid-design-fixes
October 2, 2023 11:22 20s
Ensure containing block around absolute wrapper.
Discord Integration - PR Closed #1976: Pull request #4278 closed by seanparsons
October 2, 2023 10:49 18s fix/containing-block-around-absolute
October 2, 2023 10:49 18s
Exclusive/complementary constraint resolution for group children
Discord Integration - PR Closed #1975: Pull request #4282 closed by ruggi
October 2, 2023 10:43 18s feat/exclusive-constraint-props
October 2, 2023 10:43 18s
Ensure updating the remix router also updates the navigation data
Discord Integration - PR Closed #1974: Pull request #4273 closed by Rheeseyb
October 2, 2023 10:29 18s fix/remix-404-sticking-bug
October 2, 2023 10:29 18s
Border radius control adds overflow hidden
Discord Integration - PR Closed #1973: Pull request #4272 closed by gbalint
October 2, 2023 09:58 17s feature/set-border-radius-adds-overflow
October 2, 2023 09:58 17s
remove bg color on frame to group conversion
Discord Integration - PR Closed #1972: Pull request #4270 closed by bkrmendy
October 2, 2023 09:52 19s feature/convert-to-group-remove-bg-color
October 2, 2023 09:52 19s
Delete existing empty spans when leaving text edit mode
Discord Integration - PR Closed #1971: Pull request #4266 closed by ruggi
October 2, 2023 07:24 17s fix/delete-existing-empty-spans
October 2, 2023 07:24 17s
Wrap in div shortcut
Discord Integration - PR Closed #1970: Pull request #4269 closed by bkrmendy
October 2, 2023 06:21 29s feature/wrap-in-div-on-cmd-enter
October 2, 2023 06:21 29s
Dim overlapping labels
Discord Integration - PR Closed #1969: Pull request #4259 closed by ruggi
September 29, 2023 13:45 23s feat/dim-overlap-labels
September 29, 2023 13:45 23s
Fix left pane scrolling.
Discord Integration - PR Closed #1968: Pull request #4260 closed by seanparsons
September 29, 2023 13:45 19s fix/left-pane-scrolling
September 29, 2023 13:45 19s
Select wrapper after wrapping
Discord Integration - PR Closed #1967: Pull request #4268 closed by bkrmendy
September 29, 2023 10:12 21s fix/select-wrapper-after-wrap
September 29, 2023 10:12 21s
Chore/grid panels horizonal resizing
Discord Integration - PR Closed #1966: Pull request #4258 closed by balazsbajorics
September 29, 2023 09:49 17s chore/grid-panels-horizonal-resizing
September 29, 2023 09:49 17s
Hide safe gaps after drag threshold
Discord Integration - PR Closed #1965: Pull request #4254 closed by ruggi
September 29, 2023 09:16 24s fix/safe-gaps-after-threshold
September 29, 2023 09:16 24s
Drop pink inspector constrained w/h color
Discord Integration - PR Closed #1964: Pull request #4264 closed by ruggi
September 29, 2023 07:31 20s fix/constrained-label-color
September 29, 2023 07:31 20s
More tolerant safe gaps
Discord Integration - PR Closed #1963: Pull request #4262 closed by ruggi
September 29, 2023 07:31 18s fix/safe-gap-12-4
September 29, 2023 07:31 18s
Group size label
Discord Integration - PR Closed #1962: Pull request #4257 closed by ruggi
September 29, 2023 07:30 20s fix/group-size-label
September 29, 2023 07:30 20s
Make shouldRevalidate work
Discord Integration - PR Closed #1961: Pull request #4238 closed by bkrmendy
September 29, 2023 07:22 25s fix/populate-route-modules-cache
September 29, 2023 07:22 25s
remove extra space from popup lists
Discord Integration - PR Closed #1960: Pull request #4267 closed by lankaukk
September 28, 2023 20:25 26s kill-pain-space
September 28, 2023 20:25 26s
testing tools for the github integration
Discord Integration - PR Closed #1959: Pull request #4245 closed by bkrmendy
September 28, 2023 11:51 17s tests/github-mocks
September 28, 2023 11:51 17s
Close toolbar submenus on Escape
Discord Integration - PR Closed #1958: Pull request #4250 closed by ruggi
September 28, 2023 10:44 17s fix/close-submenu-escape
September 28, 2023 10:44 17s