Skip to content

Actions: AlgebraicJulia/Semagrams.jl

Actions

Add integration tasks to Integration project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
integration-issues.yml
27 workflow runs
27 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Exception when running ./mill --watch apps.petri.fullLinkJS Add integration tasks to Integration project #41: Issue #149 opened by HanYuanHsu
February 23, 2024 15:19 14s
February 23, 2024 15:19 14s
Text format suggestion Add integration tasks to Integration project #40: Issue #145 opened by colltoaction
October 20, 2023 18:08 15s
October 20, 2023 18:08 15s
Reversion: API Change for Viewports and out of date comments Add integration tasks to Integration project #39: Issue #140 opened by olynch
June 20, 2023 21:13 18s
June 20, 2023 21:13 18s
Reversion - Clickable wire labels Add integration tasks to Integration project #38: Issue #138 opened by sjbreiner
June 8, 2023 16:53 11s
June 8, 2023 16:53 11s
Rename all variables with $ in their name Add integration tasks to Integration project #37: Issue #134 opened by olynch
June 6, 2023 20:41 13s
June 6, 2023 20:41 13s
DWD - Indicate which box the user is currently in Add integration tasks to Integration project #36: Issue #133 opened by filonik-cmu
June 6, 2023 13:12 17s
June 6, 2023 13:12 17s
Per-App Static Files Add integration tasks to Integration project #35: Issue #131 opened by filonik-cmu
June 5, 2023 17:47 11s
June 5, 2023 17:47 11s
Refactor semagrams initialization code Add integration tasks to Integration project #34: Issue #130 opened by filonik-cmu
June 5, 2023 16:41 11s
June 5, 2023 16:41 11s
DWD - Manage Complexity of Wires on Higher-Levels Add integration tasks to Integration project #33: Issue #128 labeled by filonik-cmu
May 31, 2023 22:48 10s
May 31, 2023 22:48 10s
DWD - Manage Complexity of Wires on Higher-Levels Add integration tasks to Integration project #32: Issue #128 opened by filonik-cmu
May 31, 2023 22:48 10s
May 31, 2023 22:48 10s
DWD - Decision Boxes / Conditional Diagrams with Ability to Toggle Add integration tasks to Integration project #31: Issue #127 labeled by filonik-cmu
May 31, 2023 18:28 11s
May 31, 2023 18:28 11s
DWD - Decision Boxes / Conditional Diagrams with Ability to Toggle Add integration tasks to Integration project #30: Issue #127 opened by filonik-cmu
May 31, 2023 18:28 13s
May 31, 2023 18:28 13s
DWD - Persist state in browser (localStorage) Add integration tasks to Integration project #29: Issue #126 opened by filonik-cmu
May 31, 2023 18:20 11s
May 31, 2023 18:20 11s
DWD - Load/Save Button Add integration tasks to Integration project #28: Issue #125 opened by filonik-cmu
May 31, 2023 18:19 11s
May 31, 2023 18:19 11s
DWD - Disallow dropping wire on existing port/overlapping wires Add integration tasks to Integration project #27: Issue #124 opened by filonik-cmu
May 31, 2023 18:19 12s
May 31, 2023 18:19 12s
DWD - Propagate Labels through Ports Add integration tasks to Integration project #26: Issue #123 opened by filonik-cmu
May 31, 2023 18:18 10s
May 31, 2023 18:18 10s
DWD - Fix Z-Ordering Add integration tasks to Integration project #25: Issue #122 opened by filonik-cmu
May 31, 2023 18:16 10s
May 31, 2023 18:16 10s
DWD - Wire routing Add integration tasks to Integration project #24: Issue #121 opened by filonik-cmu
May 31, 2023 18:16 11s
May 31, 2023 18:16 11s
DWD - Border ports positioning Add integration tasks to Integration project #23: Issue #120 opened by filonik-cmu
May 31, 2023 18:15 11s
May 31, 2023 18:15 11s
DWD - Text editor box should stop propagation of double-click event Add integration tasks to Integration project #22: Issue #119 opened by filonik-cmu
May 31, 2023 17:09 11s
May 31, 2023 17:09 11s
DWD - Port reordering Add integration tasks to Integration project #21: Issue #118 opened by filonik-cmu
May 31, 2023 17:07 14s
May 31, 2023 17:07 14s
DWD - Hover not working on new wires Add integration tasks to Integration project #20: Issue #117 opened by filonik-cmu
May 31, 2023 16:58 13s
May 31, 2023 16:58 13s
Copy-paste boxes Add integration tasks to Integration project #19: Issue #115 opened by priyaasrini
May 26, 2023 14:33 12s
May 26, 2023 14:33 12s
Load initialization file from disk Add integration tasks to Integration project #18: Issue #114 opened by sjbreiner
May 25, 2023 20:29 11s
May 25, 2023 20:29 11s
Use vite-plugin-scalajs Add integration tasks to Integration project #17: Issue #113 opened by olynch
May 12, 2023 20:18 11s
May 12, 2023 20:18 11s