Skip to content
Build Eurydice and run tests

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

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… #337

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

nix.yaml

on: pull_request
check
9m 41s
check
check-charon-pin
43s
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/