Skip to content

Actions: mstone/depict

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
14 workflow runs
14 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

eval: fix failing slash-comma tests
Test #171: Commit 3830041 pushed by mstone
May 24, 2023 17:57 20m 26s main
May 24, 2023 17:57 20m 26s
eval: fix comma evaluation
Test #170: Commit 3cb37c8 pushed by mstone
April 29, 2023 16:11 16m 41s main
April 29, 2023 16:11 16m 41s
eval: fix val->item chain label pretty-printing order
Test #169: Commit a3c941a pushed by mstone
April 28, 2023 02:27 22m 23s main
April 28, 2023 02:27 22m 23s
eval: test: prop: find a counterexample for has_retraction
Test #168: Commit 2353566 pushed by mstone
April 28, 2023 02:05 18m 19s main
April 28, 2023 02:05 18m 19s
April 22, 2023 22:44 22m 50s
styling: complete prototype support for >,* selectors
Test #166: Commit 4475fe7 pushed by mstone
April 22, 2023 22:38 9m 0s main
April 22, 2023 22:38 9m 0s
README: mention styling
Test #165: Commit 30a9073 pushed by mstone
April 22, 2023 20:32 8m 30s main
April 22, 2023 20:32 8m 30s
syntax_guide: provide a node-@-style example
Test #164: Commit 4b57c3b pushed by mstone
April 22, 2023 17:51 16m 0s main
April 22, 2023 17:51 16m 0s
css: add .hidden class
Test #163: Commit cbe7d7f pushed by mstone
April 22, 2023 17:17 19m 51s main
April 22, 2023 17:17 19m 51s
svg: use default css + fix css escaping issue
Test #162: Commit 8f16730 pushed by mstone
April 22, 2023 16:50 16m 54s main
April 22, 2023 16:50 16m 54s
styling: .red += dark mode
Test #161: Commit 807abf9 pushed by mstone
April 22, 2023 15:40 22m 37s main
April 22, 2023 15:40 22m 37s
frontend: styling: demo single-node end-to-end styling
Test #160: Commit 152c9aa pushed by mstone
April 17, 2023 18:34 15m 52s main
April 17, 2023 18:34 15m 52s
parser: add @{...} test
Test #159: Commit 6b6884f pushed by mstone
April 14, 2023 20:54 16m 36s main
April 14, 2023 20:54 16m 36s
dioxus: only draw boxes with nonempty labels
Test #158: Commit 9a2039b pushed by mstone
April 14, 2023 16:54 16m 52s main
April 14, 2023 16:54 16m 52s