Skip to content

WIP: Add CI capabilities with integration testing #332

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 23 commits into
base: master
Choose a base branch
from
Open

WIP: Add CI capabilities with integration testing #332

wants to merge 23 commits into from

Conversation

gltrost
Copy link
Contributor

@gltrost gltrost commented Jul 13, 2021

The following branch

  1. Adds the CI folder .gitlab-ci.yml for handling continuous integration between gitlab, slack and cbat.
  2. Adds the directory bin for handling integration tests with respect to CI.

gltrost and others added 23 commits July 1, 2021 13:05
@gltrost
Change format from Arch to Target when creating registers in test_wp_…
eb758cf 
…integration.ml
@gltrost
Add bin folder with bash files for running integration tests with sla…
f33f26c 
…ck apps and gitlab
@gltrost
Delete unneeded file copies in bin
bcf3fae
@gltrost
Add line in .gitlab-ci.yml to run integration tests
4233c3b
@gltrost
Fix report_to_slack bug by adding post_to_slack subcall
2fa6cb3
@gltrost
Change utils testing timeout length from 20.0 to 30.0 seconds
7e04003
@gltrost
Edit small typos in post_to_slack in slack.bash
0d76e09
@gltrost
Add debugging information and functions for reading payload info
c4b01e8
@gltrost
Add curl update command to .gitlab-ci.yml
02aab63
@gltrost
Add --http1.1 to curl command in common-lib/slack.bash
1e8e21a
@gltrost
Fix --http1.1 newline error in common-lib/slack.bash
bb26e3f
@gltrost
Add function descriptions to common-lib/slack.bash
dd1867b
@gltrost
Change print_payload functionality, up timeout for tests from 30.0 to…
24ce81e 
… 40. seconds, and fix comments in bin/bash commands
@gltrost
Add handling for git-branches, fix print_payload in slack.sh and prin…
68cf4a4 
…ting verbose information only when errors occur in tests
@gltrost
Change directory to wp to properly call test.plugin.integration in ru…
279ba38 
…n-tests.bash
@gltrost
Add setup for boolector in bin/setup and add unit-test folder for uni…
dc3a757 
…t tests
@gltrost
Fix unit messages in unit-tests/run-tests.bash
e65a191
@gltrost
Add stage names to jobs in .gitlab-ci.yml
bf52de6
@gltrost
Add bin/common-lib/env.bash to handle boolector installation
52ed22d
@gltrost
Add APT dependencies to .gitlab-ci.yml to allow for cmake installation
6bc1ab6
@gltrost
Fix double-bracket error in slack.bash
e0b7e9f
@gltrost
Add spaces to line 52 bracks in slack.bash
097e453
@jtpaasch
Specify -C for make in intergration test job
86e3b35
@jtpaasch jtpaasch self-requested a review November 15, 2021 15:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jtpaasch jtpaasch Awaiting requested review from jtpaasch

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@gltrost @jtpaasch