Skip to content

Actions: sminez/penrose

Actions

Build

Actions

Loading...

Showing runs from all workflows named Build
148 workflow run results
148 workflow run results
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
removing obsolete penrose-proc code Build #606: Commit 355edaa pushed by sminez
June 24, 2023 06:32 2m 30s develop
develop
June 24, 2023 06:32 2m 30s
pages build and deployment pages-build-deployment #62: by github-pages bot
June 23, 2023 13:02 35s
June 23, 2023 13:02 35s
268 clearing destroyed Xids from NSP state (#269) Build #605: Commit c26566b pushed by sminez
June 23, 2023 13:01 2m 58s develop
develop
June 23, 2023 13:01 2m 58s
268 clearing destroyed Xids from NSP state Build #604: Pull request #269 opened by sminez
June 23, 2023 06:12 3m 3s 268-namedscratchpad-bug
268-namedscratchpad-bug
June 23, 2023 06:12 3m 3s
making sure trait is in scope for macro Build #603: Commit 7706fa7 pushed by sminez
June 22, 2023 06:23 2m 59s develop
develop
June 22, 2023 06:23 2m 59s
pages build and deployment pages-build-deployment #61: by github-pages bot
June 20, 2023 19:53 34s
June 20, 2023 19:53 34s
reordering hooks documentation Build #602: Commit 1e142b0 pushed by sminez
June 20, 2023 19:50 2m 54s develop
develop
June 20, 2023 19:50 2m 54s
pages build and deployment pages-build-deployment #60: by github-pages bot
June 20, 2023 19:32 48s
June 20, 2023 19:32 48s
removing unknown clients from state when XConn impls return Error::Un… Build #601: Commit 07f10c9 pushed by sminez
June 20, 2023 19:30 2m 45s develop
develop
June 20, 2023 19:30 2m 45s
pages build and deployment pages-build-deployment #59: by github-pages bot
June 19, 2023 06:43 32s
June 19, 2023 06:43 32s
adding helper macro for composing manage hooks Build #600: Commit 4970338 pushed by sminez
June 19, 2023 06:41 2m 41s develop
develop
June 19, 2023 06:41 2m 41s
pages build and deployment pages-build-deployment #58: by github-pages bot
June 18, 2023 19:54 33s
June 18, 2023 19:54 33s
fixing issue where certain windows (e.g. chromium) render with transp… Build #599: Commit a62370a pushed by sminez
June 18, 2023 19:52 2m 41s develop
develop
June 18, 2023 19:52 2m 41s
adding initial graphviz diagrams Build #598: Commit 5819ec1 pushed by sminez
June 18, 2023 18:36 2m 41s develop
develop
June 18, 2023 18:36 2m 41s
pages build and deployment pages-build-deployment #57: by github-pages bot
June 18, 2023 07:33 36s
June 18, 2023 07:33 36s
adding rustdoc lints to crate warn Build #597: Commit 21c0222 pushed by sminez
June 18, 2023 07:32 2m 27s develop
develop
June 18, 2023 07:32 2m 27s
pages build and deployment pages-build-deployment #56: by github-pages bot
June 17, 2023 18:45 36s
June 17, 2023 18:45 36s
fixing the behaviour of the non_hidden_workspaces method on StackSet Build #596: Commit a6d7ce8 pushed by sminez
June 17, 2023 18:44 2m 8s develop
develop
June 17, 2023 18:44 2m 8s
pages build and deployment pages-build-deployment #55: by github-pages bot
June 17, 2023 08:57 33s
June 17, 2023 08:57 33s
Adding LayoutHooks as a feature in Config Build #595: Commit 9746603 pushed by sminez
June 17, 2023 08:56 2m 27s develop
develop
June 17, 2023 08:56 2m 27s
pages build and deployment pages-build-deployment #54: by github-pages bot
June 13, 2023 06:41 36s
June 13, 2023 06:41 36s
updating README Build #594: Commit 54f400a pushed by sminez
June 13, 2023 06:38 3m 24s develop
develop
June 13, 2023 06:38 3m 24s
pages build and deployment pages-build-deployment #53: by github-pages bot
June 12, 2023 21:19 34s
June 12, 2023 21:19 34s
adding new manage hooks Build #593: Commit 927c31b pushed by sminez
June 12, 2023 20:25 2m 56s develop
develop
June 12, 2023 20:25 2m 56s
pages build and deployment pages-build-deployment #52: by github-pages bot
June 11, 2023 17:00 30s
June 11, 2023 17:00 30s