cargo-kani setup fails

While following the README.md steps to install kani, I got the following error:
$ cargo-kani setup
[0/6] Running Kani first-time setup...
[1/6] Ensuring the existence of: /home/ANT.AMAZON.COM/karahmed/.kani/kani-0.10.0
[2/6] Downloading Kani release bundle: kani-0.10.0-x86_64-unknown-linux-gnu.tar.gz
[3/6] Installing rust toolchain version: nightly-2022-08-30-x86_64-unknown-linux-gnu
info: syncing channel updates for 'nightly-2022-08-30-x86_64-unknown-linux-gnu'

  nightly-2022-08-30-x86_64-unknown-linux-gnu unchanged - rustc 1.65.0-nightly (bc4b39c27 2022-08-29)

info: checking for self-updates
[4/6] Installing Kani python dependencies...
Applying a workaround for 18.04...

Usage:
  /usr/bin/python3 -m pip install [options] <requirement specifier> [package-index-options] ...
  /usr/bin/python3 -m pip install [options] -r <requirements file> [package-index-options] ...
  /usr/bin/python3 -m pip install [options] [-e] <vcs project url> ...
  /usr/bin/python3 -m pip install [options] [-e] <local project path> ...
  /usr/bin/python3 -m pip install [options] <archive url/path> ...

no such option: --system
Error: Failed command: python3 -m pip install --system --prefix /home/ANT.AMAZON.COM/karahmed/.kani/kani-0.10.0/pyroot cbmc-viewer==3.6

My system is running:
$ pip --version
pip 21.3.1 from $HOME/.local/lib/python3.6/site-packages/pip (python 3.6)
karahmed@ubbcd806e443653:~$ lsb_release -a
No LSB modules are available.
Distributor ID:	Ubuntu
Description:	Ubuntu 18.04.6 LTS
Release:	18.04
Codename:	bionic

That sounds reasonable.
I guess you already said it's version 9, but for the record the default pip on 18.04 that needs the workaround looks like:
$ python3 -m pip --version
pip 9.0.1 from /usr/lib/python3/dist-packages (python 3.6)


Fixed javadoc errors

Replaced some <code> tags to use {@code} instead
Fixed self-closing <br> tags
Removed unknown references
Updated references to use the new paths
Removed old @param tags

[x] This does compile for both the javadoc and compile tasks
[x] All javadoc errors are cleaned up


SHAKEN VS request fails for "URI parsing failed"

We run SHAKEN AS request and feed the generated Identity header in SHAKEN VS request, and get 400/416. Can not find the reasonCode or reasonText in doc.
HTTP/1.1 400 Bad Request
Date: Tue, 24 Jan 2023 21:55:10 GMT
Server: WSGIServer/0.2 CPython/3.7.15
Content-Type: application/json
X-Frame-Options: DENY
Content-Length: 139
X-Content-Type-Options: nosniff
Referrer-Policy: same-origin
{"verifyResults": [{"verifyResult": {"status": "fail", "ppt": "", "reasonCode": 416, "reasonText": "URI parsing failed", "passport": ""}}]}

hi @di-shi
Can you please share the request that you are sending.

I could not reproduce:
{
"verifyResults": [
{
"verifyResult": {
"ppt": "shaken",
"status": "pass",
"validClaims": {
"attest": "A",
"dest": {
"tn": [
"14045266060"
]
},
"iat":<PHONE_NUMBER>,
"orig": {
"tn": "15551234567"
},
"origid": "2088448c-718e-4930-be5d-0ec9b25d2f00"
}
}
}
],
"verstatValue": "TN-Validation-Passed"
}

still failed for me just minutes ago.
curl -i -k -s -X POST http://<IP_ADDRESS>:8000/stir/v1/verification?apiKey=XXXXXX -H Content-Type: application/json -H Accept: application/json -d {"identityHeader": "eyJhbGciOiJFUzI1NiIsInBwdCI6InNoYWtlbiIsInR5cCI6InBhc3Nwb3J0IiwieDV1IjoiaHR0cHM6Ly9jYS1jbXMubmV1c3RhcmxhYi5iaXovY2NpZC9hdXRobi92Mi9jZXJ0cy8xMTA0MS4xMDAzNyJ9.eyJhdHRlc3QiOiJBIiwiZGVzdCI6eyJ0biI6WyIxNDA0NTI2NjA2MCJdfSwiaWF0IjoxNjc1OTY2ODUwLCJvcmlnIjp7InRuIjoiMTU1NTEyMzQ1NjcifSwib3JpZ2lkIjoiOThkMDk2MzktZmJhZi0xMWU3LTlmNTQtMDAwYzI5YjFiMzllIn0.VKdm-NO1z7Ccw2mUpCx9I95QQykskE-C66E7SlN9zdzgzV1ltKECq11QdW-zw0L0RRvXpnpahz_D1ifX5iK76w;info=<https://ca-cms.neustarlab.biz/ccid/authn/v2/certs/11041.10037>;alg=ES256;ppt=\"shaken\"", "place": "holder", "to": {"tn"<EMAIL_ADDRESS>"time":<PHONE_NUMBER>, "from": {"tn"<EMAIL_ADDRESS>
HTTP/1.1 400 Bad Request
Date: Thu, 09 Feb 2023 18:20:51 GMT
Server: WSGIServer/0.2 CPython/3.7.15
Content-Type: application/json
X-Frame-Options: DENY
Content-Length: 139
X-Content-Type-Options: nosniff
Referrer-Policy: same-origin

{"verifyResults": [{"verifyResult": {"status": "fail", "ppt": "", "reasonCode": 416, "reasonText": "URI parsing failed", "passport": ""}}]}

Is this the correct PASSporT information?
{
"alg": "ES256",
"ppt": "shaken",
"typ": "passport",
"x5u": "https://ca-cms.neustarlab.biz/ccid/authn/v2/certs/11041.10037"
}
{
"attest": "A",
"dest": {
"tn": [
"14045266060"
]
},
"iat":<PHONE_NUMBER>,
"orig": {
"tn": "15551234567"
},
"origid": "98d09639-fbaf-11e7-9f54-000c29b1b39e"
}

what does this parameter do in your VS request?  "place": "holder",

> Is this the correct PASSporT information?
I think so.
> what does this parameter do in your VS request? "place": "holder",
We use a shell script for the test. Some use cases need more parameters. If a parameter is not needed, we a place placeholder item in the request.

We believe this has something to do with the orig/dest/to/from and will continue to investigate.  Thanks.

As @kpolitz  mentioned, this is due to wrong format sent for 'from' field. Currently our system is expecting 'from' as object which contains 'tn' array. We are working to fix this and 'from' would be just an object which will accept 'tn' as string (more like the way you are sending)
In your request if you can just change the 'from' field as below, you will get a response. But we are working on a fix for it and eventually 'from' will just be an object which accepts 'tn' as String (similar to your request).
"from": {
        "tn": [
<EMAIL_ADDRESS>        ]
    }

@rishagit
Thank you for the information. Please let us know when these tickets are fixed. Then we will continue the test.

"orig" and "from" parameters will no longer be arrays in next pull request.  A note will be sent to test participants when change is available.

Changes were deployed on 2/23/23.  Please test and confirm.


Bug: Same shapely version different python build resturns different MULTIPOINT object

I'm not sure if this goes here or in the feedstock but happy to reopen elsewhere if needed.
I have two environments where shapely 2.0.2 is installed but in one case is py310 and other py311. The result for multipoint in one case has extra a parentheses.
1.
shapely                   2.0.2           py310hee2b506_1    conda-forge

In [1]: import shapely

In [2]: shp_point_0 = shapely.Point(0, 0)
   ...: shp_point_1 = shapely.Point(1, 1)
   ...: shp_point_2 = shapely.Point(2, 2)

In [3]: shp_multipoint_0 = shapely.MultiPoint([shp_point_0, shp_point_1, shp_point_2])

In [4]: shp_multipoint_0
Out[4]: <MULTIPOINT ((0 0), (1 1), (2 2))>

In [5]: shapely.geos_version
Out[5]: (3, 12, 1)

shapely                   2.0.2           py311h4826c84_0    conda-forge

In [1]: import shapely

In [2]: shp_point_0 = shapely.Point(0, 0)
   ...: shp_point_1 = shapely.Point(1, 1)
   ...: shp_point_2 = shapely.Point(2, 2)

In [3]: shp_multipoint_0 = shapely.MultiPoint([shp_point_0, shp_point_1, shp_point_2])

In [4]: shp_multipoint_0
Out[4]: <MULTIPOINT (0 0, 1 1, 2 2)>

In [5]:  shapely.geos_version
Out[5]: (3, 11, 2)

I noticed that the geos version is different, maybe that's the problem. But this is a problem when having snapshot tests like we have in ibis that compare outputs generated with a snapshot that looks like this
SELECT
  ST_ASWKB("result") AS result
FROM (
  SELECT
    ST_GEOMFROMTEXT('MULTIPOINT (0 0, 1 1, 2 2)') AS "result"
)

For the record, if you install with pip in both cases with py310 and py311, you end up with shapely.geos_version
(3, 11, 2) and <MULTIPOINT (0 0, 1 1, 2 2)>
cc: @jorisvandenbossche

That is a change in GEOS 3.12 (https://github.com/libgeos/geos/pull/903) which is actually a bug fix as the old format was not compliant with the WKT specification.

Thanks @martinfleis
Closing this! We have made the corresponding xfails in ibis ci, until the fixes make it to pypi.

I have two environments where shapely 2.0.2 is installed but in one case is py310 and other py311.

FWIW, for conda, if you update shapely (to get a more recent build, but same version) you can have GEOS 3.12 in both your environments. For pip it will have to wait until shapely 2.1 to update GEOS to 3.12.

And something else: I don't know the exact testing context in ibis, but you could also parse the WKT with shapely and then use the equals method of the resulting geometries. That might be more robust than WKT string comparison (and will for example not fail on the difference above). Also if the order of coordinates in a polygon ring is different, WKT comparisons will fail while the geometries could actually be equal)

@jorisvandenbossche just for an estimate do we know when 2.1 is expected to go out?


AdMob Load and Show

I just tested Admob demos and it's very pleasant me.
when i press  Interstitial or  Reward button after some times an Ad loads automatically.
Is it possible  at first an Ad to be  load and after pressing show button the Ad to be shown ?
Thank very much and execuse me for my english..

I am not sure I understand what you mean - is it that there is a delay between clicking the button and the ad showing? If so, this is something totally out of my control, that is: the delay is in the ad service - there is no way to load an ad first, then show it later.

Closed due to inactivity


FATAL: ... error fetching image to cache: failed to get checksum for docker://docker://

I have some serious weirdness that I thought I should document.
I have a small HPC; head node, 6 compute nodes, compute nodes mount /share/apps /home from head node. I have metaGOflow installed in /share/apps - so all nodes see the same code. All nodes run an up to date AlmaLinux release 8.10. All nodes have apptainer.x86_64 1.3.2-1.el8 from EPEL repo installed and podman-docker.noarch plus dependencies. No other conflicting container software is installed.
The problem: some nodes fail (not all just 3 out of 6) to run metaGOflow giving the following error:
FATAL:   While making image from oci registry: error fetching image to cache: failed to get checksum for docker://docker://cymon/eggnog-2.1.12:0.2: unable to parse image name docker://docker://cymon/eggnog-"

The call being attempted is:
 subprocess.CalledProcessError: Command '['singularity', 'pull', '--force', '--name', '/home/cymon/src/metaGOflow-cymon.git/sif_images/cymon_eggnog-2.1.12:0.2.sif', 'docker://docker://cymon/eggnog-2.1.12:0.2

It looks like the docker://docker:// string is being mis-formed, and should only have one docker://
This happens for other images as well, but only on certain nodes:
FATAL:   While making image from oci registry: error fetching image to cache: failed to get checksum for docker://docker://microbiomeinformatics/pipeline-v5.bash-scripts:v1.3

Google does not help at all. No idea what is going on...
I'm assuming this is not a problem with the workflow but the configuration of some of my nodes... but thought it put it here for posterity anyway...

I am not sure I am following; is this when you are running the get_singularity_images.sh script?
Where is this docker://docker:/ pattern you mention?
I guess you can try to get the images in any possible way and then use them from cahce.

I am not sure I am following; is this when you are running the get_singularity_images.sh script?

No, this is when running metaGOflow itself.

Where is this docker://docker:/ pattern you mention?

This is in the python traceback or the error:
FATAL:   While making image from oci registry: error fetching image to cache: failed to get checksum for docker://docker://cymon/eggnog-2.1.12:0.2: unable to parse image name docker://docker://cymon/eggnog-
8018 ^[[1;30mERROR^[[0m ^[[31mGot workflow error: Singularity is not available for this tool, try --no-container to disable Singularity, or install a user space Docker replacement like uDocker with --user-space-
8019 Traceback (most recent call last):
8020   File "/share/apps/lib/python3.7/site-packages/cwltool/job.py", line 809, in run
8021     runtimeContext.tmp_outdir_prefix,
8022   File "/share/apps/lib/python3.7/site-packages/cwltool/singularity.py", line 307, in get_from_requirements
8023     if not self.get_image(cast(Dict[str, str], r), pull_image, force_pull):
8024   File "/share/apps/lib/python3.7/site-packages/cwltool/singularity.py", line 249, in get_image
8025     check_call(cmd, stdout=sys.stderr)  # nosec
8026   File "/share/apps/lib/python3.7/subprocess.py", line 347, in check_call
8027     raise CalledProcessError(retcode, cmd)
8028 subprocess.CalledProcessError: Command '['singularity', 'pull', '--force', '--name', '/home/cymon/src/metaGOflow-cymon.git/sif_images/cymon_eggnog-2.1.12:0.2.sif', 'docker://docker://cymon/eggnog-2.1.12:0.2
8029

I guess you can try to get the images in any possible way and then use them from cahce.
I have the images in the sif_images folder and they work when running the exact same code on different nodes; but just these 3 node give this error - and I can't see why...

I have not seen this error before but based on the error message, is there any chance singularity is not installed correctly in those nodes?

OK, I'm closing this as I'm sure it's some issue with IO between compute and storage and nothing to do with metaGOflow...


Ambiguous question for Challenge 3 task 5

Hi, there is no way to figure out if the date/time constraint applied on task 4 applies to task 5. Moreover, the figure out whether the "top" rowCount is the smallest or largest value of rowCount, so multiple answers can be provided. The "sort" operator always returns me errors so all I can do is return the whole table, click on the "rowCount" column to sort it and take the first or last row. First row with smallest rowCount has a different clientRequestId from the image, so either "top rowCount" means the largest rowCount, either the date/time constraint applies. The question needs to be unambiguous, or there needs to be a tool checking answers automatically so one can try the multiple possibilities, otherwise this is endless frustration, trial and error.

Reading further the question and the reference pages for sort and top solves it.


TestSlnMultipleNested, TestSln, and TestPrintfDotNet are very flaky on Windows

What happened?
These tests all try to check for stdout diagnostic events and on windows these seem to miss all of them, frequently.
Example
https://github.com/pulumi/pulumi-dotnet/actions/runs/11949460978/job/33308951131
Output of pulumi about
N/A
Additional context
No response
Contributing
Vote on this issue by adding a 👍 reaction.
To contribute a fix for this issue, leave a comment (and link to your pull request, if you've opened one already).

Fixed in https://github.com/pulumi/pulumi-dotnet/pull/408


make font-face lookups case insensitive

Was struggling with cssnano stripping out our library font face declarations (but looking fine before cssnano). This library has font-face declared as din-next and this is used as font-family DIN-Next.
The specification says font names should be matched case insensitively, so I've built support for that out by dropping everything to lower case.

Thanks for your contribution! 👍


gdprCookiesEnabled event not running on page load

Is there a way to trigger the gdprCookiesEnabled event when the user loads the page? As of now the only time this event triggers is when the user accepts the cookies. Is this intentional or am I missing something?

This line should init that event: https://github.com/passatgt/gdpr-cookie-notice/blob/3c48826c0a3badf381d36abb47c77faca1f1a28e/src/js/script.js#L39

Yes that's what I thought, but on demo (https://passatgt.github.io/gdpr-cookie-notice) the event isn't dispatched either. Only when you accept the cookies the event dispatches. Also no cookies are removed if I'm not mistaken. Any ideas? @passatgt

you need to define your Eventistener bevor inluding the Cookie Script


NPM Package?

Do you want to provide an NPM Package, instead of downloading the min.js file?

Yes I think that should be done and would be most useful. It will be implemented shortly.

npm package is now provided


add bundled typings

Hey @probablyup  - thanks for the PR. Looks great! I'll get it published today.


Added python example of sending request to model deployed on triton e…

I wrote an example for sending request to a model deployed on the Nvidia Triton Engine. I used functions that used HTTP requests. Please merge.

I just have one confusion right now. This was my first pull request so
excuse my not having understanding of this. I made the pull request from my
main personal github account. The request is in my pull requests and it's
completed as well. But when I go to the ClearML-Serving repo, it points to
a GitHub repo I created on my work email which I don't use. Do you know why
that might be the case?
On Thu, Dec 23, 2021 at 4:20 AM Jake Henning @.***>
wrote:

Merged #16 https://github.com/allegroai/clearml-serving/pull/16 into
main.
—
Reply to this email directly, view it on GitHub
https://github.com/allegroai/clearml-serving/pull/16#event-5807231678,
or unsubscribe
https://github.com/notifications/unsubscribe-auth/AG5HJW6ACGBUQM24FRYVS2DUSJMKDANCNFSM5J6M3MUQ
.
Triage notifications on the go with GitHub Mobile for iOS
https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675
or Android
https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub.
You are receiving this because you authored the thread.Message ID:
@.***>

I have no idea... I see it pointing to FawadAhmed322:triton_example - is that the correct one?

You're right, I made the pull request from the FawadAhmed322 one and that
is my main one. However when I look at the repo, it shows this in the
image. Basically showing the repo created on my work email instead of my
main one where I created the pull request. I fail to understand why this is
the case.
On Thu, Dec 23, 2021 at 1:03 PM Jake Henning @.***>
wrote:

I have no idea... I see it pointing to FawadAhmed322:triton_example - is
that the correct one?
—
Reply to this email directly, view it on GitHub
https://github.com/allegroai/clearml-serving/pull/16#issuecomment-1000116196,
or unsubscribe
https://github.com/notifications/unsubscribe-auth/AG5HJW32AHB2DAHOUBVYFBLUSLJTPANCNFSM5J6M3MUQ
.
Triage notifications on the go with GitHub Mobile for iOS
https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675
or Android
https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub.
You are receiving this because you authored the thread.Message ID:
@.***>

GitHub bug? 🙂

I'll try to contact GitHub support in that case.  First contribution on github and it isn't
being attributed to my main account publicly, instead being attributed to
an account that I don't even use. Anyway thanks for the help. I'll try to
get help from GitHub support if possible.
On Thu, Dec 23, 2021 at 1:49 PM Jake Henning @.***>
wrote:

GitHub bug? 🙂
—
Reply to this email directly, view it on GitHub
https://github.com/allegroai/clearml-serving/pull/16#issuecomment-1000140556,
or unsubscribe
https://github.com/notifications/unsubscribe-auth/AG5HJW5ZOHRRVKMQBLN6IRTUSLPAXANCNFSM5J6M3MUQ
.
Triage notifications on the go with GitHub Mobile for iOS
https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675
or Android
https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub.
You are receiving this because you authored the thread.Message ID:
@.***>

If there's anything we can do - just let me know


Create a logo for the Pod Portfolio

Besides the MLH Logo, it will be great if we can come up with a logo that goes with our pod mascot on the pod portfolio.

I want to work on the same

Can you please check and let me know the changes so that I can create PR with the same

let me know what you think!

@kpham841 @Bhawna1203 I am waiting to see the hybrid of these two logos. Please sync up to get it done

Is it good mam?


Introduce the Taxonomy Caching Service

Describes concept of a service that is intended to preserve Taxonomy knowledge documents.

@derekhiggins what's going on with this?

@derekhiggins what's going on with this?

Nothing currently, It was an idea that I thought at the time would be necessary, I'm no longer close enough to the instructlab project to know if it is still relevant. If it isn't we can close it, if it is I can refresh it and help address any outstanding questions but I now longer have the time to work on it that I had when I create this PR.


Release MP 7.0

[x] MicroProfile 7.0 Specification Review git issue.
[x] If this release is the first release for this year, create a release folder (xxxx Release, e.g 2023 Release) under this root folder. This folder stores the releases blog and release presentation to be created in the next few steps. (@jclingan)
[x] Create a MicroProfile presentation and save it in the right folder under this (@jclingan) Ticket example here
[ ] Import the presentation to the landing page and resources page of the website
[x] Draft a release announcement blog post using template (@Emily-Jiang ) Ticket example here
[x] Create a compatible implementation page for this release and list the compatible implementation used for this release ratification ticket example here
[x] Create release announcement design card ticket ----- See example here
[x] Update the MicroProfile homepage with release announcement design card
[x] Edit/Publish release announcement blog post on the MicroProfile Blog Ticket
[x] Announce release on social media using Hootsuite (Twitter, Linkedin, Facebook) example here
[x] Write an update to the MP Community Forum about the release (@jclingan volunteered)
[x] Update the MP Calendar with the Release Date (committer)
[ ] Translate the release blog in other lauguages such as (German,Russian, Spanish, etc)

Kickstarting the marketing release process via https://github.com/eclipse/microprofile-marketing/issues/949

done


x++ statements not being counted in metrics

See this thread.

Should be fixed with @basicer's new Esper interpreter.


Can you please get CPU and Temperature stats into the diag JSON

I created a monitoring platform for endusers to watch their miners. Supporting as many vendors as possible that have useable info in their diag. You can check that project here: https://github.com/nhatfield/hnt_monitor/tree/4.2.0
It would be awesome to see this from nebra:

cpu usage
cpu temperature
memory usage
storage usage

Thanks

@nhatfield thanks for the suggestion. we are looking at adding a number of different things, however we will probably put this page behind authentication (password protected) at some point
we also have https://dashboard.nebra.com already

@nhatfield Pulling this from hm-diag wouldn't be very useful as you'd have to be at the same network (which rarely is the case for people with multiple miners). Also, as @shawaj mentioned, we already have this data in the Dashboard.

@shawaj that is no problem, when you move it to an authenticated we can still support it :) It is just a curl command that is pulling the json down. I will just have to make some code updates to support the authentication header and method you guys choose. With all that said though, does that mean that the new password protected version is when you will release those other metrics?
@vpetersson that's true but this is small enough to run on a rapberry pi. So essentially you just need enough space to fit 2 small items in one location (the PI and the miner). The collector is all that is needed, and it runs on a docker container. This allows the collection to be done from the same network as the miner. The other option is to open the firewall rule for a non standard port like 8080 => 80 on the miner from source ip (your main monitor location ip) and do your collection that way. There's a lot of easy options to solve the remote miner use case.
Thanks

@shawaj  @vpetersson as the platform grows, many more users are looking for this type of diag. It would be great to get these out so we can start monitoring cross vendor comparisons. So far, because of this limitation we recommend other brands that offer these diag metrics instead of Nebra. It would be nice to add you to the top of the list of recommended hotspots like bobcat, sensecap, and syncrobit already are. Seems like a super easy win for such a small amount of tech debt...especially in a world where the most profitable and effective miners will be the ones off grid, needing to monitor these stats in a unified way! Imagine getting an IOT device that can only been seen in helium console... would you buy it? Or would you rather buy the IoT device that can be seen in any console... datacake? local ui? .... This is the same for hotspots
Thanks,

You can already do this from our dashboard 👍


Add support for setting transaction isolation level via ODBC (not driver-dependent)

#135 describes how we can control the transaction isolation level for a SQL Server connection by sending a T-SQL statement like
conn.execute("SET TRANSACTION ISOLATION LEVEL SERIALIZABLE;")

after the connection is established. However, it might be nice to support this at the ODBC level using a pyodbc method something like
conn.transaction_isolation = "SERIALIZABLE"

Such support at the ODBC level is actually what happens when a .NET application sets the isolation level for an OdbcTransaction. The C# statement
OdbcTransaction tran = conn.BeginTransaction(System.Data.IsolationLevel.Serializable);

produces the following in the ODBC trace:
OdbcConsoleApp. 227c-20cc   ENTER SQLSetConnectAttrW
        SQLHDBC             0x000263F0
        SQLINTEGER                 108 <SQL_ATTR_TXN_ISOLATION>
        SQLPOINTER                 8 <SQL_TXN_SERIALIZABLE>
        SQLINTEGER                  -6

OdbcConsoleApp. 227c-20cc   EXIT  SQLSetConnectAttrW  with return code 0 (SQL_SUCCESS)
        SQLHDBC             0x000263F0
        SQLINTEGER                 108 <SQL_ATTR_TXN_ISOLATION>
        SQLPOINTER                 8 <SQL_TXN_SERIALIZABLE>
        SQLINTEGER                  -6

I agree it would be a good idea to have this accessible from pyODBC; and ODBC already defines the constants needed:

SQL_TXN_READ_UNCOMMITTED
SQL_TXN_READ_COMMITTED
SQL_TXN_REPEATABLE_READ
SQL_TXN_SERIALIZABLE

However, given that this is only one of many other options accessible via connection attributes, perhaps it would be sufficient to add the constants and use set_attr() for this instead of adding a dedicated field, e.g.:
conn.set_attr(pyodbc.SQL_ATTR_TXN_ISOLATION, pyodbc.SQL_TXN_SERIALIZABLE);

I think it makes sense to add such a "convenience method/field" when it's part of DB-API or otherwise likely to be commonly used, but otherwise setting the isolation level is already available via set_attr(). Many ODBC drivers with extended functionality, like the SQL Server Native Client/ODBC Driver for SQL Server, expose that functionality through custom connection and/or statement attributes. @mkleehammer what are your thoughts on adding specific methods/fields vs. using the more generic connection/statement attribute interfaces?

@v-chojas has added the constants to #286 which has now been merged in.
Thanks to both of you for the suggestion and implementation.


HAI-1371 Add summary page to kaivuilmoitus form

Description
Currently summary page lists information from the first page of the form. Rest of the information is added when each page is added.
Also made changes to application view that basic information summary is displayed based on application type, so that correct information is shown for kaivuilmoitus too.
Jira Issue: https://helsinkisolutionoffice.atlassian.net/browse/HAI-1371
Type of change

[ ] Bug fix
[x] New feature
[ ] Other

Instructions for testing

Create kaivuilmoitus
Fill perustiedot form page
Go to next page (yhteenveto)
Check that everything from first page is there and it matches Figma: https://www.figma.com/file/CSWoUcI2jslxfOgBYgjKuK/Haitaton-HDS-3.0.0?type=design&node-id=1939-7848&mode=design&t=PW2hAovySVMxksIq-4

Checklist:

[ ] I have written new tests (if applicable)
[ ] I have ran the tests myself (if applicable)
[ ] I have made necessary changes to the documentation, link to confluence
or other location:

Other relevant info
Please describe here if there is e.g. some requirements for this change or
other info that the tester/user needs to know.

No new tests have been added?


added windows 11

after reading this article, i confirmed windows 11 is supported

Learn Build status updates of commit 038e598:
:white_check_mark: Validation status: passed

File
Status
Preview URL
Details

windows/security/threat-protection/security-policy-settings/dcom-machine-launch-restrictions-in-security-descriptor-definition-language-sddl-syntax.md
:white_check_mark:Succeeded

For more details, please refer to the build report.
Note: Broken links written as relative paths are included in the above build report. For broken links written as absolute paths or external URLs, see the broken link report.
For any questions, please:Try searching the learn.microsoft.com contributor guidesPost your question in the Learn support channel


body replaced after 'Aurelia started'

and more importantly, after eg app.js constructor
previously eg
export class App {
  constructor(){
    document.body.appendChild(document.createElement('div'));
  }
...

would add a div to the body before eg nav-bar and div page-host.
after updating from 1.1.2 to 1.1.4 the body gets cleared after the app constructor even though it runs after the 'Aurelia started' log output.
i dont know if that is from the bootstrapper or another package that gets upgraded with jspm install<EMAIL_ADDRESS>

seems to be same as https://github.com/aurelia/templating/issues/284
maybe this is the sample requested here
https://github.com/aurelia/templating/issues/284#issuecomment-193921291

@EisenbergEffect this did cost me half a day :cry:

could you clarify if it is indented that doc.body is not save to access in the app.js constructor?
if so, is there an event raised when it is save (maybe its aurelia-composed)
i think it's a crucial information, when it is save to access document.body and thus it should be specified in the docs when it's save and when/where on can do so

It's nothing to do with body actually. It depends on what element you put the aurelia-app attribute. If you want to keep body's content around, simply choose another html element to place your app in. The reason body isn't safe is only because the aurelia-app indicates that is a location to render the app into. When it renders, it removes any content inside of that element.

i know that. but previously this was happening before the app constructor. now it's afterwards


Deprecate PhysicalModelLayer/PhysicalShapeLayer

@flar @goderbauer fyi
Historically, Fuchsia wanted these to be layers so that it could do its own implementation of shadow rendering. That is no longer the case, and now we have no platforms that need to do the shadow rendering. Having these as separate layers may confuse cacheability and requires engine-side implementation for drawing shadows that could be handled in the framework instead.
For a start, we could simply stop using those layers in RenderPhysicalModel and RenderPhysicalShape, basically reverting some of the code in https://github.com/flutter/flutter/pull/29701. That change was made to help make more consistency across platforms and support some Fuchsia specific debugging code that has since been reverted separately.
We'd then want to deprecate the framework classes and the scene builder API, and remove them from the engine.

We should also remove elevation support from the a11y tree since those are also no longer needed.

This work has been completed


vllm.engine.async_llm_engine.AsyncEngineDeadError: Task finished unexpectedly. This should never happen! Please open an issue on Github.

Setup:
Machine - GCP n1-standard-32
Accelerators - 4 NVIDIA TESLA T4
vllm Version: 0.2.6
Stack Trace:
Exception in callback functools.partial(<function _raise_exception_on_finish at 0x7fa959d6dab0>, request_tracker=<vllm.engine.async_llm_engine.RequestTracker object at 0x7fa9ab1abd60>)
handle: <Handle functools.partial(<function _raise_exception_on_finish at 0x7fa959d6dab0>, request_tracker=<vllm.engine.async_llm_engine.RequestTracker object at 0x7fa9ab1abd60>)>
Traceback (most recent call last):
File "/opt/conda/lib/python3.10/site-packages/vllm/engine/async_llm_engine.py", line 28, in _raise_exception_on_finish
task.result()
File "/opt/conda/lib/python3.10/site-packages/vllm/engine/async_llm_engine.py", line 359, in run_engine_loop
has_requests_in_progress = await self.engine_step()
File "/opt/conda/lib/python3.10/site-packages/vllm/engine/async_llm_engine.py", line 338, in engine_step
request_outputs = await self.engine.step_async()
File "/opt/conda/lib/python3.10/site-packages/vllm/engine/async_llm_engine.py", line 191, in step_async
output = await self._run_workers_async(
File "/opt/conda/lib/python3.10/site-packages/vllm/engine/async_llm_engine.py", line 227, in _run_workers_async
assert output == other_output
AssertionError
The above exception was the direct cause of the following exception:
Traceback (most recent call last):
File "uvloop/cbhandles.pyx", line 63, in uvloop.loop.Handle._run
File "/opt/conda/lib/python3.10/site-packages/vllm/engine/async_llm_engine.py", line 37, in _raise_exception_on_finish
raise exc
File "/opt/conda/lib/python3.10/site-packages/vllm/engine/async_llm_engine.py", line 32, in _raise_exception_on_finish
raise AsyncEngineDeadError(
vllm.engine.async_llm_engine.AsyncEngineDeadError: Task finished unexpectedly. This should never happen! Please open an issue on Github. See stack trace above for the actual cause.
INFO 12-21 23:20:26 async_llm_engine.py:134] Aborted request 5b565d60cc87455185b369709347f4f9.

the same with you

Are you trying to launch async vllm engine task in side a already running uvloop instances (or anyother python asyncio loop)?
I remember having this issue when trying to create async vllm engine object in my web app already managed by uvloop.
Basically, it is due to recursive asyncio loop issue

Yes I believe it's because I was hitting the open ai compatible server endpoint with 'curl' in the same terminal session immediately after I received a response. If I opened up another connection or waited for a few seconds (could be due to TIMEOUT var that is set in AsyncLLMEngine.py) then the error wouldn't appear


overwrite_duplicate not working with (use_current_library = True)

When using new_cell with the option overwrite_duplicate = True and use_current_library = True
an ValueError [GDSPY] Cell named xxx already present in library occurs.
I'm not sure if it is caused by improper usage, I do multiple calls of
gdspy.current_library.new_cell(name="testDupl", overwrite_duplicate=True).
I think this is caused because inside new_cell function the first operation is to instantiate a new cell:
https://github.com/heitzmann/gdspy/blob/5234778068e8d85dde955056517dd5f95379b6d4/gdspy/library.py#L2299-L2328
But inside the initializer of the new cell class the overwrite_duplicate is not passed to the current_library.add function.
https://github.com/heitzmann/gdspy/blob/5234778068e8d85dde955056517dd5f95379b6d4/gdspy/library.py#L104-L115
My workaround to fix this was a modifcation the new_cell function as follows:
def new_cell(self, name, overwrite_duplicate=False, update_references=True):
    if(overwrite_duplicate and use_current_library):
        cell = Cell(name, exclude_from_current=True)
    else:
        cell = Cell(name)
    self.add(cell, False, overwrite_duplicate, update_references)
    return cell

Is this a bug or wrong usage?

It's a bug. When using current_library, calling new_cell on it is not the expected use case (since just creating a cell from the constructor achieves the same goal and seems simpler). Would you open a PR?


translating traffic management overview into Chinese

translating traffic management overview
modify docs index
add traffic management index

Hi @rootsongjc. Thanks for your PR.
I'm waiting for a istio member to verify that this patch is reasonable to test. If it is, they should reply with /ok-to-test on its own line. Until that is done, I will not automatically test new commits in this PR, but the usual testing commands by org members will still work. Regular contributors should join the org to skip this step.
I understand the commands that are listed here.

Instructions for interacting with me using PR comments are available here.  If you have questions or suggestions related to my behavior, please file an issue against the kubernetes/test-infra repository.

Deploy preview for preliminary-istio failed.
Built with commit 00fc53d6abce8fe8cf38175f5ca3b62aebc784a7
https://app.netlify.com/sites/preliminary-istio/deploys/5b2ba7c20733d5690ab3d46b

Build successfully but deployed failed, got these errors:
9:28:46 PM: Starting to deploy site from 'public'
9:33:26 PM: Failing build: Failed to deploy site
9:33:28 PM: failed during stage 'deploying site': Failed to execute deploy: Upload cancelled: docs/reference/config/policy-and-telemetry/adapters/fluentd/index.html
9:33:30 PM: Finished processing build request in 5m58.44540951s

I didn't change anything in docs/reference/config/policy-and-telemetry/adapters/fluentd/index.html What's wrong with this?

Looks like a hiccup in Netlify, unrelated to your changes. I restarted the thing, hopefully it'll work this time around.

@fleeto Please review.

[APPROVALNOTIFIER] This PR is NOT APPROVED
This pull-request has been approved by: fleeto, gyliu513, rootsongjc
To fully approve this pull request, please assign additional approvers.
We suggest the following additional approver: geeknoid
Assign the PR to them by writing /assign @geeknoid in a comment when ready.
The full list of commands accepted by this bot can be found here.
The pull request process is described here

Needs approval from an approver in each of these files:

OWNERS

Approvers can indicate their approval by writing /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment

/ok-to-test

/lgtm

[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: fleeto, geeknoid, gyliu513, rootsongjc
The full list of commands accepted by this bot can be found here.
The pull request process is described here

Needs approval from an approver in each of these files:

OWNERS [geeknoid]

Approvers can indicate their approval by writing /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment


Scheduler_v1.1

There is a new attribute schedule with the tag d/ that takes in DD-MM-YYYY together with the person detail. At the moment, it must be included for the a person to be added to this addressbook and each person can only enter 1 schedule.

Naise

Dayumm

siksiksik

#33 Create schedule
#34 Format for schedule input in DD-MM-YYYY


Macro Scripts

VSCode currently does not support recordable macros.
We also can not implement this as an extension since the API's don't let us track all user activity.
This is an attempt at hopefully providing the next best option, macros as scripts.
Feature ideas:

Write a macro script which can invoke any vscode command
Provide intellisense for commands for quicker authoring
Preview in near realtime the script transformation as applied to a document while authoring a script

Allow to play macro script step by step, forwards and backwards in preview

Save scripts for reuse
Provide command which can rerun last macro, useful for repeating via key binding

Preview of the macro script authoring

Intellisense provided for all commands
Cursor location is highlighted in preview editor for each step
Each command is executed in right most preview editor
Using the cursor to navigate up and down in the script, we can step backwards or forwards through each command in the macro and see the effect.
When script authoring is complete, the user will be able to save the macro or run it in any other document

Hi @dakaraphi , how can I test this, it seems great, can we use for example the search capabilities as part of a script?

@jpsala I am planning to support search; however, I will need to write some helper functions, since invoking search through the normal vscode commands is not going to work so well.

Thanks a lot @dakaraphi , I'll be waiting :)

@jpsala just wanted to follow up to see if you had a chance to try the macros and if you have any feedback in regards to https://github.com/dakaraphi/vscode-extension-transformer/issues/13#issuecomment-378413367

Hi thanks a lot for contributing here.
But is seems it does not works for OSX.
Please see error in attachment.

Related extension here: https://marketplace.visualstudio.com/items?itemName=ryuta46.multi-command&WT.mc_id=vscodecandothat-dotcom-team

This is great work so far.  A couple of points:

I am unable to use the mouse in the quick open panel (or whatever it is called) to select which macro script to run, I can only use the arrow and enter keys to choose which script to run. [Not a big deal.]

There are a some more complex commands, see https://code.visualstudio.com/docs/extensionAPI/vscode-api-commands that could be implemented - they all take arguments though - especially the cursor move since it is more powerful, although I suppose all its actions can be replicated in a much more verbose way with the existing simple commands.  The macros/macrosRe extensions do support at least some of these complex commands.

This extension's own commands, like "dakara-transformer.sortLines" do work in the macros scripts although they do not show up in the "v" command intellisense.

Is there a way to assign an individual macro script to a keybinding?

Thanks.

@ArturoDent Thanks for the feedback.

This seems to work ok for me.  This is not something I actually control.  I'm just using vscode's provided pickers.  Not sure what the issue is in your case.
I'm still uncertain which direction I want to take macro commands.  See  https://github.com/dakaraphi/vscode-extension-transformer/issues/13#issuecomment-378413367 Future considerations
I've noticed this issue, although haven't had a chance to look into it yet.
Not currently, but I think I could provide a command that accept a parameter for script that you could configure in keybindings


es_threadpool_tasks_number is always empty

The metric es_threadpool_tasks_number is always empty on all nodes. Any idea, what has to be activated to enable this metric? It's always 0 on data, master and client nodes.
I am using Elastic: 7.9.2. with the <IP_ADDRESS> elastic prometheus exporter plugin.

It seems it shows only queued tasks in threadpool:

https://github.com/vvanholl/elasticsearch-prometheus-exporter/blob/<IP_ADDRESS>/src/main/java/org/compuscene/metrics/prometheus/PrometheusMetricsCollector.java#L621

To see currently running threads, we use query: es_threadpool_threads_number{type="active"}.


add link to scaling doc

/assign @akhil-rane
/cc @joelddiaz

/hold

/hold cancel
Hopefully build is now fixed.

/retest


Error Compiling For ESP32 C3

When compiling a Button2 sketch using an ESP32 C3 board (I tried 2 different brands, DFRobot and Adafruit), I get the following error:
c:\LIBRARY DIRECTORY\Button2\src\Button2.cpp: In member function 'byte Button2::_getState()':
c:\LIBRARY DIRECTORY\Button2\src\Button2.cpp:293:18: error: 'touchRead' was not declared in this scope
       int capa = touchRead(pin);
                  ^~~~~~~~~
c:\LIBRARY DIRECTORY\Button2\src\Button2.cpp:293:18: note: suggested alternative: 'timerRead'
       int capa = touchRead(pin);
                  ^~~~~~~~~
                  timerRead
exit status 1
Compilation error: exit status 1

One thing that sets the C3 apart from other members of the ESP32 family is the fact that it doesn't support touch.  I can't seem to figure out why it's reading this as capacitive.
Now, If I switch to an ESP32 S2 board, the exact same sketch compiles perfectly with zero changes.  So, I assume there is something wrong in the board definition or the variants pin definition for the C3 boards but for the life of me I can't find it.   I also tried to define a custom state function for all of the buttons and that didn't help.  I still got the same error when compiling.  Any advice on where to look and what might need to be changed?  I'm using the latest version of the ESP32 Core for Arduino, v2.0.5.
https://github.com/espressif/arduino-esp32/releases/tag/2.0.5
Thanks so much!!

I found a temporary workaround.  If I change line 289 of the published version of the Button2.cpp file from this:
if (!is_capacitive) {
to this:
if (!1=1) {
Then it always compiles correctly.  So, there is definitely something about the definition of those pins that is making it think those pins are capacitive.  And none of the pins on a C3 can be capacitive.

Hey @ryancasler,
yes, there is a problem with the C3s.
Back then I assumed that all ESP32s have capacitive touch.
In line 313 of Button2.cppI check for this.
Could you try this sketch and tell me if all your C3s are detected?
#if defined(ESP32)
  #pragma message "Using ESP32"
  #if defined(ARDUINO_ESP32C3_DEV)
    #pragma message "Using ESP32_C3"
  #endif
#elif defined(ESP8266)
  #pragma message "Using ESP8266"
#else
  #pragma message "Using something else"
#endif

void setup() { }
void loop()  { }

Hey @ryancasler,
I decided that I don't want to add another special case for the exclusion of the C3.
Instead, using capacitive touch is the special case.
I will move the cap. touch code out of the library and use the custom handler to provide an example.

pushed new version

Yup...new version worked perfectly.   Thanks!!!


1.8a3 release

Next pre-release. Target date: Monday 9/10.

Sept 10 or Oct 9?

Per the last comment in #396 we will have a pre-release today!

[ ] close issues
[ ] tag
[ ] make and publish wheels and sdist


Fix generate-index:prepare to use podman gid 1000

This relates to Jira ISV-2654. PR is linked to EET-3092 in RH Jira.
Summary
I've discoverd the root cause of the permission denied error when running as the intended uid (1000) in the generate-index: inspect-base-index task step.
The root cause was identified in the preceding step generate-index: prepare where the podman-inspect.json file is given group read/write permissions, effective to gid 0/root.
Typically, the restricted SCC would launch containers as part of the root group on OCP, so it was a safe assumption that group permissions would apply.
There are two issues, however:

Podman assumes it can write to the uidmap in the kernel /proc filesystem if it is run as either UID or GID 0.
Setting even just the GID to 0 will cause podman to exit due to the uidmap error, requiring the pod to run as privileged. Doing this draws a warning on OCP 4.11, and will likely not work out-of-the-box on OCP 4.12

Therefore, the best course of action was to update the group ownership of podman-inspect.json, as well as other files in the pipeline workspace volume to gid 1000 (podman).

Thanks @jsm84 . I tested these changes on my environment and the issue was resolved.
My Environment:
CRC version: 2.8.0+217b3bd
OpenShift version: 4.11.1
Podman version: 4.1.1

$ tkn version
Client version: 0.25.0
Pipeline version: v0.37.4
Triggers version: v0.20.2
Operator version: v0.60.1

$ oc version
Client Version: 4.11.1
Kustomize Version: v4.5.4
Server Version: 4.11.1
Kubernetes Version: v1.24.0+4f0dd4d

$ podman version
Version:      3.0.2-dev
API Version:  3.0.0
Go Version:   go1.15.7
Built:        Wed Apr  7 09:07:54 2021
OS/Arch:      linux/amd64

hey jsm84
I'm trying to certify a CSI driver on OpenShift, working against CRC cluster:
CRC version: 2.6.0+d606e64
OpenShift version: 4.10.22
Podman version: 4.1.0

Since this is the newest cluster version which runs OpenShift version: 4.10 and the docs say to target 4.10 at most since 4.11 is not yet supported.
I hit the same error:
tee: podman-inspect.json: Permission denied
which your changes may have fixed, but i see that they got reverted by #372
Is there any fix planned?
Is this ticket still open and being worked on?
What do you recommend I should do?

hitting the same issue here
CRC version: 2.10.1+426703d
OpenShift version: 4.11.7
Podman version: 4.2.0


v1.11 backport - Enable Google Analytics 4

Backport of https://github.com/cilium/cilium/pull/22220, to enable Google Analytics on the v1.11 branch.
docs: Enable Google Analytics for v1.11 documentation

Cc @chalin, @joestringer
We'll need a new docs-builder image. Joe, I haven't addressed the automation discussed on the recent PR for master, but at least I pushed to the cilium repository directly.

Once this PR is merged, you can update the PR labels via:
for pr in 22220; do contrib/backporting/set-labels.py $pr done 1.11; done

Ready to merge, pending TopHat's approval


Feature : Changing the background of the feedback page !!

@YadavAkhileshh , please assign me under this issue !!! I make the snowfall background and change the title bar and add icon in the titlebar !!

I would like to work on this issue. Could you please assign me this task with difficulty label


Export Private Key?

Hi,
Is there some way to export my private key which was generated in Amethyst during the first launch of the application? I've been trying to open the "Settings" button but the button seems to be broken as it doesn't do anything when it is pressed. I would assume if an "Export Private Key" button would be anywhere, it would be within the settings but I can't access them as mentioned.
Is there any way I can somehow export my private key? Many thanks in advance.

I'm wondering the same. Wanted to test some other clients but rather not make another profile. Hopefully settins is fixed soon.

The latest version has an nsec button in your profile. It's rudimentary, but it works.

The latest version has an nsec button in your profile. It's rudimentary, but it works.

Thank you for that.


DS - Review Home Icon Sizing

Description
As a user of the app, I want the icon in the tab bar to be the same size, so that it doesn't feel off-balance.
As part of this story we want to:

Review the Slack thread about the Home icon sizing
Determine how it should be addressed so it doesn't appear smaller than the other icons

Acceptance Criteria

[ ] determine if the change should be at the Design System layer or the app layer
[ ] If at the Design System layer, make the sizing changes to the Home icon
[ ] If at the app layer, make recommendations for how to update the size of the Home icon

Accessibility Requirements

[ ] AC 1
[ ] AC 2
[ ] AC 3

Notes & Open Questions

Dependencies/Roadblocks:

Any internal/external dependencies?
Test accounts needed?

Does this require QA?

Dev Notes:

Ticket Checklist

[ ] Acceptance criteria defined
[ ] Labels added (front-end, back-end, feature)
[ ] Linked to an Epic

We will start a thread with VADS about updating to the Google Material Symbols which are the newer versions.


New file icon at open editors and tab bar.

HI, Devops.
We know, we can create new untitled file using CTRL+N or by selecting manually from File menu.
But, if we just have one more button on the location mentioned below in image. I guess, it would be really helpful to many people. specially, who are not developers or starting to learn it.
I personally, myself lazy to go through menus. I just use shortcuts, but sometime, when switching tabs with mouse. I just hope that I can have this buttons to do it quickly.
Location 1:

Location 2:

Just need a + button, which will execute new file function.
Thank you.

This would be a great feature!

Hi, even though I am not a DevOp I like this idea. So we add a PLUS in the Open Editors Title area to create a New Untitled File.
Even though Open Editors is now hidden by default for new users, I think this makes sense overall and I would probably add it.
fyi @bpasero in case you do not like the idea

To verify:
Open the Open Editors view and make sure there is the "New Untitled File" action in the Title area. That it functions as expected and that it makes sense.

verified tho it is a little confusing that it is different from the "same icon" that's in the explorer