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

Update all dependencies (major) #63

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Jun 5, 2023

Mend Renovate

This PR contains the following updates:

Package Type Update Change Age Adoption Passing Confidence
actions/checkout action major v3 -> v4 age adoption passing confidence
actions/setup-java action major v3 -> v4 age adoption passing confidence
actions/upload-artifact action major v3 -> v4 age adoption passing confidence
font-awesome (source) major 4.7.0 -> 6.5.2 age adoption passing confidence
gradle/gradle-build-action action major v2 -> v3 age adoption passing confidence
macos github-runner major 11 -> 14 age adoption passing confidence
stefanzweifel/git-auto-commit-action action major v4 -> v5 age adoption passing confidence
org.sosy-lab:java-smt dependencies major 3.14.3 -> 4.1.1 age adoption passing confidence

Release Notes

actions/checkout (actions/checkout)

v4

Compare Source

actions/setup-java (actions/setup-java)

v4

Compare Source

actions/upload-artifact (actions/upload-artifact)

v4

Compare Source

FortAwesome/Font-Awesome (font-awesome)

v6.5.2

Compare Source

v6.5.1

Compare Source

Change log available at https://fontawesome.com/docs/changelog/

v6.5.0

Compare Source

Change log available at https://fontawesome.com/docs/changelog/

v6.4.2

Compare Source

Change log available at https://fontawesome.com/docs/changelog/

v6.4.0

Compare Source

Change log available at https://fontawesome.com/docs/changelog/

v6.3.0

Compare Source

Change log available at https://fontawesome.com/docs/changelog/

v6.2.1

Compare Source

Change log available at https://fontawesome.com/docs/changelog/

v6.2.0

Compare Source

Change log available at https://fontawesome.com/docs/changelog/

v6.1.2

Compare Source

Change log available at https://fontawesome.com/docs/changelog/

v6.1.1

Compare Source

Change log available at https://fontawesome.com/docs/changelog/

v6.1.0

Compare Source

Change log available at https://fontawesome.com/docs/changelog/

v6.0.0

Compare Source

Change log available at https://fontawesome.com/docs/changelog/

v5.15.4

Compare Source

Changed
  • Removed the tripadvisor brand icon by request of Tripadvisor
  • Update bug, bullseye, drone, icons #​17800 #​17106 #​17730
  • Update bootstrap, discord, figma, and font-awesome-* brand icons #​17436
Fixed

v5.15.3

Compare Source

Changed
  • Updated air-freshener's design due to trademark violation notice

v5.15.2

Compare Source

Changed
  • Support release to improve Font Awesome Kits performance

v5.15.1

Compare Source

Changed
  • Update to the ravelry brand icon
Fixed
  • Removed fill attribute from the vest and vest-patches icon
  • Moved attribution comment to correct location for sprites
  • Fixed duotone icons not rendering in Kits

v5.15.0

Compare Source

Minor version upgrade notice: there are some backward-incompatible changes to this release. See the
UPGRADING.md guide for more
information.

Added
  • Added guilded, hive, innosoft, instalod, ns8, octopus-deploy, perbyte,
    uncharted, watchman-monitoring, wodu sponsored brand icons
  • Added commissioned vest and vest-patch icon
  • Added cloudflare brand icon
Changed
  • Removed the adobe icon at the request of Adobe
  • Update rocketchat brand icon
Fixed
  • Conflict detection now includes Kits when checking for conflicts

v5.14.0

Compare Source

Minor version upgrade notice: there are some backward-incompatible changes to this release. See the
UPGRADING.md guide for more
information.

Fixed
  • Corrected rendering issue with the tripadvisor brand icon in Windows 10 #​16817
  • Corrected unicode values that were outside the Unicode Private Use Area (PUA) #​16804

v5.13.1

Compare Source

Added
  • New brand icons deezer, edge-legacy, google-pay, rust, tiktok, and unsplash
  • Icons sink, users-slash, bacteria, and bacterium added to Font Awesome Free
Changed
  • Updated brand icons bandcamp, google-plus, tripadvisor, and yahoo
Fixed
  • Icon hand-holding-water missing 5.13.0 in its versions

v5.13.0

Compare Source

Added
  • New icons related to COVID-19
  • Added the ability to specify mask ID and title ID for SVG with JS which allows
    snapshot testing tools to get a predictable result when executing tests
Changed
  • Explicitly set font-display to block which supresses warnings of font-display
    in tools like Lighthouse
Fixed
  • Corrected version 4 font face shim src attribute declaration that was warning
    of incorrect font file format
  • Fixed font family name to be 'Font Awesome 5 Free' for free kits when using
    pseudo-elements

v5.12.1

Compare Source

Added
Changed
  • Do not separate web fonts files for Free Kits
  • The .fab CSS class now has explicit weight of 400 instead of inheriting 'normal'
  • Balance the plus symbol in file-plus and folder-plus #​16004
  • Removed cross from coffin (new coffin-cross still available) #​15646
  • Updated edge brand icon #​15771
  • Updated clock hands #​15779
Fixed
  • Guard against run-away pseudo element searching with String.codePointAt ponyfill
  • Silence errors when using the conflict detector

v5.12.0

Compare Source

Added
Changed
  • Updated twitch, safari, pied-piper, and android brand icon
  • Renaming haykal icon to bahai
  • Added "sideEffects: false" to JS icon packages to aid with tree-shaking
Fixed
  • Improved eye position on the dog icon
  • Updated solid style of the shape icon
  • Adding missing versions for balance-scale-left and balance-scale-right icons
  • Corrected missing cut-outs for envelope-open-dollar and envelope-open-text
    which made swap opacity incorrect
  • Fixing icon mismatch for contract and expand icons in the version 4 shim
  • TypeScript definition includes optional params for layer() API call
  • Symbols can now be inserted using Windows Character Map, Word, and PowerPoint
    #​14614
  • Correcting the LICENSE.txt for @​fortawesome/fontawesome-svg-core and
    @​fortawesome/fontawesome-common-types

v5.11.2

Compare Source

Changed
  • Updated laravel brand icon
Fixed
  • New scanner-image icon was using the same unicode value as scanner causing overlapped icons
  • The film-canister icon was incorrectly spelled film-cannister

v5.11.1

Compare Source

Fixed
  • Duotone icons updated in 5.11.0 had incorrect attribute order which caused
    them to fail to load for all kits

v5.11.0

Compare Source

Added
  • New tech, music, and western-themed icons
  • Added umbraco, swift, orcid, mdb (and one more surprise) brand icons
Fixed
  • SVG with JavaScript no longer duplicates the id attribute when in nesting mode
  • Corrected inconsistencies with the send-back and send-backward icons
  • Corrected inconsistencies with duotone icon viewBox widths that did not match
    the solid style

v5.10.2

Compare Source

Added
  • SVG with JS API function layers() now accepts params to add additional classes
Changed
  • Lots of updates to various duotone icons
  • Updated the keybase brand icon
Fixed

v5.10.1

Compare Source

Added
  • README file in the otfs/ directory to help direct folks to documentation for the new Duotone OTF file
Changed
  • A lot of visual improvements and consistency fixes to many of the new Duotone icons
  • The fa-swap-opacity class now works with parent containers where Duotone icons as children
Fixed
  • Duotone SCSS files were not being correctly compiled with the Dart-Sass tool
  • Font Awesome logo was not appearing in desktop application in font pickers

v5.10.0

Compare Source

Added
  • Duotone icons style added with over 1,600 new icons
  • New conflict detection script to help identify conflicting versions of Font Awesome (js/conflict-detection.js)
  • Icons border-center-v and border-center-h
  • New brand icon for cotton-bureau
Changed
  • Updated version 4 shim to more accurately match sort-alpha-desc, sort-amount-desc, sort-numeric-desc
Fixed
  • Icon sort-amount-down-alt incorrectly matching sort-amount-down
  • Icon border-outer icon missing inner grid shapes

v5.9.0

Compare Source

Minor version upgrade notice: there are some backward-incompatible changes to this release. See the
UPGRADING.md guide for more
information.

Added
  • An assortment of voted icons, updated icons, and new icons
  • New icons and updates to the text editor category
  • A flipped version of the phone and phone-alt icon
Changed
Fixed
  • Proportions corrected on facebook-messenger brand icon

v5.8.2

Compare Source

Added
  • New brand icon stackpath
Changed
  • Updated redhat, mailchimp brand icons
  • Updated Facebook brand icons in accordance with http://facebookbrand.com (facebook, facebook-f, facebook-square)
  • Updated Git brand icons (git, git-square, git-alt)
  • Removing the "at" character to prevent overlap with the at icon
Fixed
  • Missing version for the route icon #​13804
  • Corrected the orientation of radiation and radiation-alt icons
  • Alignment fixed for check-double
  • Moved the notch into the correct location for sim-card
  • Allow the role attribute to be specified #​14791
  • Prevent IE11 CSS selector error from crashing SVG with JS execution

v5.8.1

Compare Source

Fixed
  • Correct the baseline alignment of the linkedin-in brand icon

v5.8.0

Compare Source

Minor version upgrade notice: there are some backward-incompatible changes to this release. See the
UPGRADING.md guide for more
information.

Added
  • New sponsored icon wave-square
  • Adding new mutateApproach configuration which can force SVG with JS to render synchronously
  • Adding a round of top requested brand icons
Changed
  • Updating search terms and adding new categories
  • Removing descender-based CSS from the .fa-icon Sass mixin
  • Removed title elements from SVG sprites
Fixed
  • Fixing several icons such as spinner-third that had incorrect widths
  • Allow Sass setting for font-display to be changed
  • Missing dots in the flower icons
  • Support strict math compatibility for Less
  • Support fa-flip-both in the SVG with JS version

v5.7.2

Compare Source

Fixed
  • Vertical alignment issues using OTF and TTF files in desktop applications that differ from previous
    Font Awesome versions (< 5.7.0)

v5.7.1

Compare Source

Fixed
  • The @​fortawesome/fontawesome-pro package had a corrupted SVG webfont file for the solid style
  • IE11 error reporting Promise as undefined or finally() not a function
  • The cheese has been moved under the patty for cheeseburger

v5.7.0

Compare Source

Added
  • New Food category
  • More Medical icons
  • More icons from the leaderboard
  • Added tasks-alt
  • New CSS class fa-flip-both that applies fa-flip-horizontal and fa-flip-vertical together
  • CSS now defaults to font-display: auto
  • Sass and Less files contain a variable that can be changed to alter the font-display value
Changed
  • Updated slack brand icon
  • Reverted calendar-alt to previous design before 5.6.0
Fixed
  • Safari fails to process pseudo elements if the font-weight is "normal"
  • Renamed internal method to keep from confusing rJS #​14461
  • Corrected font weights in TTF files #​13320
  • XCode now correctly displays different styles when using TTF files
  • Support for Turbolinks without modifying the dom.watch() call #​12709
  • Add focusable=false for SVG elements to prevent IE11 double-focus bug #​13155

v5.6.3

Changed
  • Revising fire icon and adding alternative fire icon
  • Updating fedora brand icon

v5.6.1

Compare Source

Fixed

v5.6.0

Compare Source

Minor version upgrade notice: there are some backward-incompatible changes to this release. See the
UPGRADING.md guide for more
information.

Added
  • Holiday category
  • Winter category
  • A nice selection of the top requested icons from the Font Awesome Leaderboard
  • Sponsored icon horse-head
  • Brand icons adobe, artstation, atlassian, centos, confluence, dhl, diaspora,
    fedex, fedora, figma, intercom, invision, jira, mendeley, raspberry-pi,
    redhat, sketch, sourcetree, suse, ubuntu, ups, usps, and yarn
  • The Canadian Maple Leaf (Aboot time, eh. You hosers.)
Changed
  • Added more icons to Buildings, Hands, Spinners, Users & People, and Vehicles categories
  • Added indicators whether an icon was added to Font Awesome through community voting
Fixed
  • Missing metadata for holly-berry

v5.5.0

Compare Source

Added
  • Politics category
  • Weather category (volume 1 and 2)
  • Brand icon reacteurope
  • Sponsorship of briefcase by WorkRails
Fixed
  • Alignment centered for larger icons when using the CSS stacks feature

v5.4.2

Compare Source

Added
  • Brand icon think-peaks
Changed
  • Updated rocketchat brand icon
  • Adding vr-cardboard and d-and-d-beyond to Free version
  • Replacing rendact with wpressr brand icon
  • Changing the version 4 shim for commenting icon to solid style to better match version 4
Fixed
  • Path issues with tombstone-alt icon in Regular and Light styles

v5.4.1

Compare Source

Fixed
  • Separate wand and wand-magic into unique icons
  • Corrected the alignment of linkedin-in
  • Renamed categories "Holiday" to "Halloween" and "Seasonal" to "Autumn"

v5.4.0

Compare Source

Added
  • New Tabletop Gaming, Holiday, Seasonal category
  • 7 tabletop gaming brands (acquisitions-incorporated, critical-role, d-and-d, d-and-d-beyond, fantasy-flight-games, penny-arcade, wizards-of-the-coast)
  • 25 new animals (and all of them are real you Disbelievers)
  • Sponsorship of volume-mute by Pulse-Eight
  • creative-commons-zero added to Free version
  • DEV brand icon
  • Search terms "positive" and "negative" added to applicable icons
  • Sponsorship of chess-knight by Inspira bvba
  • Sponsorship of blender-phone by Joe Emison
  • Icons chair, chair-office, file-csv, hammer, head-side, head-vr, house-damage, hryvnia, network-wired, running, slash, user-injured, and vr-cardboard
Changed
  • Using masks with SVG and JavaScript now use nanoid generated IDs instead of a simple counter
  • Updated speakap brand icon
  • Revised menorah icon and added hanukiah
Fixed

v5.3.1

Compare Source

Changed
  • Updating icons in the Status category
Fixed
  • sponsors.yml listed icon prayer instead of pray
  • Removed Pro icons that accidentally made it into Free

v5.3.0

Compare Source

Added
  • New Religion, and Marketing category
  • New icons in the Mathematics, and Business category
  • New stats for signal, volume, and wifi icons
  • New brand icon for the-red-yeti and alipay
Changed
  • Adding ethereum to Currency category
  • Adding bitcoin and btc to Payments & Shopping
Fixed
  • Incorrect name for layer-minus and layer-plus in sponsors.yml
  • Reversing route-highway and route-interstate
  • Correct version identifier in OTF and web font files
  • CSS keyframe names are not minified (and renamed) to prevent conflict with user or app specific names
  • Sass placeholder selector added for %fa-icon to fix CSS precendence issue with font-weight

v5.2.0

Compare Source

Added
  • New education and automotive categories
  • More icons in the medical and maps categories
  • Top requested brands ello, hackerrank, kaggle, markdown, neos, and zhihu

v5.1.1

Compare Source

Added
  • Additional search terms for various icons #​13429
Changed
  • Marked the font-awesome-logo-full as a "private" icon
  • Consistently named and minified CSS and JS files in the CDN, npm packages, and zip files
Fixed
  • Removed "fa-" prefix from Less and Sass style bundles filenames
  • Unable to use brand icons with pseudo-elements and SVG with JS
  • Adding icons explicitly using the library were not available when using pseudo-elements and SVG with JS
  • smile-plus search terms in icons.yml incorrectly formatted
  • kiss and grin-wink icons having incorrect weight / style #​13361 #​13363
  • Missing underscore in filenames in the less/v4-shims.less #​13415
  • Light style for code-commit
  • Including rev brand icon in the Font Awesome Free version

v5.1.0

Compare Source

Added
  • New Emoji, Design, and Travel category pack
  • Another group of requested and commissioned icons
  • Version 4 shim for Web Fonts with CSS
  • New simplified download and NPM packages
  • @​fortawesome/fontawesome-free and @​fortawesome/fontawesome-pro NPM packages that match what's available in the CDN and .ZIP files
  • Brand icons rev, nimblr, megaport, mailchimp, hornbill, wix, weebly, themeco, squarespace, aws, shopware
  • API method toHtml() for converting abstract objects to HTML
  • API method counter() to generate Layers Counters
  • API method watch() to configure MutationObserver and watch DOM for icon changes and additions
Changed
  • Relocating sponsor data to a separate sponsors.yml
  • Updated teamspeak brand icon
  • No more default exports in the CommonJS/ES packages (anything installed from NPM)
  • Greatly improved performance and rendering of CSS pseudo-elements with SVG and JavaScript
  • Configuration of SVG with JavaScript can now be done with attributes on the script tag
  • SVG with JavaScript pseudo-elements now match syntax (font-family, font-weight) of Web Fonts with CSS
Fixed
  • Tree shaking of all NPM packages by default
  • Alignment of the book-open and dice-six icon
  • Correcting creative-commons
  • Incorrect license on the fontawesome-common-types package
  • Improve ligatures that share a base name with another ligature
  • Correcting solid style of the digital-tachograph icon
  • Prevent duplicating classes in some scenarios with SVG with JavaScript
  • Duplicate insertion of CSS when insertCss() method was called
  • Missing TypeScript definitions for the free-brands-svg-icons package
gradle/gradle-build-action (gradle/gradle-build-action)

v3

Compare Source

stefanzweifel/git-auto-commit-action (stefanzweifel/git-auto-commit-action)

v5

Compare Source

Fixed
  • Fail if attempting to execute git commands in a directory that is not a git-repo. (#​326) @​ccomendant
Dependency Updates
Misc
sosy-lab/java-smt (org.sosy-lab:java-smt)

v4.1.1

Compare Source

This patch release brings small fixes for Z3 and MathSAT.

v4.1.0

Compare Source

This release brings support for the SMT solver OpenSMT (version 2.5.2).

v4.0.3

Compare Source

This release contains updates for several dependencies.

v4.0.2

Compare Source

This patch release improves documentation and updates the dependency for our Yices2 component.
We skip version 4.0.1 which was internally used for releasing the Yices2 component.

v4.0.0

Compare Source

This major release comes with several updated solvers and dependencies,
a new (potentially faster) evaluator for models,
and support for the theory of enumerations (domains of fixed size).

Breaking changes:
  • The push-method in ProverEnvironments can throw InterruptedExceptions.
  • Model evalation supports enumeration theory.
  • Direct construction ArrayFormulaType was replaced with a static building method.
Updated solvers:
  • MathSAT 5.6.10
  • Z3 4.12.2
  • CVC5 1.0.5

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

👻 Immortal: This PR will be recreated if closed unmerged. Get config help if that's undesired.


  • If you want to rebase/retry this PR, check this box

This PR has been generated by Mend Renovate. View repository job log here.

@renovate renovate bot changed the title Update dependency org.sosy-lab:java-smt to v4 Update all dependencies (major) Aug 9, 2023
@renovate renovate bot force-pushed the renovate/major-all branch 2 times, most recently from ccf7461 to 52786d9 Compare January 26, 2024 20:28
| datasource     | package                              | from   | to    |
| -------------- | ------------------------------------ | ------ | ----- |
| github-tags    | actions/checkout                     | v3     | v4    |
| github-tags    | actions/setup-java                   | v3     | v4    |
| github-tags    | actions/upload-artifact              | v3     | v4    |
| cdnjs          | font-awesome/css/font-awesome.css    | 4.7.0  | 6.5.2 |
| github-tags    | gradle/gradle-build-action           | v2     | v3    |
| github-runners | macos                                | 11     | 14    |
| github-tags    | stefanzweifel/git-auto-commit-action | v4     | v5    |
| maven          | org.sosy-lab:java-smt                | 3.14.3 | 4.1.1 |
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.

None yet

0 participants