Skip to content

Actions: leanprover/KLR

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,750 workflow runs
1,750 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
reduce_cmd default for tensor_scalar_reduce CI #2610: Commit 7ccd18c pushed by ggumen
1m 38s main
main
1m 38s
reduce_cmd default for tensor_scalar_reduce CI #2609: Commit d92740c pushed by ggumen
1m 24s ggumen/tensor_scalar_reduce_cmd_default
ggumen/tensor_scalar_reduce_cmd_default
1m 24s
feat: add QoS and reduce_cmd parameters to ISA functions CI #2608: Commit c1c0c26 pushed by govereau
11m 5s main
main
11m 5s
feat: add QoS and reduce_cmd parameters to ISA functions CI #2607: Commit c1c0c26 pushed by govereau
3m 23s pg/qos
pg/qos
3m 23s
feat: add QoS and reduce_cmd parameters to ISA functions CI #2606: Commit c1c0c26 pushed by govereau
8m 37s pg/ops
pg/ops
8m 37s
feat: add QoS parameters to ISA functions CI #2605: Commit 7dcfcd8 pushed by govereau
9m 32s pg/qos
pg/qos
9m 32s
Individual id matricies for each nc_transpose on PE CI #2604: Commit 1ca58cb pushed by ppotapov-aws
1m 34s main
main
1m 34s
Individual id matricies for each nc_transpose on PE CI #2603: Commit 2628cb4 pushed by ppotapov-aws
1m 40s ppotapov/nc_transpose_with_individual_id
ppotapov/nc_transpose_with_individual_id
1m 40s
Init identity matrix and jump to main CI #2602: Commit f913935 pushed by ppotapov-aws
1m 15s ppotapov/init_identity_matrix_properly
ppotapov/init_identity_matrix_properly
1m 15s
Init identity matrix and jump to main CI #2601: Commit f6d4e57 pushed by ppotapov-aws
2m 17s main
main
2m 17s
Init identity matrix and jump to main CI #2600: Commit f913935 pushed by ppotapov-aws
2m 18s ppotapov/init_identity_matrix_properly
ppotapov/init_identity_matrix_properly
2m 18s
fix: use relative names for shared constant files CI #2599: Commit 6b6bcac pushed by govereau
2m 4s pg/rel
pg/rel
2m 4s
fix(lang): Add nl.zeros with buffer parameter support CI #2598: Commit f53c44d pushed by mrkcath-aws
1m 24s clm/zeros
clm/zeros
1m 24s
fix: generate no-reorder block instead of dependency edges CI #2597: Commit 90e162d pushed by mrkcath-aws
3m 32s main
main
3m 32s
fix: generate no-reorder block instead of dependency edges CI #2596: Commit 33a2765 pushed by govereau
2m 35s pg/reorder2
pg/reorder2
2m 35s
Avoid stepping into libuv while saving shared constants CI #2595: Commit 0748586 pushed by ppotapov-aws
1m 3s main
main
1m 3s
Avoid stepping into libuv while saving shared constants CI #2594: Commit 0b2c17e pushed by ppotapov-aws
1m 15s ppotapov/shared_constant_hash_followup
ppotapov/shared_constant_hash_followup
1m 15s
[NKI-1282] Output shared_constants to hash of their content CI #2593: Commit 790c628 pushed by ppotapov-aws
1m 26s main
main
1m 26s
[NKI-1282] Output shared_constants to hash of their content CI #2592: Commit 7603bd0 pushed by ppotapov-aws
1m 19s ppotapov/shared_constant_hash
ppotapov/shared_constant_hash
1m 19s
[NKI-1282] Output shared_constants to hash of their content CI #2591: Commit 58c7838 pushed by ppotapov-aws
1m 6s ppotapov/shared_constant_hash
ppotapov/shared_constant_hash
1m 6s
fix: reverse order of no_reorder dependency edges CI #2590: Commit 1b6d876 pushed by kerrijoe-aws
1m 32s main
main
1m 32s
fix: reverse order of no_reorder dependency edges CI #2589: Commit 55b8d4a pushed by kerrijoe-aws
1m 38s jk/edge-order
jk/edge-order
1m 38s
fix: reverse order of no_reorder dependency edges CI #2588: Commit d127029 pushed by kerrijoe-aws
1m 33s jk/edge-order
jk/edge-order
1m 33s
fix: reverse order of no_reorder dependency edges CI #2587: Commit 72a7505 pushed by kerrijoe-aws
1m 38s jk/edge-order
jk/edge-order
1m 38s
DRAFT change meaning of no_reorder to be per-engine CI #2586: Commit ba8aaed pushed by govereau
4m 41s main
main
4m 41s