Make sure version number gets updated without having to run dune clean · rems-project/sail@35bfd4f

Triggered via push January 8, 2025 20:30

Alasdair

manifest_fix

Status Success

Total duration 23m 1s

Artifacts 3

coverage.yml

on: push

Matrix: build

1 warning and 2 notices

The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "code-coverage", "event.json", "test-results". Please update your workflow to use v4 of the artifact actions. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/

There are 741 tests, see "Raw output" for the full list of tests.

There are 741 tests, see "Raw output" for the full list of tests.

Produced during runtime