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.

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

bc: pod update #868

Merged
merged 2 commits into from
Dec 9, 2024
Merged

bc: pod update #868

merged 2 commits into from
Dec 9, 2024

Conversation

mknos
Copy link
Contributor

@mknos mknos commented Dec 9, 2024

  • De-duplicate: Mathlib functions are already documented under REFERENCES so the pod comment can be removed
  • De-duplicate: Command options are already documented under DESCRIPTION
  • Typos: "assignent", "assigment", "generats"

@mknos
bc: pod update
90a4579 
* De-duplicate: Mathlib functions are already documented under REFERENCES so the pod comment can be removed
* De-duplicate: Command options are already documented under DESCRIPTION
* Typos: "assignent", "assigment", "generats"
@github-actions github-actions bot added Type: enhancement improve a feature that already exists Priority: low get to this whenever Program: bc The bc program labels Dec 9, 2024
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:04 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:04 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:04 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:04 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:04 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:04 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:04 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:04 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:04 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:04 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:04 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:04 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:04 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:04 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:04 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:04 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:04 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:05 — with GitHub Actions Inactive
@coveralls
Copy link

coveralls commented Dec 9, 2024 •
edited
Loading

Pull Request Test Coverage Report for Build 12227606553

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 72.464%
Totals Coverage Status
Change from base Build 12203109856: 0.0%
Covered Lines: 350
Relevant Lines: 483
💛 - Coveralls

@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@mknos mknos temporarily deployed to automated_testing December 9, 2024 02:09 — with GitHub Actions Inactive
@briandfoy briandfoy added Type: documentation fix the docs and removed Type: enhancement improve a feature that already exists labels Dec 9, 2024
@briandfoy briandfoy self-assigned this Dec 9, 2024
@briandfoy briandfoy added the Type: typo spelling, grammar, and other typing mistakes label Dec 9, 2024
@briandfoy briandfoy merged commit 33d0d5f into briandfoy:master Dec 9, 2024
22 checks passed
@briandfoy
Copy link
Owner

changes: simplify docs and correct some typos

@briandfoy briandfoy added Status: accepted The fix is accepted Status: released there is a new release with this fix and removed Priority: low get to this whenever Status: accepted The fix is accepted labels Dec 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@briandfoy briandfoy briandfoy approved these changes

Assignees

@briandfoy briandfoy

Labels
Program: bc The bc program Status: released there is a new release with this fix Type: documentation fix the docs Type: typo spelling, grammar, and other typing mistakes
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@mknos @coveralls @briandfoy