Skip to content

Actions: graphs4value/refinery

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
273 workflow runs
273 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #68 from kris7t/paraconsistent-count Build #409: Commit c3c90bc pushed by kris7t
November 12, 2024 01:16 16m 37s main
main
November 12, 2024 01:16 16m 37s
Paraconsistent object cardinalities Build #408: Pull request #68 opened by kris7t
November 12, 2024 00:58 16m 6s kris7t:paraconsistent-count
kris7t:paraconsistent-count
November 12, 2024 00:58 16m 6s
chore(deps): bump dependencies Build #407: Commit e9cecfd pushed by kris7t
November 11, 2024 18:44 15m 36s main
main
November 11, 2024 18:44 15m 36s
build: simplify GitHub Pages deployment Build #406: Commit 1880843 pushed by kris7t
November 5, 2024 23:20 15m 21s main
main
November 5, 2024 23:20 15m 21s
fix(docs): typo in tutorial Build #405: Commit b97cd57 pushed by kris7t
November 5, 2024 20:28 17m 58s main
main
November 5, 2024 20:28 17m 58s
fix(frontend): off-screen div accessibility Build #404: Commit b59227b pushed by kris7t
November 4, 2024 14:30 14m 11s main
main
November 4, 2024 14:30 14m 11s
refactor(language): make opposite and subsets contextual keywords Build #403: Commit 87062fe pushed by kris7t
November 4, 2024 01:05 14m 3s main
main
November 4, 2024 01:05 14m 3s
refactor(frontend): improve tooltip accessibility Build #402: Commit d3b7f7b pushed by kris7t
November 3, 2024 18:06 14m 22s main
main
November 3, 2024 18:06 14m 22s
refactor(frontend): improve tooltip accessibility Build #401: Commit 69e1ae8 pushed by kris7t
November 3, 2024 18:00 4m 33s main
main
November 3, 2024 18:00 4m 33s
feat(language): content assist for subsetting Build #400: Commit 2a3fe1c pushed by kris7t
November 3, 2024 17:39 16m 41s main
main
November 3, 2024 17:39 16m 41s
fix(frontend): progress indicator in Firefox Build #399: Commit 805a977 pushed by kris7t
November 3, 2024 01:46 14m 14s main
main
November 3, 2024 01:46 14m 14s
chore: bump snapshot version Build #398: Commit bd9617d pushed by kris7t
November 2, 2024 23:57 16m 2s main
main
November 2, 2024 23:57 16m 2s
chore: release v0.1.3 Build #397: Commit 3a2b5ab pushed by kris7t
November 2, 2024 23:07 16m 19s main
main
November 2, 2024 23:07 16m 19s
Merge pull request #67 from LiliNemes/subsetting Build #396: Commit 87f4ed9 pushed by kris7t
November 2, 2024 20:45 14m 37s main
main
November 2, 2024 20:45 14m 37s
Subsetting Build #395: Pull request #67 synchronize by kris7t
November 2, 2024 20:28 15m 8s LiliNemes:subsetting
LiliNemes:subsetting
November 2, 2024 20:28 15m 8s
Subsetting Build #394: Pull request #67 synchronize by kris7t
November 2, 2024 15:28 13m 38s LiliNemes:subsetting
LiliNemes:subsetting
November 2, 2024 15:28 13m 38s
refactor(frontend): improve visualization text alignment Build #393: Commit 2cf2431 pushed by kris7t
November 2, 2024 15:24 14m 26s main
main
November 2, 2024 15:24 14m 26s
Subsetting Build #392: Pull request #67 synchronize by kris7t
November 2, 2024 12:36 13m 49s LiliNemes:subsetting
LiliNemes:subsetting
November 2, 2024 12:36 13m 49s
chore(deps): bump dependencies Build #391: Commit d44fbf4 pushed by kris7t
November 1, 2024 15:52 4m 42s main
main
November 1, 2024 15:52 4m 42s
Subsetting Build #390: Pull request #67 synchronize by kris7t
October 31, 2024 21:19 14m 13s LiliNemes:subsetting
LiliNemes:subsetting
October 31, 2024 21:19 14m 13s
Subsetting Build #389: Pull request #67 synchronize by kris7t
October 30, 2024 10:35 15m 31s LiliNemes:subsetting
LiliNemes:subsetting
October 30, 2024 10:35 15m 31s
Subsetting Build #388: Pull request #67 opened by LiliNemes
October 30, 2024 00:25 17m 5s LiliNemes:subsetting
LiliNemes:subsetting
October 30, 2024 00:25 17m 5s
chore(deps): bump dependencies Build #387: Commit fb852fd pushed by kris7t
October 29, 2024 17:25 23m 31s main
main
October 29, 2024 17:25 23m 31s
fix(frontend): suppress default touch gestures Build #386: Commit 1c89e15 pushed by kris7t
October 28, 2024 20:05 14m 59s main
main
October 28, 2024 20:05 14m 59s
fix(frontend): suppress default touch gestures Build #385: Commit 8b592a2 pushed by kris7t
October 28, 2024 19:44 13m 38s main
main
October 28, 2024 19:44 13m 38s