Skip to content
Build Eurydice and run tests

Skip types of trait methods in closures on the basis that those are a… #339

Sign in to view logs

Skip types of trait methods in closures on the basis that those are a…

Skip types of trait methods in closures on the basis that those are a… #339

Triggered via pull request August 29, 2024 22:59
@msprotzmsprotz
synchronize #69
protz_closures
Status Success
Total duration 10m 34s
Artifacts –

nix.yaml

on: pull_request
check
10m 24s
check
check-charon-pin
49s
check-charon-pin
Fit to window
Zoom out
Zoom in

Annotations

1 warning
check
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/