Skip to content

Avoided self loop in case there is already an self edge to begin with #395

Avoided self loop in case there is already an self edge to begin with

Avoided self loop in case there is already an self edge to begin with #395

Triggered via pull request January 15, 2024 12:26
Status Success
Total duration 7m 11s
Artifacts 5

build.yaml

on: pull_request
Matrix: test
checker-framework
3m 7s
checker-framework
Event File (for test results)
3s
Event File (for test results)
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Event File Expired
3.36 KB
Unit Test Results (macos-latest) Expired
884 KB
Unit Test Results (ubuntu-latest) Expired
856 KB
Unit Test Results (windows-latest) Expired
830 KB
vallang-238-c46b293ae3d06e67ab06acf7b5696af1e27d3684 Expired
1000 KB