Skip to content

Actions: Safe-DS/DSL

Actions

Pull Request

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
1,092 workflow runs
1,092 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: error if parameter name in impurity reason is invalid Pull Request #2128: Pull request #772 opened by lars-reimann
November 13, 2023 22:13 1m 24s 741-validation-error-parametername-in-an-impurity-reason-does-not-point-to-a-parameter
741-validation-error-parametername-in-an-impurity-reason-does-not-point-to-a-parameter
November 13, 2023 22:13 1m 24s
feat: improve location of warning about duplicate annotation target Pull Request #2127: Pull request #771 opened by lars-reimann
November 13, 2023 21:12 1m 24s target-warning-location
target-warning-location
November 13, 2023 21:12 1m 24s
refactor: move callToParameterValue into NodeMapper Pull Request #2126: Pull request #770 synchronize by lars-reimann
November 13, 2023 20:25 1m 26s call-to-parameter-value
call-to-parameter-value
November 13, 2023 20:25 1m 26s
refactor: move callToParameterValue into NodeMapper Pull Request #2125: Pull request #770 opened by lars-reimann
November 13, 2023 20:09 1m 25s call-to-parameter-value
call-to-parameter-value
November 13, 2023 20:09 1m 25s
feat: update snippets for functions and methods Pull Request #2124: Pull request #769 synchronize by lars-reimann
November 13, 2023 16:23 3m 0s purity-snippets
purity-snippets
November 13, 2023 16:23 3m 0s
feat: update snippets for functions and methods Pull Request #2123: Pull request #769 opened by lars-reimann
November 13, 2023 16:22 1m 29s purity-snippets
purity-snippets
November 13, 2023 16:22 1m 29s
feat: error if purity of functions is not specified Pull Request #2122: Pull request #768 opened by lars-reimann
November 13, 2023 16:03 2m 54s purity-model
purity-model
November 13, 2023 16:03 2m 54s
feat: remove type parameters from enum variants Pull Request #2121: Pull request #767 opened by lars-reimann
November 12, 2023 16:12 2m 40s 766-remove-type-parameters-from-enum-variants
766-remove-type-parameters-from-enum-variants
November 12, 2023 16:12 2m 40s
docs: documentation comments Pull Request #2120: Pull request #765 opened by lars-reimann
November 12, 2023 12:23 2m 22s doc-comment-documentation
doc-comment-documentation
November 12, 2023 12:23 2m 22s
feat: customize rendering of @param, @result, and @typeParam tags Pull Request #2119: Pull request #764 opened by lars-reimann
November 12, 2023 09:55 1m 23s tag-rendering
tag-rendering
November 12, 2023 09:55 1m 23s
feat: error if callable type is used in wrong context Pull Request #2118: Pull request #763 synchronize by lars-reimann
November 11, 2023 22:20 1m 26s 713-validation-error-result-has-callable-type
713-validation-error-result-has-callable-type
November 11, 2023 22:20 1m 26s
feat: error if callable type is used in wrong context Pull Request #2117: Pull request #763 opened by lars-reimann
November 11, 2023 22:17 2m 15s 713-validation-error-result-has-callable-type
713-validation-error-result-has-callable-type
November 11, 2023 22:17 2m 15s
feat: show error if own declaration has same name as core one Pull Request #2116: Pull request #762 opened by lars-reimann
November 11, 2023 21:22 1m 20s 760-validation-error-declaration-has-same-name-as-core-declaration
760-validation-error-declaration-has-same-name-as-core-declaration
November 11, 2023 21:22 1m 20s
fix: prevent overwriting core declarations Pull Request #2115: Pull request #761 opened by lars-reimann
November 11, 2023 20:53 1m 27s prevent-overriding-core-declarations
prevent-overriding-core-declarations
November 11, 2023 20:53 1m 27s
feat: info if overriding member is not needed Pull Request #2114: Pull request #759 synchronize by lars-reimann
November 11, 2023 16:01 2m 45s 25-validation-warning-method-is-overridden-but-overriding-method-has-identical-signature
25-validation-warning-method-is-overridden-but-overriding-method-has-identical-signature
November 11, 2023 16:01 2m 45s
feat: info if overriding member is not needed Pull Request #2113: Pull request #759 opened by lars-reimann
November 11, 2023 16:00 1m 13s 25-validation-warning-method-is-overridden-but-overriding-method-has-identical-signature
25-validation-warning-method-is-overridden-but-overriding-method-has-identical-signature
November 11, 2023 16:00 1m 13s
feat: ensure an overriding member matches the overridden one Pull Request #2112: Pull request #758 opened by lars-reimann
November 11, 2023 15:31 1m 20s 639-validation-error-overriding-method-must-match-overridden-method
639-validation-error-overriding-method-must-match-overridden-method
November 11, 2023 15:31 1m 20s
feat: VS Code snippets Pull Request #2111: Pull request #757 opened by lars-reimann
November 11, 2023 11:50 2m 28s 756-vs-code-snippets
756-vs-code-snippets
November 11, 2023 11:50 2m 28s
feat: mark type parameter lists and type argument lists as experimental Pull Request #2110: Pull request #755 opened by lars-reimann
November 11, 2023 09:34 2m 17s 753-mark-type-parameter-lists-as-experimental
753-mark-type-parameter-lists-as-experimental
November 11, 2023 09:34 2m 17s
feat: scoping for member access on literals and literal types Pull Request #2109: Pull request #754 opened by lars-reimann
November 11, 2023 09:19 1m 20s 80-literal-types
80-literal-types
November 11, 2023 09:19 1m 20s
feat: mark constraint lists as experimental Pull Request #2108: Pull request #752 opened by lars-reimann
November 10, 2023 21:18 2m 7s experimental-constraints
experimental-constraints
November 10, 2023 21:18 2m 7s
feat: type checking for list & map literals Pull Request #2107: Pull request #751 opened by lars-reimann
November 10, 2023 21:10 1m 25s 712-validation-error-wrong-context-for-call-that-produces-multiple-results
712-validation-error-wrong-context-for-call-that-produces-multiple-results
November 10, 2023 21:10 1m 25s
feat: error if type parameter is used in nested named type declaration Pull Request #2106: Pull request #750 opened by lars-reimann
November 10, 2023 09:49 2m 9s 748-validation-error-can-only-refer-to-own-type-parameters-in-nested-classenum
748-validation-error-can-only-refer-to-own-type-parameters-in-nested-classenum
November 10, 2023 09:49 2m 9s
test: remove redundant formatter tests Pull Request #2105: Pull request #747 opened by lars-reimann
November 9, 2023 22:09 3m 4s 745-streamline-formatter-tests
745-streamline-formatter-tests
November 9, 2023 22:09 3m 4s
test: remove redundant grammar tests Pull Request #2104: Pull request #746 opened by lars-reimann
November 9, 2023 20:18 1m 18s 744-streamline-grammar-tests
744-streamline-grammar-tests
November 9, 2023 20:18 1m 18s
ProTip! You can narrow down the results and go further in time using created:<2023-11-09 or the other filters available.