Skip to content
Build and Test Dafny Standard Libraries

fix: Ignore values not in a multiset when computing its hash in C# #2824

Sign in to view logs

fix: Ignore values not in a multiset when computing its hash in C#

fix: Ignore values not in a multiset when computing its hash in C# #2824

Triggered via pull request June 23, 2024 18:16
@fabiomadgefabiomadge
synchronize #5497
fix_4011
Status Success
Total duration 18m 55s
Artifacts –

standard-libraries.yml

on: pull_request
check-deep-tests  /  check-deep-tests
7s
check-deep-tests / check-deep-tests
build
18m 26s
build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build
A brownout will take place on June 24 2024, 3:00 AM – 9:00 PM EST to raise awareness of the upcoming macOS-11 environment removal.