Skip to content

Actions: usethesource/rascal

Actions

Build and Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yaml
970 workflow runs
970 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

wired default title and viewColumn for content through to showInterac… Build and Deploy #1025: Commit 2e23621 pushed by jurgenvinju
August 25, 2023 11:52 22m 20s main
main
August 25, 2023 11:52 22m 20s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1024: Commit 293dfc7 pushed by jurgenvinju
August 25, 2023 11:48 2s main
main
August 25, 2023 11:48 2s
[maven-release-plugin] prepare release v0.33.6-RC3 Build and Deploy #1023: Commit adc32a9 pushed by jurgenvinju
August 25, 2023 11:48 25m 41s v0.33.6-RC3
v0.33.6-RC3
August 25, 2023 11:48 25m 41s
[maven-release-plugin] prepare release v0.33.6-RC3 Build and Deploy #1022: Commit adc32a9 pushed by jurgenvinju
August 25, 2023 11:48 4s main
main
August 25, 2023 11:48 4s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1021: Commit 366be69 pushed by jurgenvinju
August 23, 2023 12:37 4s main
main
August 23, 2023 12:37 4s
Build and Deploy Build and Deploy #1020: by jurgenvinju
August 23, 2023 12:37 29m 43s v0.33.6-RC2
v0.33.6-RC2
August 23, 2023 12:37 29m 43s
Merge pull request #1852 from usethesource/content-titles-and-columns Build and Deploy #1019: Commit 7f78a9d pushed by jurgenvinju
August 23, 2023 09:51 24m 39s main
main
August 23, 2023 09:51 24m 39s
this starts to address usethesource/rascal-language-servers#256 by adding title and viewcolumn as parameters to browse and showInteractiveContent Build and Deploy #1018: Pull request #1852 synchronize by jurgenvinju
August 23, 2023 08:36 25m 17s content-titles-and-columns
content-titles-and-columns
August 23, 2023 08:36 25m 17s
this starts to address usethesource/rascal-language-servers#256 by adding title and viewcolumn as parameters to browse and showInteractiveContent Build and Deploy #1017: Pull request #1852 opened by jurgenvinju
August 22, 2023 16:25 21m 53s content-titles-and-columns
content-titles-and-columns
August 22, 2023 16:25 21m 53s
added test for issue #1851 Build and Deploy #1016: Commit afcd954 pushed by jurgenvinju
August 21, 2023 11:28 22m 36s main
main
August 21, 2023 11:28 22m 36s
Added test for matching holes in concrete pattern Build and Deploy #1015: Commit 7c4c0ac pushed by PaulKlint
August 21, 2023 09:53 23m 57s main
main
August 21, 2023 09:53 23m 57s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1014: Commit e941300 pushed by jurgenvinju
August 21, 2023 09:04 3s main
main
August 21, 2023 09:04 3s
[maven-release-plugin] prepare release v0.33.6-RC1 Build and Deploy #1013: Commit 3330686 pushed by jurgenvinju
August 21, 2023 09:03 27m 1s v0.33.6-RC1
v0.33.6-RC1
August 21, 2023 09:03 27m 1s
[maven-release-plugin] prepare release v0.33.6-RC1 Build and Deploy #1012: Commit 3330686 pushed by jurgenvinju
August 21, 2023 09:03 4s main
main
August 21, 2023 09:03 4s
fixes #1851; missing static fields for default values of keyword para… Build and Deploy #1011: Commit 1282289 pushed by jurgenvinju
August 21, 2023 09:02 21m 54s main
main
August 21, 2023 09:02 21m 54s
Added tests for source locations of concrete fragments Build and Deploy #1010: Commit 60f988d pushed by PaulKlint
August 19, 2023 22:00 20m 28s main
main
August 19, 2023 22:00 20m 28s
Rewrtitten code fragment for the benefit of the compiler Build and Deploy #1009: Commit 303ca6c pushed by PaulKlint
August 19, 2023 20:47 21m 5s main
main
August 19, 2023 20:47 21m 5s
improved and extended documentation about findResources Build and Deploy #1008: Commit 2cc3d41 pushed by jurgenvinju
August 18, 2023 12:41 22m 30s main
main
August 18, 2023 12:41 22m 30s
Temporary (?) java replacement for getFirstFrom to accommodate compiler Build and Deploy #1007: Commit f2d6f11 pushed by PaulKlint
August 16, 2023 11:26 21m 0s main
main
August 16, 2023 11:26 21m 0s
this partially addresses #1848 only to reveal another underlying caus… Build and Deploy #1006: Commit 102ad2d pushed by jurgenvinju
August 15, 2023 12:46 22m 46s main
main
August 15, 2023 12:46 22m 46s
ProTip! You can narrow down the results and go further in time using created:<2023-08-15 or the other filters available.