Skip to content
New issue

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

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

Already on GitHub? # to your account

Add Instanitate.definition to get Definition from cache. #4020

Merged
merged 1 commit into from
Apr 24, 2024

add `Instantiate.definition` API to retrieve `Definition` from cache.

81d4cf7
Select commit
Loading
Failed to load commit list.
Merged

Add Instanitate.definition to get Definition from cache. #4020

add `Instantiate.definition` API to retrieve `Definition` from cache.
81d4cf7
Select commit
Loading
Failed to load commit list.
Mergify / Queue: Embarked in merge queue succeeded Apr 24, 2024 in 0s

The pull request embarked with main (02b01e8) will be merged soon

Required conditions for merge:

  • #approved-reviews-by>=1 [🛡 GitHub branch protection]
  • #changes-requested-reviews-by=0 [🛡 GitHub branch protection]
  • status-success=all tests passed
  • all of [📃 From pull request rule automatic squash-and-merge on CI success and review]:
    • #approved-reviews-by>=1
    • #changes-requested-reviews-by=0
    • -draft [📌 queue requirement]
    • base=main
    • label!="DO NOT MERGE"
    • label!="bp-conflict"
    • label="Please Merge"
    • status-success=all tests passed
    • any of [📌 queue -> configuration change requirements]:
      • -mergify-configuration-changed
      • check-success=Configuration changed
    • any of [🔀 queue conditions]:
      • all of [📌 queue conditions of queue default]:
        • #approved-reviews-by>=1 [🛡 GitHub branch protection]
        • #changes-requested-reviews-by=0 [🛡 GitHub branch protection]
        • any of [🛡 GitHub branch protection]:
          • check-success=all tests passed
          • check-neutral=all tests passed
          • check-skipped=all tests passed
        • any of [🛡 GitHub branch protection]:
          • check-success=Check Labels
          • check-neutral=Check Labels
          • check-skipped=Check Labels
        • any of [🛡 GitHub branch protection]:
          • check-success=EasyCLA
          • check-neutral=EasyCLA
          • check-skipped=EasyCLA
  • any of [🛡 GitHub branch protection]:
    • check-success=all tests passed
    • check-neutral=all tests passed
    • check-skipped=all tests passed
  • any of [🛡 GitHub branch protection]:
    • check-success=Check Labels
    • check-neutral=Check Labels
    • check-skipped=Check Labels
  • any of [🛡 GitHub branch protection]:
    • check-success=EasyCLA
    • check-neutral=EasyCLA
    • check-skipped=EasyCLA

Check-runs and statuses of the embarked pull request #4020:

Deploy Website details
publish details
Check Labels details
EasyCLA EasyCLA check passed. You are authorized to contribute.details
all tests passed details
check tests details
ci (ubuntu-22.04, 8, 2.13.12, 2.4) / Benchmarking Sanity Check details
ci (ubuntu-22.04, 8, 2.13.12, 2.4) / Build Mdoc & Website details
ci (ubuntu-22.04, 8, 2.13.12, 2.4) / Formatting details
ci (ubuntu-22.04, 8, 2.13.12, 2.4) / Integration Tests details
ci (ubuntu-22.04, 8, 2.13.12, 2.4) / Standard Library Tests (2.13.12) details
ci (ubuntu-22.04, 8, 2.13.12, 2.4) / Test Scala-CLI Example / Build and Test details
ci (ubuntu-22.04, 8, 2.13.12, 2.4) / ci details
ci (ubuntu-22.04, 8, 2.13.12, 2.4) / compile project with mill details