Skip to content

Actions: usethesource/rascal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
984 workflow runs
984 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[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
syntax role modifiers Build and Deploy #1160: Pull request #1835 synchronize by jurgenvinju
November 30, 2023 10:38 13m 52s syntax-role-modifiers
syntax-role-modifiers
November 30, 2023 10:38 13m 52s
hide internal parser error with a correct SyntaxError exception for b… Build and Deploy #1159: Commit ce8e98d pushed by jurgenvinju
November 30, 2023 10:35 17m 50s main
main
November 30, 2023 10:35 17m 50s
syntax role modifiers Build and Deploy #1158: Pull request #1835 synchronize by jurgenvinju
November 29, 2023 17:31 20m 19s syntax-role-modifiers
syntax-role-modifiers
November 29, 2023 17:31 20m 19s
syntax role modifiers Build and Deploy #1157: Pull request #1835 synchronize by jurgenvinju
November 29, 2023 17:19 13m 20s syntax-role-modifiers
syntax-role-modifiers
November 29, 2023 17:19 13m 20s
fixed issue that terminal error can not be printed sometimes because … Build and Deploy #1156: Commit e17f90a pushed by jurgenvinju
November 29, 2023 16:53 18m 31s main
main
November 29, 2023 16:53 18m 31s
fixes #1895 Build and Deploy #1155: Commit 7687359 pushed by jurgenvinju
November 29, 2023 13:17 20m 38s main
main
November 29, 2023 13:17 20m 38s
ProTip! You can narrow down the results and go further in time using created:<2023-11-29 or the other filters available.