Skip to content

Merge remote-tracking branch 'upstream/main' into scrub-backtrace-fro… #34

Merge remote-tracking branch 'upstream/main' into scrub-backtrace-fro…

Merge remote-tracking branch 'upstream/main' into scrub-backtrace-fro… #34

Triggered via push November 27, 2024 19:31
Status Success
Total duration 6m 21s
Artifacts

jane_ocaml5.yml

on: push
Check that resolved files build
6m 11s
Check that resolved files build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Check that resolved files build
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v2. Please update your workflow to use the latest version of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-09-16-notice-of-upcoming-deprecations-and-changes-in-github-actions-services/