Skip to content
This repository has been archived by the owner on Nov 29, 2023. It is now read-only.

Actions: Safe-DS/API-Editor

Actions

Pull Request

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
174 workflow runs
174 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build(deps): Bump org.jetbrains.kotlinx.kover from 0.6.1 to 0.7.5 in /api-editor Pull Request #4755: Pull request #1466 synchronize by lars-reimann
November 29, 2023 17:45 2m 55s dependabot/gradle/api-editor/org.jetbrains.kotlinx.kover-0.7.5
dependabot/gradle/api-editor/org.jetbrains.kotlinx.kover-0.7.5
November 29, 2023 17:45 2m 55s
build(deps): Bump org.jetbrains.kotlinx.kover from 0.6.1 to 0.7.5 in /api-editor Pull Request #4754: Pull request #1466 synchronize by lars-reimann
November 29, 2023 17:41 1m 12s dependabot/gradle/api-editor/org.jetbrains.kotlinx.kover-0.7.5
dependabot/gradle/api-editor/org.jetbrains.kotlinx.kover-0.7.5
November 29, 2023 17:41 1m 12s
build(deps): Bump react-markdown from 8.0.7 to 9.0.1 in /api-editor/gui Pull Request #4753: Pull request #1467 synchronize by dependabot bot
November 29, 2023 17:23 2m 44s dependabot/npm_and_yarn/api-editor/gui/react-markdown-9.0.1
dependabot/npm_and_yarn/api-editor/gui/react-markdown-9.0.1
November 29, 2023 17:23 2m 44s
build(deps): Bump react-hook-form from 7.47.0 to 7.48.2 in /api-editor/gui Pull Request #4752: Pull request #1497 synchronize by dependabot bot
November 29, 2023 17:12 2m 40s dependabot/npm_and_yarn/api-editor/gui/react-hook-form-7.48.2
dependabot/npm_and_yarn/api-editor/gui/react-hook-form-7.48.2
November 29, 2023 17:12 2m 40s
build(deps): Bump react-markdown from 8.0.7 to 9.0.1 in /api-editor/gui Pull Request #4751: Pull request #1467 synchronize by dependabot bot
November 29, 2023 17:12 2m 45s dependabot/npm_and_yarn/api-editor/gui/react-markdown-9.0.1
dependabot/npm_and_yarn/api-editor/gui/react-markdown-9.0.1
November 29, 2023 17:12 2m 45s
build(deps): Bump react-icons from 4.10.1 to 4.12.0 in /api-editor/gui Pull Request #4750: Pull request #1498 opened by dependabot bot
November 29, 2023 17:06 2m 46s dependabot/npm_and_yarn/api-editor/gui/react-icons-4.12.0
dependabot/npm_and_yarn/api-editor/gui/react-icons-4.12.0
November 29, 2023 17:06 2m 46s
build(deps): Bump react-hook-form from 7.47.0 to 7.48.2 in /api-editor/gui Pull Request #4749: Pull request #1497 opened by dependabot bot
November 29, 2023 17:06 2m 47s dependabot/npm_and_yarn/api-editor/gui/react-hook-form-7.48.2
dependabot/npm_and_yarn/api-editor/gui/react-hook-form-7.48.2
November 29, 2023 17:06 2m 47s
build(deps-dev): Bump @types/react-dom from 18.2.7 to 18.2.17 in /api-editor/gui Pull Request #4748: Pull request #1496 opened by dependabot bot
November 29, 2023 17:05 2m 47s dependabot/npm_and_yarn/api-editor/gui/types/react-dom-18.2.17
dependabot/npm_and_yarn/api-editor/gui/types/react-dom-18.2.17
November 29, 2023 17:05 2m 47s
build(deps): Bump rehype-katex from 6.0.3 to 7.0.0 in /api-editor/gui Pull Request #4747: Pull request #1436 synchronize by dependabot bot
November 29, 2023 17:02 2m 50s dependabot/npm_and_yarn/api-editor/gui/rehype-katex-7.0.0
dependabot/npm_and_yarn/api-editor/gui/rehype-katex-7.0.0
November 29, 2023 17:02 2m 50s
build(deps): Bump react-markdown from 8.0.7 to 9.0.1 in /api-editor/gui Pull Request #4746: Pull request #1467 synchronize by dependabot bot
November 29, 2023 17:00 2m 40s dependabot/npm_and_yarn/api-editor/gui/react-markdown-9.0.1
dependabot/npm_and_yarn/api-editor/gui/react-markdown-9.0.1
November 29, 2023 17:00 2m 40s
build(deps): Bump react-markdown from 8.0.7 to 9.0.1 in /api-editor/gui Pull Request #4745: Pull request #1467 synchronize by dependabot bot
November 29, 2023 16:52 2m 46s dependabot/npm_and_yarn/api-editor/gui/react-markdown-9.0.1
dependabot/npm_and_yarn/api-editor/gui/react-markdown-9.0.1
November 29, 2023 16:52 2m 46s
build(deps-dev): Bump @types/node-fetch from 2.6.4 to 2.6.9 in /api-editor/gui Pull Request #4744: Pull request #1495 synchronize by dependabot bot
November 29, 2023 16:52 2m 52s dependabot/npm_and_yarn/api-editor/gui/types/node-fetch-2.6.9
dependabot/npm_and_yarn/api-editor/gui/types/node-fetch-2.6.9
November 29, 2023 16:52 2m 52s
build(deps): Bump @emotion/react from 11.10.8 to 11.11.1 in /api-editor/gui Pull Request #4743: Pull request #1494 synchronize by dependabot bot
November 29, 2023 16:52 2m 40s dependabot/npm_and_yarn/api-editor/gui/emotion/react-11.11.1
dependabot/npm_and_yarn/api-editor/gui/emotion/react-11.11.1
November 29, 2023 16:52 2m 40s
build(deps-dev): Bump @types/node-fetch from 2.6.4 to 2.6.9 in /api-editor/gui Pull Request #4742: Pull request #1495 opened by dependabot bot
November 29, 2023 16:45 2m 47s dependabot/npm_and_yarn/api-editor/gui/types/node-fetch-2.6.9
dependabot/npm_and_yarn/api-editor/gui/types/node-fetch-2.6.9
November 29, 2023 16:45 2m 47s
build(deps): Bump @emotion/react from 11.10.8 to 11.11.1 in /api-editor/gui Pull Request #4741: Pull request #1494 opened by dependabot bot
November 29, 2023 16:45 2m 46s dependabot/npm_and_yarn/api-editor/gui/emotion/react-11.11.1
dependabot/npm_and_yarn/api-editor/gui/emotion/react-11.11.1
November 29, 2023 16:45 2m 46s
build(deps): Bump react-markdown from 8.0.7 to 9.0.1 in /api-editor/gui Pull Request #4740: Pull request #1467 synchronize by dependabot bot
November 29, 2023 16:45 2m 46s dependabot/npm_and_yarn/api-editor/gui/react-markdown-9.0.1
dependabot/npm_and_yarn/api-editor/gui/react-markdown-9.0.1
November 29, 2023 16:45 2m 46s
build(deps): Bump react-redux from 8.1.1 to 8.1.3 in /api-editor/gui Pull Request #4739: Pull request #1493 opened by dependabot bot
November 29, 2023 16:45 2m 52s dependabot/npm_and_yarn/api-editor/gui/react-redux-8.1.3
dependabot/npm_and_yarn/api-editor/gui/react-redux-8.1.3
November 29, 2023 16:45 2m 52s
build(deps): Bump react-markdown from 8.0.7 to 9.0.1 in /api-editor/gui Pull Request #4738: Pull request #1467 synchronize by dependabot bot
November 29, 2023 16:36 2m 48s dependabot/npm_and_yarn/api-editor/gui/react-markdown-9.0.1
dependabot/npm_and_yarn/api-editor/gui/react-markdown-9.0.1
November 29, 2023 16:36 2m 48s
build(deps): Bump remark-gfm from 3.0.1 to 4.0.0 in /api-editor/gui Pull Request #4737: Pull request #1487 synchronize by dependabot bot
November 29, 2023 16:36 2m 41s dependabot/npm_and_yarn/api-editor/gui/remark-gfm-4.0.0
dependabot/npm_and_yarn/api-editor/gui/remark-gfm-4.0.0
November 29, 2023 16:36 2m 41s
build(deps): Bump react-markdown from 8.0.7 to 9.0.1 in /api-editor/gui Pull Request #4736: Pull request #1467 synchronize by dependabot bot
November 29, 2023 16:35 46s dependabot/npm_and_yarn/api-editor/gui/react-markdown-9.0.1
dependabot/npm_and_yarn/api-editor/gui/react-markdown-9.0.1
November 29, 2023 16:35 46s
build(deps): Bump react-markdown from 8.0.7 to 9.0.1 in /api-editor/gui Pull Request #4735: Pull request #1467 synchronize by dependabot bot
November 29, 2023 16:35 45s dependabot/npm_and_yarn/api-editor/gui/react-markdown-9.0.1
dependabot/npm_and_yarn/api-editor/gui/react-markdown-9.0.1
November 29, 2023 16:35 45s
build(deps): Bump remark-math from 5.1.1 to 6.0.0 in /api-editor/gui Pull Request #4734: Pull request #1492 opened by dependabot bot
November 29, 2023 16:29 2m 43s dependabot/npm_and_yarn/api-editor/gui/remark-math-6.0.0
dependabot/npm_and_yarn/api-editor/gui/remark-math-6.0.0
November 29, 2023 16:29 2m 43s
build(deps-dev): Bump @types/uuid from 9.0.2 to 9.0.7 in /api-editor/gui Pull Request #4733: Pull request #1491 opened by dependabot bot
November 29, 2023 16:29 2m 42s dependabot/npm_and_yarn/api-editor/gui/types/uuid-9.0.7
dependabot/npm_and_yarn/api-editor/gui/types/uuid-9.0.7
November 29, 2023 16:29 2m 42s
build(deps): Bump remark-gfm from 3.0.1 to 4.0.0 in /api-editor/gui Pull Request #4732: Pull request #1487 synchronize by dependabot bot
November 29, 2023 16:25 2m 45s dependabot/npm_and_yarn/api-editor/gui/remark-gfm-4.0.0
dependabot/npm_and_yarn/api-editor/gui/remark-gfm-4.0.0
November 29, 2023 16:25 2m 45s
build(deps): Bump @reduxjs/toolkit from 1.9.5 to 1.9.7 in /api-editor/gui Pull Request #4731: Pull request #1490 opened by dependabot bot
November 29, 2023 16:25 2m 44s dependabot/npm_and_yarn/api-editor/gui/reduxjs/toolkit-1.9.7
dependabot/npm_and_yarn/api-editor/gui/reduxjs/toolkit-1.9.7
November 29, 2023 16:25 2m 44s