Skip to content

Actions: usethesource/rascal

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed errors due to stricter checking of functions using type parameters Build and Deploy #1266: Commit eb5ad8b pushed by PaulKlint
March 16, 2024 14:44 3m 11s main
main
March 16, 2024 14:44 3m 11s
new core version 0.25.4-BOOT1 Build and Deploy #1265: Commit 24be8a1 pushed by jurgenvinju
March 15, 2024 13:05 26m 4s main
main
March 15, 2024 13:05 26m 4s
temporarily put errorsAsWarnings to false again Build and Deploy #1264: Commit cddff4d pushed by jurgenvinju
March 15, 2024 12:15 17m 52s main
main
March 15, 2024 12:15 17m 52s
some fixes Build and Deploy #1263: Commit de7efcc pushed by jurgenvinju
March 14, 2024 15:08 19m 47s main
main
March 14, 2024 15:08 19m 47s
Fixed error discovered by new check Build and Deploy #1262: Commit 0bfabdc pushed by PaulKlint
March 14, 2024 13:51 20m 24s main
main
March 14, 2024 13:51 20m 24s
fixed typechecker warnings Build and Deploy #1261: Commit bf0be87 pushed by jurgenvinju
March 14, 2024 11:55 12m 25s main
main
March 14, 2024 11:55 12m 25s
replaced annotations by keyword parameters in Box implementation Build and Deploy #1260: Commit 469c4ca pushed by jurgenvinju
March 14, 2024 11:40 17m 33s main
main
March 14, 2024 11:40 17m 33s
also fixed Java code Build and Deploy #1259: Commit 570a6c8 pushed by jurgenvinju
March 14, 2024 11:22 17m 56s main
main
March 14, 2024 11:22 17m 56s
replaced annotations by keyword parameters Build and Deploy #1258: Commit 389203f pushed by jurgenvinju
March 14, 2024 11:20 12m 33s main
main
March 14, 2024 11:20 12m 33s
rollback Build and Deploy #1257: Commit 6071b8a pushed by jurgenvinju
March 14, 2024 11:09 21m 8s main
main
March 14, 2024 11:09 21m 8s
fixed some warnings Build and Deploy #1256: Commit 480b8ad pushed by jurgenvinju
March 14, 2024 11:05 16m 52s main
main
March 14, 2024 11:05 16m 52s
fixed some warnings Build and Deploy #1255: Commit 741304d pushed by jurgenvinju
March 14, 2024 11:05 13m 43s main
main
March 14, 2024 11:05 13m 43s
fixed some warnings Build and Deploy #1254: Commit 33959a4 pushed by jurgenvinju
March 14, 2024 10:43 13m 0s main
main
March 14, 2024 10:43 13m 0s
bumped rascal-maven-plugin to first bootstrap version Build and Deploy #1253: Commit 8ca0c97 pushed by jurgenvinju
March 14, 2024 10:16 13m 33s main
main
March 14, 2024 10:16 13m 33s
Replaced !(... in ...) by ... notin ... Build and Deploy #1252: Commit 961b6ce pushed by PaulKlint
March 14, 2024 10:13 20m 33s main
main
March 14, 2024 10:13 20m 33s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1251: Commit a73a6ab pushed by jurgenvinju
March 13, 2024 17:32 4s main
main
March 13, 2024 17:32 4s
[maven-release-plugin] prepare release v0.36.1-RC2 Build and Deploy #1250: Commit 46c57a0 pushed by jurgenvinju
March 13, 2024 17:32 24m 19s v0.36.1-RC2
v0.36.1-RC2
March 13, 2024 17:32 24m 19s
[maven-release-plugin] prepare release v0.36.1-RC2 Build and Deploy #1249: Commit 46c57a0 pushed by jurgenvinju
March 13, 2024 17:32 4s main
main
March 13, 2024 17:32 4s
New functions for checking multiple sets Build and Deploy #1248: Pull request #1925 synchronize by linuswagner
March 13, 2024 16:30 15m 43s linuswagner:setfn
linuswagner:setfn
March 13, 2024 16:30 15m 43s
Added parentheses (ht to typechecker) Build and Deploy #1247: Commit 1bdcc3f pushed by PaulKlint
March 13, 2024 15:20 14m 44s main
main
March 13, 2024 15:20 14m 44s
Further progress on Reflective Build and Deploy #1246: Commit 1d33656 pushed by PaulKlint
March 13, 2024 15:04 25m 45s main
main
March 13, 2024 15:04 25m 45s
Reverted: getModuleLocation searches again in libs Build and Deploy #1245: Commit dddaa61 pushed by PaulKlint
March 13, 2024 12:46 19m 27s main
main
March 13, 2024 12:46 19m 27s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1244: Commit 3821c9e pushed by jurgenvinju
March 11, 2024 14:46 3s main
main
March 11, 2024 14:46 3s
[maven-release-plugin] prepare release v0.36.1-RC1 Build and Deploy #1243: Commit a7f1c70 pushed by jurgenvinju
March 11, 2024 14:46 17m 34s v0.36.1-RC1
v0.36.1-RC1
March 11, 2024 14:46 17m 34s
[maven-release-plugin] prepare release v0.36.1-RC1 Build and Deploy #1242: Commit a7f1c70 pushed by jurgenvinju
March 11, 2024 14:46 3s main
main
March 11, 2024 14:46 3s