Skip to content
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.

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

Add prefix to title of webpage #1123 #1142

Merged
merged 5 commits into from Mar 30, 2023

Conversation

joshuadkitenge
Copy link
Contributor

Description of Work

Fixes #1123

Testing Instructions

Function: Does the change do what it's supposed to?

Tests: Does it pass? Is there adequate coverage for new code?

Style: Is the coding style consistent? Is anything overly confusing?

Documentation: Is there a suitable change to documentation for this change?

@github-actions
Copy link

github-actions bot commented Mar 15, 2023

Unit & System Test Results

    4 files      4 suites   12m 47s ⏱️
403 tests 395 ✔️   8 💤 0
774 runs  721 ✔️ 53 💤 0

Results for commit 8f8eb14.

♻️ This comment has been updated with latest results.

@joshuadkitenge joshuadkitenge marked this pull request as ready for review March 15, 2023 17:23
fitbenchmarking/cli/main.py Outdated Show resolved Hide resolved
joshuadkitenge and others added 2 commits March 21, 2023 19:37
Co-authored-by: Andrew Lister <48282025+AndrewLister-STFC@users.noreply.github.com>
@AndrewLister-STFC AndrewLister-STFC merged commit 5ac5216 into master Mar 30, 2023
9 of 10 checks passed
@AndrewLister-STFC AndrewLister-STFC deleted the enhancement/1123-prefix-title-of-webpage branch March 30, 2023 12:27
RabiyaF pushed a commit to RabiyaF/fitbenchmarking that referenced this pull request Mar 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Title of webpage should be changed
2 participants