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 Flat.lean Build docs #75: Commit 966d865 pushed by su00000
October 30, 2024 11:59 5m 58s master
master
October 30, 2024 11:59 5m 58s
Fix Flat.lean Build #86: Commit 966d865 pushed by su00000
October 30, 2024 11:59 1m 56s master
master
October 30, 2024 11:59 1m 56s
Fix Flat.lean Build docs #74: Commit b003be4 pushed by su00000
October 30, 2024 11:41 5m 56s master
master
October 30, 2024 11:41 5m 56s
Fix Flat.lean Build #85: Commit b003be4 pushed by su00000
October 30, 2024 11:41 1m 50s master
master
October 30, 2024 11:41 1m 50s
fix Build docs #73: Commit 583c103 pushed by mbkybky
October 30, 2024 01:01 13m 11s master
master
October 30, 2024 01:01 13m 11s
fix Build #84: Commit 583c103 pushed by mbkybky
October 30, 2024 01:01 1m 52s master
master
October 30, 2024 01:01 1m 52s
Update NoZeroSMulDivisors.lean Build #83: Commit 99969c4 pushed by syur2
October 27, 2024 11:26 2m 6s master
master
October 27, 2024 11:26 2m 6s
Update NoZeroSMulDivisors.lean Build docs #72: Commit 99969c4 pushed by syur2
October 27, 2024 11:26 6m 3s master
master
October 27, 2024 11:26 6m 3s
Update Finite.lean Build #82: Commit ab44c10 pushed by yuanyi-350
October 27, 2024 03:26 1m 54s others
others
October 27, 2024 03:26 1m 54s
Update Finite.lean Build #81: Commit 2893cf6 pushed by yuanyi-350
October 27, 2024 03:23 1m 53s others
others
October 27, 2024 03:23 1m 53s
Update Finite.lean Build #80: Commit 7c29063 pushed by yuanyi-350
October 27, 2024 03:17 1m 48s others
others
October 27, 2024 03:17 1m 48s
Update Finite.lean Build #79: Commit 3aab458 pushed by yuanyi-350
October 26, 2024 08:16 2m 2s others
others
October 26, 2024 08:16 2m 2s
Update Finite.lean Build #78: Commit d9486b4 pushed by yuanyi-350
October 26, 2024 07:29 1m 51s others
others
October 26, 2024 07:29 1m 51s
finish the proof of aut_equiv_of_finrank_eq_one and move the file into ain dir Build #77: Pull request #1 opened by yhtq
October 26, 2024 06:11 1m 54s others-GuoZixun
others-GuoZixun
October 26, 2024 06:11 1m 54s
add files in Others to gitignore Build #76: Commit 0ebddd3 pushed by yhtq
October 26, 2024 06:10 1m 52s others-GuoZixun
others-GuoZixun
October 26, 2024 06:10 1m 52s
change dir Build #75: Commit 7bd7d0b pushed by yhtq
October 26, 2024 06:08 1m 58s others-GuoZixun
others-GuoZixun
October 26, 2024 06:08 1m 58s
finish restrictScalars Build #74: Commit f3cf378 pushed by yhtq
October 26, 2024 06:05 2m 7s others-GuoZixun
others-GuoZixun
October 26, 2024 06:05 2m 7s
init Build #73: Commit 3d05f49 pushed by mbkybky
October 26, 2024 01:39 2m 0s others
others
October 26, 2024 01:39 2m 0s
fix Build #72: Commit d3d7ff3 pushed by mbkybky
October 26, 2024 01:38 1m 53s others
others
October 26, 2024 01:38 1m 53s
fix Build docs #71: Commit d3d7ff3 pushed by syur2
October 25, 2024 14:25 6m 12s master
master
October 25, 2024 14:25 6m 12s
fix Build #71: Commit d3d7ff3 pushed by syur2
October 25, 2024 14:25 2m 5s master
master
October 25, 2024 14:25 2m 5s
fix Build docs #70: Commit 5ec90ed pushed by syur2
October 25, 2024 02:12 5m 45s master
master
October 25, 2024 02:12 5m 45s
fix Build #70: Commit 5ec90ed pushed by syur2
October 25, 2024 02:12 1m 53s master
master
October 25, 2024 02:12 1m 53s
update nozerosmuldivisors Build docs #69: Commit 4c658df pushed by syur2
October 24, 2024 14:48 6m 18s master
master
October 24, 2024 14:48 6m 18s
update nozerosmuldivisors Build #69: Commit 4c658df pushed by syur2
October 24, 2024 14:48 1m 57s master
master
October 24, 2024 14:48 1m 57s