Skip to content

Merge pull request #48 from 4ever2/coq-8.20 #9

Merge pull request #48 from 4ever2/coq-8.20

Merge pull request #48 from 4ever2/coq-8.20 #9

Triggered via push November 27, 2024 13:23
Status Success
Total duration 8m 46s
Artifacts

opam-build.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 warning
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/