Skip to content

Actions: usethesource/rascal

Actions

Build and Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
986 workflow runs
986 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

made private functions private and then removed the unused ones
Build and Deploy #1281: Commit 276a8d5 pushed by jurgenvinju
March 29, 2024 11:14 10m 58s main
March 29, 2024 11:14 10m 58s
renamed hv2hCrit to wrapAfter
Build and Deploy #1280: Commit d3cbccd pushed by jurgenvinju
March 29, 2024 11:04 15m 24s main
March 29, 2024 11:04 15m 24s
[maven-release-plugin] prepare for next development iteration
Build and Deploy #1279: Commit 783a3d3 pushed by jurgenvinju
March 28, 2024 15:20 4s main
March 28, 2024 15:20 4s
[maven-release-plugin] prepare release v0.37.0-BOOT1
Build and Deploy #1278: Commit b4e3f37 pushed by jurgenvinju
March 28, 2024 15:20 24m 3s v0.37.0-BOOT1
March 28, 2024 15:20 24m 3s
[maven-release-plugin] prepare release v0.37.0-BOOT1
Build and Deploy #1277: Commit b4e3f37 pushed by jurgenvinju
March 28, 2024 15:20 4s main
March 28, 2024 15:20 4s
fixing static errors in standard library
Build and Deploy #1276: Commit 7ceb735 pushed by jurgenvinju
March 27, 2024 11:31 19m 28s main
March 27, 2024 11:31 19m 28s
minor fixes
Build and Deploy #1275: Commit 312d513 pushed by jurgenvinju
March 27, 2024 10:57 15m 43s main
March 27, 2024 10:57 15m 43s
fixed typecheck errors in Box2Text and also some minor refactorigs
Build and Deploy #1274: Commit b5cb5b9 pushed by jurgenvinju
March 27, 2024 10:47 15m 47s main
March 27, 2024 10:47 15m 47s
Fixed issue in source code related to #1931
Build and Deploy #1273: Commit e972eb3 pushed by PaulKlint
March 24, 2024 18:06 12m 50s main
March 24, 2024 18:06 12m 50s
fixed issue in validator
Build and Deploy #1272: Commit e51bbe7 pushed by jurgenvinju
March 21, 2024 18:06 17m 40s main
March 21, 2024 18:06 17m 40s
Revert "No longer ignoreCompiler for avoidEmpty"
Build and Deploy #1271: Commit 473b075 pushed by PaulKlint
March 18, 2024 14:58 13m 39s main
March 18, 2024 14:58 13m 39s
No longer ignoreCompiler for avoidEmpty
Build and Deploy #1270: Commit 32e786b pushed by PaulKlint
March 18, 2024 12:52 3m 26s main
March 18, 2024 12:52 3m 26s
New tests for regular symbols with type parameters (ignoreInterpreter)
Build and Deploy #1269: Commit 96988e8 pushed by PaulKlint
March 17, 2024 16:42 17m 6s main
March 17, 2024 16:42 17m 6s
Ignore voidReturnIsNotAllowed for compiler
Build and Deploy #1268: Commit f9b97fc pushed by PaulKlint
March 17, 2024 10:27 13m 2s main
March 17, 2024 10:27 13m 2s
Fixed changed test that failed.
Build and Deploy #1267: Commit 6ab4d65 pushed by PaulKlint
March 16, 2024 15:37 16m 34s main
March 16, 2024 15:37 16m 34s
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
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
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
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
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
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
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
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
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
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
March 14, 2024 11:09 21m 8s
ProTip! You can narrow down the results and go further in time using created:<2024-03-14 or the other filters available.