Skip to content

Actions: AtticusKuhn/SDQL-Compiler

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
93 workflow runs
93 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add release job Release Dissertation PDF #1: Commit d511536 pushed by AtticusKuhn
35s main
main
35s
add release job SDQL CI #73: Commit d511536 pushed by AtticusKuhn
11m 22s main
main
11m 22s
remove flame graph from ci SDQL CI #72: Commit e1a21e7 pushed by AtticusKuhn
11m 53s main
main
11m 53s
fix bug SDQL CI #71: Commit 32ef2cb pushed by AtticusKuhn
14m 16s main
main
14m 16s
try to fix error in ci SDQL CI #70: Commit 6322753 pushed by AtticusKuhn
13m 40s main
main
13m 40s
optimise domain. SDQL CI #69: Commit e8f0fb6 pushed by AtticusKuhn
12m 23s main
main
12m 23s
start working on dissertation SDQL CI #68: Commit d545ea7 pushed by AtticusKuhn
14m 28s main
main
14m 28s
add dissertation SDQL CI #67: Commit 44568ee pushed by AtticusKuhn
13m 41s main
main
13m 41s
add flamegraph SDQL CI #66: Commit 28ff7fa pushed by AtticusKuhn
13m 0s main
main
13m 0s
try to fix cloning? SDQL CI #65: Commit 1a30085 pushed by AtticusKuhn
12m 42s main
main
12m 42s
add closure and multiply SDQL CI #64: Commit 999485c pushed by AtticusKuhn
12m 57s main
main
12m 57s
update workflow to use nix SDQL CI #63: Commit 503b7e8 pushed by AtticusKuhn
13m 13s main
main
13m 13s
fix misspelling of "comparison" SDQL CI #62: Commit e025381 pushed by AtticusKuhn
4m 15s main
main
4m 15s
add optimisation performance comparison SDQL CI #61: Commit b32ae5b pushed by AtticusKuhn
4m 11s main
main
4m 11s
remove lean4nix SDQL CI #60: Commit c25062a pushed by AtticusKuhn
4m 23s main
main
4m 23s
deps: include sdql-rs SF_0.01 dataset SDQL CI #59: Commit 294041e pushed by AtticusKuhn
4m 8s main
main
4m 8s
ci: use nightly rust for sdql-rs SDQL CI #58: Commit d9c845f pushed by AtticusKuhn
3m 1s main
main
3m 1s
deps: pin sdql-rs fork with tpch reference bins SDQL CI #57: Commit 221bfa7 pushed by AtticusKuhn
2m 13s main
main
2m 13s
chore: update lean4-nix submodule SDQL CI #56: Commit f87c61d pushed by AtticusKuhn
1m 24s main
main
1m 24s
ci: checkout submodules SDQL CI #55: Commit de7b4e5 pushed by AtticusKuhn
11s main
main
11s
add optimisations SDQL CI #54: Commit 2894608 pushed by AtticusKuhn
1m 33s main
main
1m 33s
add optimistaions SDQL CI #53: Commit fecfc24 pushed by AtticusKuhn
1m 23s main
main
1m 23s
help. I am stuck SDQL CI #52: Commit d7a6c70 pushed by AtticusKuhn
1m 30s main
main
1m 30s
refactor to remove name env SDQL CI #51: Commit 3b63211 pushed by AtticusKuhn
1m 8s main
main
1m 8s
tostring prog SDQL CI #50: Commit e64d239 pushed by AtticusKuhn
1m 15s main
main
1m 15s