Skip to content

Actions: usethesource/rascal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
281 workflow run results
281 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[maven-release-plugin] prepare release v0.35.0-RC4 Build and Deploy #1185: Commit eb8711f pushed by jurgenvinju
January 15, 2024 17:06 3s main
main
January 15, 2024 17:06 3s
Remove black color from Rascal prompt Build and Deploy #1184: Pull request #1908 opened by linuswagner
January 15, 2024 16:28 3m 29s linuswagner:main
linuswagner:main
January 15, 2024 16:28 3m 29s
tests that fail with unexpected exceptions, and have random parameter… Build and Deploy #1183: Commit d962e8e pushed by jurgenvinju
January 15, 2024 16:09 14m 56s main
main
January 15, 2024 16:09 14m 56s
writeFileEnc was not streaming to disk; but writing to an internal st… Build and Deploy #1182: Commit 6723e30 pushed by jurgenvinju
January 15, 2024 15:24 3m 38s main
main
January 15, 2024 15:24 3m 38s
brough back printing of randomly generated test parameter values on f… Build and Deploy #1181: Commit 37d81ff pushed by jurgenvinju
January 15, 2024 10:43 4m 19s main
main
January 15, 2024 10:43 4m 19s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1180: Commit 26ba942 pushed by jurgenvinju
January 12, 2024 17:27 3s main
main
January 12, 2024 17:27 3s
[maven-release-plugin] prepare release v0.35.0-RC3 Build and Deploy #1179: Commit 5390937 pushed by jurgenvinju
January 12, 2024 17:27 3m 31s v0.35.0-RC3
v0.35.0-RC3
January 12, 2024 17:27 3m 31s
[maven-release-plugin] prepare release v0.35.0-RC3 Build and Deploy #1178: Commit 5390937 pushed by jurgenvinju
January 12, 2024 17:27 4s main
main
January 12, 2024 17:27 4s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1177: Commit b44b903 pushed by jurgenvinju
January 12, 2024 15:00 2s main
main
January 12, 2024 15:00 2s
[maven-release-plugin] prepare release v0.35.0-RC2 Build and Deploy #1176: Commit c83199d pushed by jurgenvinju
January 12, 2024 15:00 20m 3s v0.35.0-RC2
v0.35.0-RC2
January 12, 2024 15:00 20m 3s
[maven-release-plugin] prepare release v0.35.0-RC2 Build and Deploy #1175: Commit c83199d pushed by jurgenvinju
January 12, 2024 15:00 3s main
main
January 12, 2024 15:00 3s
bumped vallang to 1.0.0-RC7 for better depth-first transitive closure… Build and Deploy #1174: Commit b50c088 pushed by jurgenvinju
January 12, 2024 14:56 1h 9m 18s main
main
January 12, 2024 14:56 1h 9m 18s
added getHashCode for diagnostics of hash collisions Build and Deploy #1173: Commit 6019038 pushed by jurgenvinju
January 8, 2024 13:13 19m 15s main
main
January 8, 2024 13:13 19m 15s
Merge pull request #1902 from weirdwater/main Build and Deploy #1172: Commit 7338b14 pushed by jurgenvinju
December 29, 2023 20:13 17m 22s main
main
December 29, 2023 20:13 17m 22s
Allow type transformations with mapper for Map Build and Deploy #1171: Pull request #1902 opened by weirdwater
December 29, 2023 00:23 17m 33s weirdwater:main
weirdwater:main
December 29, 2023 00:23 17m 33s
syntax role modifiers Build and Deploy #1170: Pull request #1835 synchronize by jurgenvinju
December 28, 2023 10:49 18m 24s syntax-role-modifiers
syntax-role-modifiers
December 28, 2023 10:49 18m 24s
fixes #1901 Build and Deploy #1169: Commit f604f30 pushed by jurgenvinju
December 27, 2023 15:37 20m 18s main
main
December 27, 2023 15:37 20m 18s
trying to work on issue #101 Build and Deploy #1168: Pull request #1900 opened by jurgenvinju
December 21, 2023 08:49 13m 27s issue-101
issue-101
December 21, 2023 08:49 13m 27s
Merge pull request #1899 from leegbestand/main Build and Deploy #1167: Commit 954d148 pushed by jurgenvinju
December 15, 2023 13:18 19m 47s main
main
December 15, 2023 13:18 19m 47s
Remove unnecessary isEmpty check from isSameFile. Build and Deploy #1166: Pull request #1899 opened by leegbestand
December 14, 2023 11:54 22m 47s leegbestand:main
leegbestand:main
December 14, 2023 11:54 22m 47s
bumped to java 17 Build and Deploy #1165: Pull request #1898 synchronize by jurgenvinju
December 14, 2023 11:13 46s java-17
java-17
December 14, 2023 11:13 46s
bumped to java 17 Build and Deploy #1164: Pull request #1898 opened by jurgenvinju
December 14, 2023 10:55 40s java-17
java-17
December 14, 2023 10:55 40s
Merge pull request #1890 from linuswagner/main Build and Deploy #1163: Commit 6c05758 pushed by jurgenvinju
December 7, 2023 13:11 17m 21s main
main
December 7, 2023 13:11 17m 21s
Added some documentation to lang::java Build and Deploy #1162: Pull request #1890 synchronize by jurgenvinju
December 7, 2023 13:07 14m 37s linuswagner:main
linuswagner:main
December 7, 2023 13:07 14m 37s
syntax role modifiers Build and Deploy #1161: Pull request #1835 synchronize by jurgenvinju
December 1, 2023 12:31 17m 27s syntax-role-modifiers
syntax-role-modifiers
December 1, 2023 12:31 17m 27s