Skip to content

Actions: yury-harmonic/mathlib4

Actions

Run pre-commit and in-place update PR on push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
68 workflow runs
68 workflow runs

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
Merge branch 'YK-simpleGraph' of https://github.com/yury-harmonic/mat… Run pre-commit and in-place update PR on push #68: Commit cdb6666 pushed by urkud
34s YK-simpleGraph
YK-simpleGraph
34s
Merge branch 'master' into YK-simpleGraph Run pre-commit and in-place update PR on push #67: Commit 83cc408 pushed by yury-harmonic
26s YK-simpleGraph
YK-simpleGraph
26s
Try to fix a simpNF issue Run pre-commit and in-place update PR on push #66: Commit f831f67 pushed by urkud
28s YK-simpleGraph
YK-simpleGraph
28s
Fix Run pre-commit and in-place update PR on push #65: Commit c30f57f pushed by urkud
36s YK-simpleGraph
YK-simpleGraph
36s
Merge branch 'master' into YK-simpleGraph Run pre-commit and in-place update PR on push #64: Commit dcf407f pushed by yury-harmonic
35s YK-simpleGraph
YK-simpleGraph
35s
Fix, add a missing comment Run pre-commit and in-place update PR on push #63: Commit d38251a pushed by yury-harmonic
26s normnum-isSquare
normnum-isSquare
26s
Update Mathlib/Tactic/NormNum/IsSquare.lean Run pre-commit and in-place update PR on push #62: Commit 834e7e2 pushed by yury-harmonic
23s normnum-isSquare
normnum-isSquare
23s
Add a TODO Run pre-commit and in-place update PR on push #61: Commit 367b29e pushed by yury-harmonic
27s normnum-isSquare
normnum-isSquare
27s
Follow suggestions in the code review Run pre-commit and in-place update PR on push #60: Commit aae059f pushed by yury-harmonic
32s normnum-isSquare
normnum-isSquare
32s
Close namespaces Run pre-commit and in-place update PR on push #59: Commit 7f7a059 pushed by yury-harmonic
24s normnum-isSquare
normnum-isSquare
24s
feat: norm_num extension for IsSquare Run pre-commit and in-place update PR on push #58: Commit d07914a pushed by yury-harmonic
25s normnum-isSquare
normnum-isSquare
25s
feat: norm_num extension for IsSquare Run pre-commit and in-place update PR on push #57: Commit e9936fb pushed by yury-harmonic
25s normnum-isSquare
normnum-isSquare
25s
Use public import Run pre-commit and in-place update PR on push #56: Commit a70e9b3 pushed by yury-harmonic
28s zsigmondy
zsigmondy
28s
Add sum lemmas and eq_ite lemmas Run pre-commit and in-place update PR on push #55: Commit d9d911b pushed by yury-harmonic
31s YK-bigop-modeq
YK-bigop-modeq
31s
Merge branch 'master' into YK-bigop-modeq Run pre-commit and in-place update PR on push #54: Commit e2b3e7e pushed by yury-harmonic
27s YK-bigop-modeq
YK-bigop-modeq
27s
Use module .. public import Run pre-commit and in-place update PR on push #53: Commit 7034650 pushed by yury-harmonic
35s YK-bigop-modeq
YK-bigop-modeq
35s
Merge branch 'master' into YK-bigop-modeq Run pre-commit and in-place update PR on push #52: Commit 050c639 pushed by yury-harmonic
26s YK-bigop-modeq
YK-bigop-modeq
26s
Merge branch 'zsigmondy' of https://github.com/yury-harmonic/mathlib4… Run pre-commit and in-place update PR on push #51: Commit 9abe9ec pushed by yury-harmonic
32s zsigmondy
zsigmondy
32s
Add a paragraph about ascFactorial Run pre-commit and in-place update PR on push #50: Commit d5a0994 pushed by yury-harmonic
33s YK-csimp
YK-csimp
33s
Merge branch 'master' into YK-bigop-modeq Run pre-commit and in-place update PR on push #49: Commit e21ac64 pushed by yury-harmonic
30s YK-bigop-modeq
YK-bigop-modeq
30s
Merge branch 'master' into zsigmondy Run pre-commit and in-place update PR on push #48: Commit ed74897 pushed by yury-harmonic
28s zsigmondy
zsigmondy
28s
Merge branch 'master' into YK-normnum Run pre-commit and in-place update PR on push #47: Commit 96dd657 pushed by yury-harmonic
22s YK-normnum
YK-normnum
22s
Apply suggestions from code review Run pre-commit and in-place update PR on push #46: Commit e7a4bf1 pushed by yury-harmonic
34s YK-normnum
YK-normnum
34s
Merge branch 'master' into nat-modeq Run pre-commit and in-place update PR on push #45: Commit de26f84 pushed by yury-harmonic
21s nat-modeq
nat-modeq
21s
Apply suggestion from @j-loreaux Run pre-commit and in-place update PR on push #44: Commit c6c3b46 pushed by yury-harmonic
30s nat-modeq
nat-modeq
30s