Skip to content

Actions: usethesource/rascal

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
syntax role modifiers Build and Deploy #1145: Pull request #1835 synchronize by jurgenvinju
November 22, 2023 16:22 3m 14s syntax-role-modifiers
syntax-role-modifiers
November 22, 2023 16:22 3m 14s
syntax role modifiers Build and Deploy #1144: Pull request #1835 synchronize by jurgenvinju
November 22, 2023 16:07 13m 40s syntax-role-modifiers
syntax-role-modifiers
November 22, 2023 16:07 13m 40s
syntax role modifiers Build and Deploy #1143: Pull request #1835 synchronize by jurgenvinju
November 22, 2023 14:31 15m 1s syntax-role-modifiers
syntax-role-modifiers
November 22, 2023 14:31 15m 1s
syntax role modifiers Build and Deploy #1142: Pull request #1835 synchronize by jurgenvinju
November 21, 2023 14:31 20m 30s syntax-role-modifiers
syntax-role-modifiers
November 21, 2023 14:31 20m 30s
Added some documentation to lang::java Build and Deploy #1141: Pull request #1890 synchronize by linuswagner
November 21, 2023 13:13 17m 43s linuswagner:main
linuswagner:main
November 21, 2023 13:13 17m 43s
Added some documentation to lang::java Build and Deploy #1140: Pull request #1890 synchronize by linuswagner
November 21, 2023 13:11 17m 42s linuswagner:main
linuswagner:main
November 21, 2023 13:11 17m 42s
Added some documentation to lang::java Build and Deploy #1139: Pull request #1890 opened by linuswagner
November 20, 2023 15:37 20m 17s linuswagner:main
linuswagner:main
November 20, 2023 15:37 20m 17s
syntax role modifiers Build and Deploy #1138: Pull request #1835 synchronize by jurgenvinju
November 17, 2023 13:35 14m 38s syntax-role-modifiers
syntax-role-modifiers
November 17, 2023 13:35 14m 38s
syntax role modifiers Build and Deploy #1137: Pull request #1835 synchronize by jurgenvinju
November 16, 2023 16:08 18m 30s syntax-role-modifiers
syntax-role-modifiers
November 16, 2023 16:08 18m 30s
syntax role modifiers Build and Deploy #1136: Pull request #1835 synchronize by jurgenvinju
November 16, 2023 16:06 51s syntax-role-modifiers
syntax-role-modifiers
November 16, 2023 16:06 51s
syntax role modifiers Build and Deploy #1135: Pull request #1835 synchronize by jurgenvinju
November 16, 2023 15:48 56s syntax-role-modifiers
syntax-role-modifiers
November 16, 2023 15:48 56s
syntax role modifiers Build and Deploy #1134: Pull request #1835 synchronize by jurgenvinju
November 16, 2023 15:10 57s syntax-role-modifiers
syntax-role-modifiers
November 16, 2023 15:10 57s
fixed weird compiler issue not seen before Build and Deploy #1133: Commit d85f086 pushed by jurgenvinju
November 16, 2023 09:11 18m 52s main
main
November 16, 2023 09:11 18m 52s
Merge pull request #1887 from usethesource/fix-logical-watchers Build and Deploy #1132: Commit 27b52d1 pushed by jurgenvinju
November 15, 2023 13:37 1m 55s main
main
November 15, 2023 13:37 1m 55s
attempt at fixing #1884 Build and Deploy #1131: Pull request #1887 opened by jurgenvinju
November 10, 2023 08:55 1m 15s fix-logical-watchers
fix-logical-watchers
November 10, 2023 08:55 1m 15s
syntax role modifiers Build and Deploy #1130: Pull request #1835 synchronize by jurgenvinju
November 8, 2023 08:29 55s syntax-role-modifiers
syntax-role-modifiers
November 8, 2023 08:29 55s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1129: Commit a57d215 pushed by jurgenvinju
November 6, 2023 08:54 3s main
main
November 6, 2023 08:54 3s
[maven-release-plugin] prepare release v0.35.0-RC1 Build and Deploy #1128: Commit cad6174 pushed by jurgenvinju
November 6, 2023 08:54 22m 40s v0.35.0-RC1
v0.35.0-RC1
November 6, 2023 08:54 22m 40s
[maven-release-plugin] prepare release v0.35.0-RC1 Build and Deploy #1127: Commit cad6174 pushed by jurgenvinju
November 6, 2023 08:54 4s main
main
November 6, 2023 08:54 4s