-
Notifications
You must be signed in to change notification settings - Fork 42
71 lines (65 loc) · 2.08 KB
/
configured_test.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
#
# SPDX-License-Identifier: Apache-2.0
#
# This workflow is intended to provide an interactive way of configuring
# PDO tests. Common configuration variables can be set interactively to
# debug differences between local and github.
name: Run specific PDO tests
on:
workflow_dispatch:
inputs:
interpreter:
description: 'Interpreter'
required: true
default: 'wawaka'
type: choice
options:
- wawaka
- wawaka-opt
logLevel:
description: 'Log level'
required: true
default: 'warning'
type: choice
options:
- debug
- info
- warning
memoryConfiguration:
description: 'Interpreter memory configuration'
required: false
default: MEDIUM
type: choice
options:
- SMALL
- MEDIUM
- LARGE
jobs:
pdo_specific_tests:
name: Run specific PDO tests
runs-on: ubuntu-22.04
steps:
- name: Check out repo
uses: actions/checkout@v4
with:
submodules: recursive
fetch-depth: 0
fetch-tags: true
- name: Display branch name
run: |
echo "Building branch $GITHUB_HEAD_REF"
echo PDO VERSION is $(bin/get_version)
- name: Build and run tests
env:
PDO_INTERPRETER: ${{ inputs.interpreter }}
PDO_LOG_LEVEL: ${{ inputs.logLevel }}
PDO_MEMORY_CONFIG: ${{ inputs.memoryConfiguration }}
PDO_DEBUG_BUILD: 1
run: |
# The creation of a dummy branch is necessary for the CI tests
# to work on PRs. Based on empirical results, in the absence of
# this command, CI tests work on the main branch and on local
# branches. However, they fail as a PR is created.
git checkout -b ci-test-branch
. build/common-config.sh
make -C docker test