Skip to content

Actions: usethesource/rascal

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
xml attribute locations Build and Deploy #1154: Pull request #1893 synchronize by jurgenvinju
November 28, 2023 15:04 53s xml-attribute-locations
xml-attribute-locations
November 28, 2023 15:04 53s
xml attribute locations Build and Deploy #1153: Pull request #1893 synchronize by jurgenvinju
November 28, 2023 14:05 4m 23s xml-attribute-locations
xml-attribute-locations
November 28, 2023 14:05 4m 23s
xml attribute locations Build and Deploy #1152: Pull request #1893 synchronize by jurgenvinju
November 28, 2023 12:45 52s xml-attribute-locations
xml-attribute-locations
November 28, 2023 12:45 52s
xml attribute locations Build and Deploy #1151: Pull request #1893 synchronize by jurgenvinju
November 28, 2023 12:38 50s xml-attribute-locations
xml-attribute-locations
November 28, 2023 12:38 50s
xml attribute locations Build and Deploy #1150: Pull request #1893 opened by jurgenvinju
November 27, 2023 14:10 1m 12s xml-attribute-locations
xml-attribute-locations
November 27, 2023 14:10 1m 12s
Added some documentation to lang::java Build and Deploy #1149: Pull request #1890 synchronize by linuswagner
November 27, 2023 12:53 19m 42s linuswagner:main
linuswagner:main
November 27, 2023 12:53 19m 42s
syntax role modifiers Build and Deploy #1148: Pull request #1835 synchronize by jurgenvinju
November 23, 2023 12:23 13m 17s syntax-role-modifiers
syntax-role-modifiers
November 23, 2023 12:23 13m 17s
syntax role modifiers Build and Deploy #1147: Pull request #1835 synchronize by jurgenvinju
November 23, 2023 12:10 17m 57s syntax-role-modifiers
syntax-role-modifiers
November 23, 2023 12:10 17m 57s
syntax role modifiers Build and Deploy #1146: Pull request #1835 synchronize by jurgenvinju
November 22, 2023 16:23 3m 13s syntax-role-modifiers
syntax-role-modifiers
November 22, 2023 16:23 3m 13s
ProTip! You can narrow down the results and go further in time using created:<2023-11-22 or the other filters available.