Skip to content

Actions: Safe-DS/DSL

Pull Request

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
155 workflow run results
155 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: compute types of lambdas that are passed as arguments
Pull Request #1852: Pull request #604 synchronize by lars-reimann
October 5, 2023 19:52 1m 27s lambdas-as-arguments
October 5, 2023 19:52 1m 27s
feat: compute types of lambdas that are passed as arguments
Pull Request #1851: Pull request #604 opened by lars-reimann
October 5, 2023 19:47 1m 15s lambdas-as-arguments
October 5, 2023 19:47 1m 15s
feat: node mapper
Pull Request #1850: Pull request #602 synchronize by lars-reimann
October 5, 2023 16:31 1m 19s node-mapper
October 5, 2023 16:31 1m 19s
feat: node mapper
Pull Request #1849: Pull request #602 synchronize by lars-reimann
October 5, 2023 16:29 1m 16s node-mapper
October 5, 2023 16:29 1m 16s
feat: node mapper
Pull Request #1848: Pull request #602 opened by lars-reimann
October 5, 2023 16:25 1m 15s node-mapper
October 5, 2023 16:25 1m 15s
feat: scoping of arguments
Pull Request #1847: Pull request #601 opened by lars-reimann
October 5, 2023 10:32 1m 29s argument-scoping
October 5, 2023 10:32 1m 29s
feat: intermediate type computer
Pull Request #1846: Pull request #600 synchronize by lars-reimann
October 5, 2023 09:06 1m 11s type-computer
October 5, 2023 09:06 1m 11s
feat: intermediate type computer
Pull Request #1845: Pull request #600 opened by lars-reimann
October 5, 2023 09:01 52s type-computer
October 5, 2023 09:01 52s
fix: resolution of references to declarations of wrong node type
Pull Request #1844: Pull request #599 synchronize by lars-reimann
October 2, 2023 21:57 1m 10s import-bug-fix
October 2, 2023 21:57 1m 10s
fix: resolution of references to declarations of wrong node type
Pull Request #1843: Pull request #599 opened by lars-reimann
October 2, 2023 21:55 1m 8s import-bug-fix
October 2, 2023 21:55 1m 8s
feat: Python-like import syntax
Pull Request #1842: Pull request #598 synchronize by lars-reimann
October 2, 2023 17:47 1m 18s new-import-syntax
October 2, 2023 17:47 1m 18s
feat: Python-like import syntax
Pull Request #1841: Pull request #598 opened by lars-reimann
October 2, 2023 17:45 1m 6s new-import-syntax
October 2, 2023 17:45 1m 6s