Skip to content

Actions: ZRTMRH/LinearAlgebraGame

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build the game and save artifact build-and-deploy #40: Commit 8d3cae6 pushed by ZRTMRH
9m 24s main
main
9m 24s
Fix misc issues from issue #7: missing sidebar theorems, premature co… Compile blueprint #40: Commit 8d3cae6 pushed by ZRTMRH
5m 53s main
main
5m 53s
Add missing inner_zero_right_v to Level 7 sidebar Compile blueprint #39: Commit e366f88 pushed by ZRTMRH
6m 9s main
main
6m 9s
Build the game and save artifact build-and-deploy #39: Commit e366f88 pushed by ZRTMRH
8m 27s main
main
8m 27s
Add missing inner_minus_left and inner_self_real to Level 6 sidebar Compile blueprint #38: Commit 62c3d6f pushed by ZRTMRH
5m 53s main
main
5m 53s
Build the game and save artifact build-and-deploy #38: Commit 62c3d6f pushed by ZRTMRH
9m 25s main
main
9m 25s
Also disable short name sca_mul in Inner Product World Level 3 Compile blueprint #37: Commit f130f9f pushed by ZRTMRH
6m 6s main
main
6m 6s
Build the game and save artifact build-and-deploy #37: Commit f130f9f pushed by ZRTMRH
9m 0s main
main
9m 0s
Build the game and save artifact build-and-deploy #36: Commit 31d6552 pushed by ZRTMRH
8m 24s main
main
8m 24s
Disable self-application of sca_mul in Inner Product World Level 3 Compile blueprint #36: Commit 31d6552 pushed by ZRTMRH
5m 36s main
main
5m 36s
Build the game and save artifact build-and-deploy #35: Commit b6e6e16 pushed by ZRTMRH
8m 32s main
main
8m 32s
Merge pull request #3 from Javantea/main Compile blueprint #35: Commit b6e6e16 pushed by ZRTMRH
5m 53s main
main
5m 53s
Build the game and save artifact build-and-deploy #34: Commit 9f655ad pushed by ZRTMRH
8m 38s main
main
8m 38s
Merge pull request #1 from he7d3r/fix-typos Compile blueprint #34: Commit 9f655ad pushed by ZRTMRH
6m 33s main
main
6m 33s
Revert "[TEST] Try open LinearAlgebraGame to allow short theorem names" Compile blueprint #33: Commit efac91b pushed by ZRTMRH
5m 26s main
main
5m 26s
Build the game and save artifact build-and-deploy #33: Commit efac91b pushed by ZRTMRH
8m 29s main
main
8m 29s
[TEST] Try open LinearAlgebraGame to allow short theorem names Compile blueprint #32: Commit 04c9c53 pushed by ZRTMRH
5m 0s main
main
5m 0s
Build the game and save artifact build-and-deploy #32: Commit 04c9c53 pushed by ZRTMRH
11m 0s main
main
11m 0s
Add TheoremDoc for le_of_sq_le_sq and fix Level09 hint mismatches Compile blueprint #31: Commit bae4c3b pushed by ZRTMRH
5m 41s main
main
5m 41s
Build the game and save artifact build-and-deploy #31: Commit bae4c3b pushed by ZRTMRH
8m 7s main
main
8m 7s
Build the game and save artifact build-and-deploy #30: Commit f7bee63 pushed by ZRTMRH
8m 10s main
main
8m 10s
Fix inner_smul_left usage note: use InnerProductSpace_v prefix Compile blueprint #30: Commit f7bee63 pushed by ZRTMRH
3m 9s main
main
3m 9s
Add namespace usage notes to Inner Product World Compile blueprint #29: Commit 3aa16d0 pushed by ZRTMRH
1m 46s main
main
1m 46s
Build the game and save artifact build-and-deploy #29: Commit 3aa16d0 pushed by ZRTMRH
8m 27s main
main
8m 27s
Add issue reporting link to game info page Compile blueprint #28: Commit f00d803 pushed by ZRTMRH
6m 17s main
main
6m 17s