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

feat: ship cadical #4325

Merged
merged 34 commits into from
Aug 23, 2024
Merged

feat: ship cadical #4325

merged 34 commits into from
Aug 23, 2024

Conversation

Kha
Copy link
Member

@Kha Kha commented Jun 3, 2024

No description provided.

@Kha
Copy link
Member Author

Kha commented Jun 3, 2024

Let's first see if it builds at all

@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc June 3, 2024 08:43 Inactive
@Kha Kha added the release-ci Enable all CI checks for a PR, like is done for releases label Jun 3, 2024
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc June 3, 2024 09:12 Inactive
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc June 3, 2024 09:18 Inactive
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc June 3, 2024 09:32 Inactive
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc June 4, 2024 08:57 Inactive
@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 Jun 4, 2024
leanprover-community-mathlib4-bot added a commit to leanprover-community/batteries that referenced this pull request Jun 4, 2024
@leanprover-community-mathlib4-bot
Update lean-toolchain for testing leanprover/lean4#4325
99d5c51
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc June 11, 2024 12:09 Inactive
leanprover-community-mathlib4-bot added a commit to leanprover-community/batteries that referenced this pull request Jun 11, 2024
@leanprover-community-mathlib4-bot
Trigger CI for leanprover/lean4#4325
33123fc
leanprover-community-mathlib4-bot added a commit to leanprover-community/mathlib4 that referenced this pull request Jun 11, 2024
@leanprover-community-mathlib4-bot
Update lean-toolchain for testing leanprover/lean4#4325
0744d06
@leanprover-community-mathlib4-bot leanprover-community-mathlib4-bot added the builds-mathlib CI has verified that Mathlib builds against this PR label Jun 11, 2024
@leanprover-community-mathlib4-bot
Copy link
Collaborator

leanprover-community-mathlib4-bot commented Jun 11, 2024 •
edited
Loading

Mathlib CI status (docs):

  • ✅ Mathlib branch lean-pr-testing-4325 has successfully built against this PR. (2024-06-11 14:53:46) View Log
  • ❗ Batteries CI can not be attempted yet, as the nightly-testing-2024-08-19 tag does not exist there yet. We will retry when you push more commits. If you rebase your branch onto nightly-with-mathlib, Batteries CI should run now. (2024-08-19 08:46:04)
  • 🟡 Mathlib branch lean-pr-testing-4325 build against this PR was cancelled. (2024-08-20 16:03:21) View Log
  • 🟡 Mathlib branch lean-pr-testing-4325 build against this PR was cancelled. (2024-08-21 17:50:51) View Log
  • 🟡 Mathlib branch lean-pr-testing-4325 build against this PR was cancelled. (2024-08-21 23:50:47) View Log
  • 🟡 Mathlib branch lean-pr-testing-4325 build against this PR was cancelled. (2024-08-22 22:47:09) View Log
  • 🟡 Mathlib branch lean-pr-testing-4325 build against this PR was cancelled. (2024-08-23 15:16:05) View Log

@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc June 13, 2024 12:45 Inactive
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc June 13, 2024 13:37 Inactive
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc June 19, 2024 13:37 Inactive
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc June 19, 2024 13:41 Inactive
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc August 21, 2024 17:04 Inactive
leanprover-community-mathlib4-bot added a commit to leanprover-community/batteries that referenced this pull request Aug 21, 2024
@leanprover-community-mathlib4-bot
Trigger CI for leanprover/lean4#4325
31d997a
leanprover-community-mathlib4-bot added a commit to leanprover-community/mathlib4 that referenced this pull request Aug 21, 2024
@leanprover-community-mathlib4-bot
Trigger CI for leanprover/lean4#4325
4780230
@Kha Kha marked this pull request as ready for review August 22, 2024 08:05
@Kha Kha requested a review from kim-em as a code owner August 22, 2024 08:05
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc August 22, 2024 08:16 Inactive
leanprover-community-mathlib4-bot added a commit to leanprover-community/batteries that referenced this pull request Aug 22, 2024
@leanprover-community-mathlib4-bot
Trigger CI for leanprover/lean4#4325
5859a68
leanprover-community-mathlib4-bot added a commit to leanprover-community/mathlib4 that referenced this pull request Aug 22, 2024
@leanprover-community-mathlib4-bot
Trigger CI for leanprover/lean4#4325
aed8bf1
@hargoniX hargoniX mentioned this pull request Aug 22, 2024
Merged
2 tasks
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc August 22, 2024 15:58 Inactive
leanprover-community-mathlib4-bot added a commit to leanprover-community/batteries that referenced this pull request Aug 22, 2024
@leanprover-community-mathlib4-bot
Trigger CI for leanprover/lean4#4325
e3a7be3
leanprover-community-mathlib4-bot added a commit to leanprover-community/mathlib4 that referenced this pull request Aug 22, 2024
@leanprover-community-mathlib4-bot
Trigger CI for leanprover/lean4#4325
377b871
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc August 23, 2024 07:59 Inactive
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc August 23, 2024 08:22 Inactive
@Kha Kha removed the release-ci Enable all CI checks for a PR, like is done for releases label Aug 23, 2024
@Kha Kha enabled auto-merge August 23, 2024 09:01
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc August 23, 2024 09:04 Inactive
@Kha Kha added this pull request to the merge queue Aug 23, 2024
leanprover-community-mathlib4-bot added a commit to leanprover-community/batteries that referenced this pull request Aug 23, 2024
@leanprover-community-mathlib4-bot
Trigger CI for leanprover/lean4#4325
06ec764
leanprover-community-mathlib4-bot added a commit to leanprover-community/mathlib4 that referenced this pull request Aug 23, 2024
@leanprover-community-mathlib4-bot
Trigger CI for leanprover/lean4#4325
374790f
Merged via the queue into master with commit 6d4ec15 Aug 23, 2024
16 of 17 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@kim-em kim-em Awaiting requested review from kim-em

Assignees
No one assigned
Labels
builds-mathlib CI has verified that Mathlib builds against this PR 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.
3 participants
@Kha @leanprover-community-mathlib4-bot @hargoniX