Skip to content

Actions: ZRTMRH/LinearAlgebraGame

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
196 workflow runs
196 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
fix: expose helper lemmas in InnerProductWorld L07 and LinearIndepend… Compile blueprint #52: Commit f35b190 pushed by ZRTMRH
5m 19s main
main
5m 19s
Build the game and save artifact build-and-deploy #52: Commit f35b190 pushed by ZRTMRH
8m 19s main
main
8m 19s
Build the game build-non-main #72: Pull request #24 opened by ZRTMRH
3m 30s expose-helper-lemmas
expose-helper-lemmas
3m 30s
Build the game build-non-main #71: Commit 6911e5e pushed by ZRTMRH
3m 31s expose-helper-lemmas
expose-helper-lemmas
3m 31s
fix: surface zero_coeff_from_not_in_span and subset_diff_singleton_of… Compile blueprint #51: Commit 1cc22e0 pushed by ZRTMRH
5m 22s main
main
5m 22s
Build the game and save artifact build-and-deploy #51: Commit 1cc22e0 pushed by ZRTMRH
8m 13s main
main
8m 13s
Build the game build-non-main #70: Pull request #23 synchronize by ZRTMRH
3m 22s fix-issue-21-inv-mul-cancel-zero
fix-issue-21-inv-mul-cancel-zero
3m 22s
Build the game build-non-main #69: Commit 021c66e pushed by ZRTMRH
3m 11s fix-issue-21-inv-mul-cancel-zero
fix-issue-21-inv-mul-cancel-zero
3m 11s
Build the game build-non-main #68: Commit 7e8b7d8 pushed by ZRTMRH
3m 13s fix-issue-21-inv-mul-cancel-zero
fix-issue-21-inv-mul-cancel-zero
3m 13s
Build the game and save artifact build-and-deploy #50: Commit 99dd196 pushed by ZRTMRH
8m 29s main
main
8m 29s
fix: rename inv_mul_cancel to inv_mul_cancel₀ in Level 8 (closes #21)… Compile blueprint #50: Commit 99dd196 pushed by ZRTMRH
5m 39s main
main
5m 39s
Build the game build-non-main #67: Pull request #22 opened by ZRTMRH
3m 21s fix-issue-21-inv-mul-cancel-zero
fix-issue-21-inv-mul-cancel-zero
3m 21s
Build the game build-non-main #66: Commit a75e157 pushed by ZRTMRH
3m 25s fix-issue-21-inv-mul-cancel-zero
fix-issue-21-inv-mul-cancel-zero
3m 25s
Build the game and save artifact build-and-deploy #49: Commit 5dac5a2 pushed by ZRTMRH
8m 42s main
main
8m 42s
fix: replace duplicate Level 4 with null_space_is_subspace (closes #1… Compile blueprint #49: Commit 5dac5a2 pushed by ZRTMRH
6m 17s main
main
6m 17s
Build the game build-non-main #65: Pull request #19 synchronize by ZRTMRH
3m 16s fix-issue-18-null-space-subspace
fix-issue-18-null-space-subspace
3m 16s
Build the game build-non-main #64: Commit 933c608 pushed by ZRTMRH
3m 9s fix-issue-18-null-space-subspace
fix-issue-18-null-space-subspace
3m 9s
Build the game build-non-main #63: Pull request #19 opened by ZRTMRH
3m 24s fix-issue-18-null-space-subspace
fix-issue-18-null-space-subspace
3m 24s
Build the game build-non-main #62: Commit 3f51005 pushed by ZRTMRH
3m 15s fix-issue-18-null-space-subspace
fix-issue-18-null-space-subspace
3m 15s
Build the game build-non-main #61: Pull request #17 opened by JadAbouHawili
3m 42s JadAbouHawili:linear-maps-level1
JadAbouHawili:linear-maps-level1
3m 42s
doc: remove unnecessary hint issues notes (#16) Compile blueprint #48: Commit 4e0de03 pushed by ZRTMRH
5m 12s main
main
5m 12s
Build the game and save artifact build-and-deploy #48: Commit 4e0de03 pushed by ZRTMRH
8m 12s main
main
8m 12s
Build the game build-non-main #60: Pull request #16 opened by JadAbouHawili
3m 9s JadAbouHawili:level8
JadAbouHawili:level8
3m 9s
Build the game and save artifact build-and-deploy #47: Commit 285da79 pushed by ZRTMRH
7m 49s main
main
7m 49s
fix: consolidate redundant theorem tabs (closes #13) (#15) Compile blueprint #47: Commit 285da79 pushed by ZRTMRH
5m 18s main
main
5m 18s