Skip to content

Actions: Safe-DS/DSL

Main

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
535 workflow runs
535 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

October 5, 2023 19:55 1m 12s
feat: node mapper (#602)
Main #419: Commit a13e5b5 pushed by lars-reimann
October 5, 2023 16:38 1m 17s main
October 5, 2023 16:38 1m 17s
feat: scoping of arguments (#601)
Main #418: Commit 6b486cd pushed by lars-reimann
October 5, 2023 10:35 1m 12s main
October 5, 2023 10:35 1m 12s
feat: intermediate type computer (#600)
Main #417: Commit 8d68a42 pushed by lars-reimann
October 5, 2023 09:15 1m 9s main
October 5, 2023 09:15 1m 9s
October 2, 2023 22:00 1m 7s
feat: Python-like import syntax (#598)
Main #415: Commit 4c61b8c pushed by lars-reimann
October 2, 2023 17:50 1m 28s main
October 2, 2023 17:50 1m 28s
build(deps-dev): Bump vitest from 0.34.3 to 0.34.6 (#592)
Main #414: Commit 121f149 pushed by lars-reimann
October 1, 2023 16:39 1m 11s main
October 1, 2023 16:39 1m 11s
October 1, 2023 16:15 3m 51s
October 1, 2023 16:09 1m 6s
October 1, 2023 16:08 1m 25s
build(deps): Bump actions/checkout from 3 to 4 (#588)
Main #410: Commit 71f1ea2 pushed by lars-reimann
October 1, 2023 15:53 1m 6s main
October 1, 2023 15:53 1m 6s
build(deps): Bump mkdocs from 1.5.2 to 1.5.3 in /docs (#595)
Main #409: Commit d147b54 pushed by lars-reimann
October 1, 2023 15:53 1m 6s main
October 1, 2023 15:53 1m 6s
build(deps): Bump glob from 10.3.4 to 10.3.10 (#590)
Main #408: Commit b134f9e pushed by lars-reimann
October 1, 2023 15:52 1m 8s main
October 1, 2023 15:52 1m 8s
feat: remove star projection and use-site variance (#597)
Main #407: Commit 928f487 pushed by lars-reimann
October 1, 2023 15:28 1m 6s main
October 1, 2023 15:28 1m 6s
feat: very basic type computer (#596)
Main #406: Commit b3d786c pushed by lars-reimann
October 1, 2023 15:03 1m 22s main
October 1, 2023 15:03 1m 22s
October 1, 2023 10:35 1m 0s
feat: resolve references to declarations in other files (#586)
Main #404: Commit 6b30de5 pushed by lars-reimann
September 30, 2023 19:26 1m 7s main
September 30, 2023 19:26 1m 7s
feat: scoping for type arguments (#585)
Main #403: Commit 3da8dd0 pushed by lars-reimann
September 30, 2023 11:04 58s main
September 30, 2023 11:04 58s
test: reference containing class from parent type list (#584)
Main #402: Commit ed0aa97 pushed by lars-reimann
September 30, 2023 10:06 1m 5s main
September 30, 2023 10:06 1m 5s
September 30, 2023 09:53 1m 3s
feat: scoping for references to own static members (#582)
Main #400: Commit 38afc07 pushed by lars-reimann
September 29, 2023 14:41 1m 4s main
September 29, 2023 14:41 1m 4s
feat: remove type arguments from calls (#581)
Main #399: Commit 3e88f02 pushed by lars-reimann
September 29, 2023 11:53 59s main
September 29, 2023 11:53 59s
September 28, 2023 14:04 1m 24s
test: data-driven tests for partial evaluation (#578)
Main #397: Commit 2e6be9f pushed by lars-reimann
September 26, 2023 13:03 59s main
September 26, 2023 13:03 59s
test: data-driven typing tests (#577)
Main #396: Commit 2071012 pushed by lars-reimann
September 25, 2023 15:48 1m 6s main
September 25, 2023 15:48 1m 6s
ProTip! You can narrow down the results and go further in time using created:<2023-09-25 or the other filters available.