Skip to content

Actions: DISSINET/InkVisitor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
445 workflow runs
445 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

FIx formatting for release notes 1.3.4 dev #507: Commit 247b62f pushed by adammertel
November 3, 2023 18:03 10m 37s dev
dev
November 3, 2023 18:03 10m 37s
Add changelog and update version for 1.3.4 deploy-master #15: Commit a2c959a pushed by adammertel
November 3, 2023 17:40 7m 51s master
master
November 3, 2023 17:40 7m 51s
Update changelogs and version number for 1.3.4 dev #506: Commit 75872f8 pushed by adammertel
November 3, 2023 17:38 11m 42s dev
dev
November 3, 2023 17:38 11m 42s
1.3.4 [Nov 3 2023] (#1886) deploy-master #14: Commit f674fbf pushed by adammertel
November 3, 2023 17:34 6m 57s master
master
November 3, 2023 17:34 6m 57s
Merge pull request #1885 from DISSINET/1879-add-new-connection-to-ser… dev #505: Commit f4d422b pushed by jancimertel
November 3, 2023 17:18 10m 52s dev
dev
November 3, 2023 17:18 10m 52s
1817 aval entity warning (#1881) dev #504: Commit 1d728df pushed by adammertel
November 3, 2023 16:46 10m 52s dev
dev
November 3, 2023 16:46 10m 52s
fix opening warning related actions when switching statement with ope… dev #503: Commit c040128 pushed by Ptrhnk
November 3, 2023 12:03 10m 46s dev
dev
November 3, 2023 12:03 10m 46s
invalidate queries when server is back online (#1884) dev #502: Commit 5d26ed4 pushed by Ptrhnk
November 3, 2023 12:00 10m 22s dev
dev
November 3, 2023 12:00 10m 22s
simplify ping color condition dev #501: Commit ee8ecbb pushed by Ptrhnk
November 3, 2023 11:26 10m 42s dev
dev
November 3, 2023 11:26 10m 42s
1877 websocket connection timeout (#1882) dev #500: Commit 10f9860 pushed by Ptrhnk
November 3, 2023 11:21 9m 48s dev
dev
November 3, 2023 11:21 9m 48s
Unify headings in editor dev #499: Commit 5854122 pushed by adammertel
November 3, 2023 07:20 11m 13s dev
dev
November 3, 2023 07:20 11m 13s
allow adding multiple ids to detail and use in editor (#1880) dev #498: Commit b22476f pushed by Ptrhnk
November 2, 2023 22:09 10m 52s dev
dev
November 2, 2023 22:09 10m 52s
1874 improve the warning button in editor (#1875) dev #497: Commit ac10181 pushed by adammertel
November 2, 2023 16:06 10m 58s dev
dev
November 2, 2023 16:06 10m 58s
add type to bookmarkTable row, cleanup unused SOL type dev #496: Commit 047a92e pushed by Ptrhnk
October 31, 2023 12:56 10m 43s dev
dev
October 31, 2023 12:56 10m 43s
1855 icon invalid put also to statement list (#1871) dev #495: Commit 4b17c56 pushed by Ptrhnk
October 31, 2023 12:48 10m 58s dev
dev
October 31, 2023 12:48 10m 58s
Merge pull request #1870 from DISSINET/1868-for-statements-allow-supe… dev #494: Commit 2911bc0 pushed by jancimertel
October 30, 2023 20:46 10m 44s dev
dev
October 30, 2023 20:46 10m 44s
quick fix - refresh editor when same statement edited in detail, remo… dev #493: Commit e6c7a1f pushed by Ptrhnk
October 30, 2023 15:01 11m 52s dev
dev
October 30, 2023 15:01 11m 52s
fix build - missing secrets dev #492: Commit 139a1b2 pushed by jancimertel
October 30, 2023 09:58 11m 42s dev
dev
October 30, 2023 09:58 11m 42s
Merge pull request #1866 from DISSINET/1854-bugs-in-data-validation dev #491: Commit 3967435 pushed by jancimertel
October 29, 2023 17:27 11m 2s dev
dev
October 29, 2023 17:27 11m 2s
improve message styles, short labels (#1865) dev #490: Commit c42c30e pushed by Ptrhnk
October 25, 2023 11:25 10m 38s dev
dev
October 25, 2023 11:25 10m 38s
handle updating statement on detail changes (#1863) dev #489: Commit aad5306 pushed by Ptrhnk
October 25, 2023 10:34 11m 18s dev
dev
October 25, 2023 10:34 11m 18s
1844 new funding body (#1862) dev #488: Commit 2d3ce79 pushed by Ptrhnk
October 22, 2023 12:02 10m 52s dev
dev
October 22, 2023 12:02 10m 52s
Bump postcss from 8.4.24 to 8.4.31 in /packages/client (#1848) dev #487: Commit cc0600d pushed by adammertel
October 21, 2023 16:27 11m 20s dev
dev
October 21, 2023 16:27 11m 20s
Bump @babel/traverse from 7.22.4 to 7.23.2 in /packages/client (#1853) dev #486: Commit b342abb pushed by adammertel
October 21, 2023 16:27 10m 58s dev
dev
October 21, 2023 16:27 10m 58s
Bump react-devtools-core from 4.27.8 to 4.28.4 in /packages/client (#… dev #485: Commit 0838f2d pushed by adammertel
October 21, 2023 16:27 10m 11s dev
dev
October 21, 2023 16:27 10m 11s
ProTip! You can narrow down the results and go further in time using created:<2023-10-21 or the other filters available.