Skip to content

Actions: bloomberg/crane

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
821 workflow runs
821 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add Drain clause to Crane Extract Inductive for custom-container dest… Build CI #737: Commit 675c75e pushed by joom
17m 5s joom/fixes
joom/fixes
17m 5s
Thread explicit arena parameter through method codegen (Milestone 2) Build CI #736: Commit 9874daa pushed by joom
14m 42s joom/fixes
joom/fixes
14m 42s
arena: silence fallback warning for pre-scope static-init allocations Build CI #735: Commit 60a4413 pushed by joom
17m 30s joom/fixes
joom/fixes
17m 30s
Passes runtime headers to benchmark compilation. Build CI #734: Pull request #122 opened by hypnoticOxbow
16m 56s ian/fixes-benchmark-missing-headers
ian/fixes-benchmark-missing-headers
16m 56s
Passes runtime headers to benchmark compilation. Build CI #733: Commit 812461e pushed by hypnoticOxbow
13m 15s ian/fixes-benchmark-missing-headers
ian/fixes-benchmark-missing-headers
13m 15s
tests: promote loopify_nontail_pair to regression suite Build CI #732: Commit c06cb09 pushed by joom
16m 56s joom/fixes
joom/fixes
16m 56s
Adds Global Variable Model Build CI #731: Pull request #121 opened by hypnoticOxbow
15m 27s ian/adds-global-variables
ian/adds-global-variables
15m 27s
Minor fixups after rebase. Build CI #730: Commit b8bb594 pushed by hypnoticOxbow
15m 56s ian/adds-global-variables
ian/adds-global-variables
15m 56s
Cleanup of Monadic code. Build CI #729: Commit 7ce7cff pushed by hypnoticOxbow
11m 54s ian/adds-global-variables
ian/adds-global-variables
11m 54s
Removes rebuildGlobRef event, fixes test. Build CI #728: Commit 9e1c455 pushed by hypnoticOxbow
16m 11s ian/adds-global-variables
ian/adds-global-variables
16m 11s
Cleanup and swapping string -> PrimString. Build CI #727: Commit b457724 pushed by hypnoticOxbow
16m 34s ian/adds-global-variables
ian/adds-global-variables
16m 34s
Make default List converting constructor implicit Build CI #726: Commit 728d582 pushed by joom
16m 44s main
main
16m 44s
pages build and deployment pages-build-deployment #95: by joom
27s main
main
27s
Adds extraction for global state with variables. Build CI #725: Commit 8e306e8 pushed by hypnoticOxbow
17m 52s ian/adds-global-variables
ian/adds-global-variables
17m 52s
Adds initial draft of global state (variables only). Build CI #724: Commit 6f36d37 pushed by hypnoticOxbow
9m 13s ian/adds-global-variables
ian/adds-global-variables
9m 13s
Adds initial draft of global state (variables only). Build CI #723: Commit c8fc803 pushed by hypnoticOxbow
16m 18s ian/adds-global-variables
ian/adds-global-variables
16m 18s
Merge branch 'main' of https://github.com/bloomberg/crane Build CI #722: Commit 33f1dae pushed by joom
20m 27s main
main
20m 27s
pages build and deployment pages-build-deployment #94: by joom
40s main
main
40s
Delete PVectorList.v Build CI #721: Commit 25b40fb pushed by joom
17m 20s fix/numeral-dep-prune
fix/numeral-dep-prune
17m 20s
Delete PVectorList.v Build CI #720: Commit 25b40fb pushed by joom
13m 35s feature/boxed-element
feature/boxed-element
13m 35s
Adds functional proof for quicksort. (#120) Build CI #719: Commit 2519c9f pushed by joom
12m 19s main
main
12m 19s
pages build and deployment pages-build-deployment #93: by joom
40s main
main
40s
Adds functional proof for quicksort. Build CI #718: Pull request #120 synchronize by hypnoticOxbow
1h 1m 8s ian/quicksort-functional-equiv-proof
ian/quicksort-functional-equiv-proof
1h 1m 8s
Make quicksort_ST_list check for empty list. Build CI #717: Commit cafff91 pushed by hypnoticOxbow
16m 14s ian/quicksort-functional-equiv-proof
ian/quicksort-functional-equiv-proof
16m 14s
Adds functional proof for quicksort. Build CI #716: Pull request #120 synchronize by hypnoticOxbow
15m 31s ian/quicksort-functional-equiv-proof
ian/quicksort-functional-equiv-proof
15m 31s