Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

chore: ci.yaml: build MacOS Aarch64 release for PRs by default #5022

Merged
merged 1 commit into from
Aug 13, 2024
Merged

chore: ci.yaml: build MacOS Aarch64 release for PRs by default #5022

merged 1 commit into from
Aug 13, 2024

Conversation

nomeata
Copy link
Collaborator

@nomeata nomeata commented Aug 13, 2024 •
edited
Loading

should make leanprover-community/mathlib4#13301
unnecessary, which has a fair number of bad side-effects

@nomeata
chore: ci.yaml: build MacOS Aarch64 release for PRs by default
2c498dc 
should make leanprover-community/mathlib4#13301
unnecesasy, which has a fair number of bad side-effects
@nomeata nomeata requested review from Kha and kim-em as code owners August 13, 2024 15:20
@nomeata nomeata enabled auto-merge August 13, 2024 15:21
nomeata added a commit to leanprover-community/mathlib4 that referenced this pull request Aug 13, 2024
@nomeata
chore: do not set release-ci label upon failed PR test
2a1a347 
with leanprover/lean4#5022 the need for this
should have disappeared
@nomeata nomeata mentioned this pull request Aug 13, 2024
Closed
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc August 13, 2024 15:31 Inactive
@nomeata nomeata added this pull request to the merge queue Aug 13, 2024
@github-actions github-actions bot added the toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN label Aug 13, 2024
Merged via the queue into master with commit f500af9 Aug 13, 2024
16 checks passed
@mattrobball
Copy link
Contributor

Thanks!

mathlib-bors bot pushed a commit to leanprover-community/mathlib4 that referenced this pull request Aug 15, 2024
@nomeata
chore: do not set release-ci label upon failed PR test (#15775)
e024d5c 
with leanprover/lean4#5022 the need for this
should have disappeared
nomeata added a commit to leanprover-community/mathlib4 that referenced this pull request Aug 15, 2024
@nomeata
chore: do not set release-ci label upon failed PR test (#15775)
40bc4fe 
with leanprover/lean4#5022 the need for this
should have disappeared
nomeata added a commit to leanprover-community/mathlib4 that referenced this pull request Aug 23, 2024
@nomeata
Squashed commit of lean-pr-testing-4154
37add2f 
commit 6d957dc
Author: Joachim Breitner <[email protected]>
Date:   Thu Aug 22 15:10:57 2024 +0200

    Fix proof

commit 5b95381
Merge: 48bea5e bc78dd4
Author: leanprover-community-mathlib4-bot <[email protected]>
Date:   Thu Aug 22 11:24:01 2024 +0000

    Trigger CI for leanprover/lean4#4154

commit 48bea5e
Author: Joachim Breitner <[email protected]>
Date:   Wed Aug 21 18:35:50 2024 +0200

    Switch to Mathlib.Init

commit 4d38bbd
Author: leanprover-community-mathlib4-bot <[email protected]>
Date:   Wed Aug 21 18:25:08 2024 +0000

    Trigger CI for leanprover/lean4#4154

commit f84b84d
Author: leanprover-community-mathlib4-bot <[email protected]>
Date:   Wed Aug 21 09:58:00 2024 +0000

    Trigger CI for leanprover/lean4#4154

commit f958309
Author: leanprover-community-mathlib4-bot <[email protected]>
Date:   Wed Aug 21 09:39:13 2024 +0000

    Trigger CI for leanprover/lean4#4154

commit 4b976ec
Author: Joachim Breitner <[email protected]>
Date:   Wed Aug 21 10:54:32 2024 +0200

    Try to remove some nolints

commit 0cbb129
Author: Joachim Breitner <[email protected]>
Date:   Wed Aug 21 10:53:14 2024 +0200

    Reduce diff

commit a485ac8
Author: leanprover-community-mathlib4-bot <[email protected]>
Date:   Tue Aug 20 08:02:41 2024 +0000

    Trigger CI for leanprover/lean4#4154

commit b5cb54a
Author: leanprover-community-mathlib4-bot <[email protected]>
Date:   Mon Aug 19 13:09:14 2024 +0000

    Trigger CI for leanprover/lean4#4154

commit 8b1ce21
Author: Joachim Breitner <[email protected]>
Date:   Mon Aug 19 12:56:07 2024 +0200

    Like this?

commit e6ce4b5
Author: Joachim Breitner <[email protected]>
Date:   Mon Aug 19 11:38:06 2024 +0200

    nolint attributes

commit e24f1c6
Author: Joachim Breitner <[email protected]>
Date:   Mon Aug 19 11:15:52 2024 +0200

    Another simp only gone

commit a9d54a8
Author: Joachim Breitner <[email protected]>
Date:   Mon Aug 19 11:11:30 2024 +0200

    aesop_cat broke :-(

commit b4edcec
Author: Joachim Breitner <[email protected]>
Date:   Mon Aug 19 11:03:43 2024 +0200

    Use dsimp only

commit 8e66ddd
Author: Joachim Breitner <[email protected]>
Date:   Mon Aug 19 10:28:04 2024 +0200

    Fixes in ComposableArrows

commit 471b000
Author: Joachim Breitner <[email protected]>
Date:   Mon Aug 19 10:18:56 2024 +0200

    Use cond_false

commit 8120390
Author: Joachim Breitner <[email protected]>
Date:   Mon Aug 19 10:14:41 2024 +0200

    No rfl after simp needed anymore

commit 0544693
Author: Joachim Breitner <[email protected]>
Date:   Mon Aug 19 10:13:00 2024 +0200

    Less dsimp only

commit 5cffe6e
Author: Joachim Breitner <[email protected]>
Date:   Mon Aug 19 10:10:21 2024 +0200

    More autoParam

commit 8e019f8
Author: Joachim Breitner <[email protected]>
Date:   Fri Aug 16 17:16:43 2024 +0200

    More fixes

commit 7b6f094
Author: Joachim Breitner <[email protected]>
Date:   Fri Aug 16 17:13:46 2024 +0200

    More fixes

commit 3151f57
Author: Joachim Breitner <[email protected]>
Date:   Fri Aug 16 17:10:35 2024 +0200

    More [autoParam]

commit 54a6616
Author: Joachim Breitner <[email protected]>
Date:   Fri Aug 16 17:07:19 2024 +0200

    Some fixes

commit 9c41f64
Author: Joachim Breitner <[email protected]>
Date:   Fri Aug 16 12:15:03 2024 +0200

    Check for cold cache

commit 66ff376
Author: Joachim Breitner <[email protected]>
Date:   Fri Aug 16 14:54:25 2024 +0200

    No longer needed dsimps?

commit 2298410
Author: leanprover-community-mathlib4-bot <[email protected]>
Date:   Fri Aug 16 12:24:02 2024 +0000

    Trigger CI for leanprover/lean4#4154

commit 8bca337
Author: Joachim Breitner <[email protected]>
Date:   Fri Aug 16 12:17:43 2024 +0200

    Some reasonable fixes

commit 14247a2
Author: Joachim Breitner <[email protected]>
Date:   Fri Aug 16 12:16:08 2024 +0200

    Revert "work-around dsimp Function.eval"

    This reverts commit 8c36154.

commit 0c86721
Author: leanprover-community-mathlib4-bot <[email protected]>
Date:   Fri Aug 16 10:35:28 2024 +0000

    Trigger CI for leanprover/lean4#4154

commit 4b2124e
Author: leanprover-community-mathlib4-bot <[email protected]>
Date:   Fri Aug 16 09:45:57 2024 +0000

    Trigger CI for leanprover/lean4#4154

commit 125f713
Author: leanprover-community-mathlib4-bot <[email protected]>
Date:   Fri Aug 16 08:51:57 2024 +0000

    Trigger CI for leanprover/lean4#4154

commit af7ab6c
Author: Joachim Breitner <[email protected]>
Date:   Fri Aug 16 08:16:31 2024 +0200

    Style exception

commit f11401e
Author: Joachim Breitner <[email protected]>
Date:   Fri Aug 16 08:08:49 2024 +0200

    toAdditive: transport MatcherInfo

commit 8c36154
Author: Joachim Breitner <[email protected]>
Date:   Thu Aug 15 18:27:00 2024 +0200

    work-around dsimp Function.eval

commit 5fcef86
Author: leanprover-community-mathlib4-bot <[email protected]>
Date:   Thu Aug 15 14:24:51 2024 +0000

    Trigger CI for leanprover/lean4#4154

commit d4e2758
Author: leanprover-community-mathlib4-bot <[email protected]>
Date:   Thu Aug 15 13:59:06 2024 +0000

    Trigger CI for leanprover/lean4#4154

commit af1456c
Author: Joachim Breitner <[email protected]>
Date:   Thu Aug 15 15:49:23 2024 +0200

    Fix call to getEqnsFor?

commit c62ab2f
Author: leanprover-community-mathlib4-bot <[email protected]>
Date:   Thu Aug 15 12:30:12 2024 +0000

    Trigger CI for leanprover/lean4#4154

commit d9bc3e9
Author: leanprover-community-mathlib4-bot <[email protected]>
Date:   Thu Aug 15 11:47:22 2024 +0000

    Trigger CI for leanprover/lean4#4154

commit 40bc4fe
Author: Joachim Breitner <[email protected]>
Date:   Thu Aug 15 10:50:26 2024 +0000

    chore: do not set release-ci label upon failed PR test (#15775)

    with leanprover/lean4#5022 the need for this
    should have disappeared

commit 2ff3b31
Merge: 33a583e b8ad879
Author: leanprover-community-mathlib4-bot <[email protected]>
Date:   Thu Aug 15 10:32:05 2024 +0000

    Trigger CI for leanprover/lean4#4154

commit 33a583e
Merge: 1c951db 85647f2
Author: leanprover-community-mathlib4-bot <[email protected]>
Date:   Mon Jun 3 15:24:02 2024 +0000

    Trigger CI for leanprover/lean4#4154

commit 1c951db
Author: leanprover-community-mathlib4-bot <[email protected]>
Date:   Mon May 13 18:13:38 2024 +0000

    Trigger CI for leanprover/lean4#4154

commit f05d463
Author: leanprover-community-mathlib4-bot <[email protected]>
Date:   Mon May 13 17:26:47 2024 +0000

    Update lean-toolchain for testing leanprover/lean4#4154
bjoernkjoshanssen pushed a commit to leanprover-community/mathlib4 that referenced this pull request Sep 9, 2024
@nomeata @bjoernkjoshanssen
chore: do not set release-ci label upon failed PR test (#15775)
2546135 
with leanprover/lean4#5022 the need for this
should have disappeared
bjoernkjoshanssen pushed a commit to leanprover-community/mathlib4 that referenced this pull request Sep 9, 2024
@nomeata @bjoernkjoshanssen
chore: do not set release-ci label upon failed PR test (#15775)
1f23434 
with leanprover/lean4#5022 the need for this
should have disappeared
bjoernkjoshanssen pushed a commit to leanprover-community/mathlib4 that referenced this pull request Sep 12, 2024
@nomeata @bjoernkjoshanssen
chore: do not set release-ci label upon failed PR test (#15775)
971c664 
with leanprover/lean4#5022 the need for this
should have disappeared
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Kha Kha Awaiting requested review from Kha

@kim-em kim-em Awaiting requested review from kim-em kim-em is a code owner

Assignees
No one assigned
Labels
toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@nomeata @mattrobball