Skip to content

Activity

Showing most recent first

Deleted branch

j-muellerdeleted query-refactor • 
on Dec 3, 2023

Refactor query type (#19)

Pull request merge
j-muellerpushed 1 commit to main • 6419177…7833605 • 
on Dec 3, 2023

WIP refactor query type

Force push
j-muellerforce pushed to query-refactor • edcabc0…f56826e • 
on Dec 3, 2023

WIP refactor query type

j-muellercreated query-refactor • edcabc0 • 
on Dec 3, 2023

Deleted branch

j-muellerdeleted drag-and-drop • 
on Nov 28, 2023

ui: New UI (#18)

Pull request merge
j-muellerpushed 1 commit to main • c4eee58…6419177 • 
on Nov 28, 2023

ui: New UI

Force push
j-muellerforce pushed to drag-and-drop • 645e97a…b31993f • 
on Nov 28, 2023

WIP New UI

Force push
j-muellerforce pushed to drag-and-drop • ec01909…645e97a • 
on Nov 25, 2023

WIP New UI

j-muellercreated drag-and-drop • ec01909 • 
on Nov 25, 2023

Deleted branch

j-muellerdeleted double-line • 
on Nov 25, 2023

vis: Add double line chart, refactor chart types (#17)

Pull request merge
j-muellerpushed 1 commit to main • 41a27d2…c4eee58 • 
on Nov 25, 2023

vis: Add double line chart, refactor chart types

j-muellercreated double-line • 224405b • 
on Nov 25, 2023

server: Add field groups, data source config file (#16)

Pull request merge
j-muellerpushed 1 commit to main • 0a5178e…41a27d2 • 
on Nov 18, 2023

server: Add field groups, data source config file

j-muellercreated top-n • 7eb5ce9 • 
on Nov 17, 2023

server: Add field groups, data source config file (#15)

Pull request merge
j-muellerpushed 1 commit to main • 3026fd8…0a5178e • 
on Nov 14, 2023

server: Add field groups, data source config file

Force push
j-muellerforce pushed to groups • e7829a0…e336615 • 
on Nov 14, 2023

server: Add field groups, data source config file

Force push
j-muellerforce pushed to groups • 86513fe…e7829a0 • 
on Nov 13, 2023

server: Add field groups, data source config file

Force push
j-muellerforce pushed to groups • 4eff3d0…86513fe • 
on Nov 13, 2023

server: Add field groups, data source config file

Force push
j-muellerforce pushed to groups • daa7bc7…4eff3d0 • 
on Nov 13, 2023

Updates

j-muellercreated groups • daa7bc7 • 
on Nov 3, 2023

Deleted branch

j-muellerdeleted bump-ghc • 
on Oct 28, 2023

Bump GHC (#14)

Pull request merge
j-muellerpushed 1 commit to main • 13b6219…3026fd8 • 
on Oct 28, 2023

Update flake.lock

j-muellerpushed 1 commit to bump-ghc • 2050c98…c7b726a • 
on Oct 28, 2023

Update binary caches

j-muellerpushed 1 commit to bump-ghc • aecc06c…2050c98 • 
on Oct 28, 2023

Permissions

j-muellerpushed 1 commit to bump-ghc • d562c55…aecc06c • 
on Oct 27, 2023

Delete UI build in CI

j-muellerpushed 1 commit to bump-ghc • cecf585…d562c55 • 
on Oct 26, 2023

Delete unused shell dependencies

j-muellerpushed 1 commit to bump-ghc • 431f641…cecf585 • 
on Oct 26, 2023

Bump cabal

j-muellerpushed 1 commit to bump-ghc • 1d4f36d…431f641 • 
on Oct 26, 2023

pkgconfig

j-muellerpushed 1 commit to bump-ghc • a1a134a…1d4f36d • 
on Oct 26, 2023

Use 'buildNpmPackage' to build UI

j-muellerpushed 1 commit to bump-ghc • 7548a92…a1a134a • 
on Oct 26, 2023