Build and test Karamel based on a FStar image

Revise dependency analysis to be more precise #2044

Sign in to view logs

Triggered via pull request January 30, 2025 23:55

msprotz

opened #525

protz_dependency_analysis

Status Failure

Total duration 2m 27s

Artifacts –

linux-x64-hierarchic.yaml

on: pull_request

Annotations

1 error

This request has been automatically failed because it uses a deprecated version of `actions/upload-artifact: v3`. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/