CI

Testing, do not merge this PR #2265

Sign in to view logs

Triggered via pull request November 25, 2023 13:19

senekor

opened #1810

wip-2-do-not-merge-either

Status Success

Total duration 38s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

tests.yml

on: pull_request

Run shellcheck on scripts

Run repository tests

Check Rust Formatting

Check exercises on nightly (benchmark enabled)

Matrix: Check compilation