Skip to content

Actions: mbkybky/module_localProperties

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
165 workflow runs
165 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Flat.lean
Build #45: Commit 7907fbe pushed by su00000
October 9, 2024 14:38 1m 41s 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
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
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
October 9, 2024 04:19 1m 51s
add a TODO lemma about IsBaseChange
Build docs #43: Commit df713ff pushed by mbkybky
October 7, 2024 09:55 7m 19s master
October 7, 2024 09:55 7m 19s
add a TODO lemma about IsBaseChange
Build #43: Commit df713ff pushed by mbkybky
October 7, 2024 09:55 1m 34s master
October 7, 2024 09:55 1m 34s
October 7, 2024 08:42 7m 23s
October 7, 2024 08:42 1m 44s
fix
Build docs #41: Commit 76c3cf2 pushed by mbkybky
October 7, 2024 08:19 7m 18s master
October 7, 2024 08:19 7m 18s
fix
Build #41: Commit 76c3cf2 pushed by mbkybky
October 7, 2024 08:19 1m 39s master
October 7, 2024 08:19 1m 39s
Add more TODO Module.Flat_iff lemmas
Build docs #40: Commit bc41aa4 pushed by mbkybky
October 7, 2024 08:15 7m 0s master
October 7, 2024 08:15 7m 0s
Add more TODO Module.Flat_iff lemmas
Build #40: Commit bc41aa4 pushed by mbkybky
October 7, 2024 08:15 1m 44s master
October 7, 2024 08:15 1m 44s
October 7, 2024 06:24 1m 41s
October 7, 2024 06:24 7m 5s
Update Flat.lean
Build #38: Commit 0a701d9 pushed by su00000
October 7, 2024 06:11 1m 28s master
October 7, 2024 06:11 1m 28s
Update Flat.lean
Build docs #38: Commit 0a701d9 pushed by su00000
October 7, 2024 06:11 7m 27s master
October 7, 2024 06:11 7m 27s
October 7, 2024 03:57 1m 23s
October 7, 2024 03:57 6m 56s
Update FlatIff.lean
Build docs #36: Commit 14f7763 pushed by su00000
October 7, 2024 03:56 7m 1s master
October 7, 2024 03:56 7m 1s
Update FlatIff.lean
Build #36: Commit 14f7763 pushed by su00000
October 7, 2024 03:56 1m 26s master
October 7, 2024 03:56 1m 26s
Add flat iff lemmas
Build #35: Commit bf072eb pushed by mbkybky
October 7, 2024 03:42 1m 29s master
October 7, 2024 03:42 1m 29s
Add flat iff lemmas
Build docs #35: Commit bf072eb pushed by mbkybky
October 7, 2024 03:42 7m 10s master
October 7, 2024 03:42 7m 10s
Update Localization and TensorProduct
Build docs #34: Commit 5ea7413 pushed by syur2
October 7, 2024 02:17 6m 53s master
October 7, 2024 02:17 6m 53s
Update Localization and TensorProduct
Build #34: Commit 5ea7413 pushed by syur2
October 7, 2024 02:17 1m 25s master
October 7, 2024 02:17 1m 25s
fix build
Build docs #33: Commit 5f00807 pushed by mbkybky
October 6, 2024 16:22 6m 47s master
October 6, 2024 16:22 6m 47s