Skip to content

Actions: mbkybky/module_localProperties

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
161 workflow runs
161 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix Build #56: Commit 25a87a6 pushed by syur2
October 17, 2024 04:26 1m 44s master
master
October 17, 2024 04:26 1m 44s
move map' from LocalizedModule to Defs , and update Isom Build #55: Commit b24e6d8 pushed by syur2
October 16, 2024 11:21 1m 47s master
master
October 16, 2024 11:21 1m 47s
move map' from LocalizedModule to Defs , and update Isom Build docs #55: Commit b24e6d8 pushed by syur2
October 16, 2024 11:21 13m 7s master
master
October 16, 2024 11:21 13m 7s
fix Build docs #54: Commit 7cd3394 pushed by syur2
October 15, 2024 04:30 13m 15s master
master
October 15, 2024 04:30 13m 15s
fix Build #54: Commit 7cd3394 pushed by syur2
October 15, 2024 04:30 1m 53s master
master
October 15, 2024 04:30 1m 53s
fix LocalizedModule Build docs #53: Commit 74f1458 pushed by syur2
October 15, 2024 04:03 1m 44s master
master
October 15, 2024 04:03 1m 44s
fix LocalizedModule Build #53: Commit 74f1458 pushed by syur2
October 15, 2024 04:03 1m 39s master
master
October 15, 2024 04:03 1m 39s
fix TensorProduct Build docs #52: Commit 90f26a8 pushed by syur2
October 13, 2024 14:58 7m 37s master
master
October 13, 2024 14:58 7m 37s
fix TensorProduct Build #52: Commit 90f26a8 pushed by syur2
October 13, 2024 14:58 1m 54s master
master
October 13, 2024 14:58 1m 54s
fix Build #51: Commit bed3997 pushed by mbkybky
October 13, 2024 11:26 1m 52s master
master
October 13, 2024 11:26 1m 52s
fix Build docs #51: Commit bed3997 pushed by mbkybky
October 13, 2024 11:26 7m 51s master
master
October 13, 2024 11:26 7m 51s
fix the name error between LocalizedModule.map' and mapfromlift Build docs #50: Commit e2ddbf6 pushed by syur2
October 13, 2024 04:00 2m 5s master
master
October 13, 2024 04:00 2m 5s
fix the name error between LocalizedModule.map' and mapfromlift Build #50: Commit e2ddbf6 pushed by syur2
October 13, 2024 04:00 1m 52s master
master
October 13, 2024 04:00 1m 52s
Update LocalizedModule and TensorProduct Build docs #49: Commit 92800e6 pushed by syur2
October 13, 2024 03:37 2m 18s master
master
October 13, 2024 03:37 2m 18s
Update LocalizedModule and TensorProduct Build #49: Commit 92800e6 pushed by syur2
October 13, 2024 03:37 2m 5s master
master
October 13, 2024 03:37 2m 5s
Update LocalizedModule.lean Build docs #48: Commit 77e9a32 pushed by syur2
October 12, 2024 15:33 8m 0s master
master
October 12, 2024 15:33 8m 0s
Update LocalizedModule.lean Build #48: Commit 77e9a32 pushed by syur2
October 12, 2024 15:33 1m 58s master
master
October 12, 2024 15:33 1m 58s
Another proof for Flat.lean Build docs #47: Commit be08760 pushed by su00000
October 11, 2024 15:47 9m 53s master
master
October 11, 2024 15:47 9m 53s
Another proof for Flat.lean Build #47: Commit be08760 pushed by su00000
October 11, 2024 15:47 1m 59s master
master
October 11, 2024 15:47 1m 59s
Update LocallizedModule, and prove that the localization of ring is i… Build docs #46: Commit b8c96aa pushed by syur2
October 10, 2024 15:33 1m 58s master
master
October 10, 2024 15:33 1m 58s
Update LocallizedModule, and prove that the localization of ring is i… Build #46: Commit b8c96aa pushed by syur2
October 10, 2024 15:33 1m 41s master
master
October 10, 2024 15:33 1m 41s
Update Flat.lean Build #45: Commit 7907fbe pushed by su00000
October 9, 2024 14:38 1m 41s master
master
October 9, 2024 14:38 1m 41s
Update Flat.lean Build docs #45: Commit 7907fbe pushed by su00000
October 9, 2024 14:38 7m 50s master
master
October 9, 2024 14:38 7m 50s
Update MissingLemmas's LocalizedModule and Units Build docs #44: Commit 6937cc3 pushed by syur2
October 9, 2024 04:19 7m 12s master
master
October 9, 2024 04:19 7m 12s
Update MissingLemmas's LocalizedModule and Units Build #44: Commit 6937cc3 pushed by syur2
October 9, 2024 04:19 1m 51s master
master
October 9, 2024 04:19 1m 51s