Skip to content

Merge ../AST-Merging-Evaluation-branch-workdir-id into no-pr-merges #2361

Merge ../AST-Merging-Evaluation-branch-workdir-id into no-pr-merges

Merge ../AST-Merging-Evaluation-branch-workdir-id into no-pr-merges #2361

Triggered via push October 31, 2023 02:12
Status Success
Total duration 31m 30s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

small-test.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in