Skip to content

Actions: usethesource/rascal

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
707 workflow runs
707 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Refactoring eval to allow for full path configuration via a PathConfig parameter. Build and Deploy #1496: Pull request #1954 synchronize by jurgenvinju
June 1, 2024 21:22 20m 4s rewrite-eval
rewrite-eval
June 1, 2024 21:22 20m 4s
Refactoring eval to allow for full path configuration via a PathConfig parameter. Build and Deploy #1495: Pull request #1954 synchronize by jurgenvinju
June 1, 2024 21:18 16m 59s rewrite-eval
rewrite-eval
June 1, 2024 21:18 16m 59s
Refactoring eval to allow for full path configuration via a PathConfig parameter. Build and Deploy #1494: Pull request #1954 synchronize by jurgenvinju
May 31, 2024 13:09 19m 21s rewrite-eval
rewrite-eval
May 31, 2024 13:09 19m 21s
Refactoring eval to allow for full path configuration via a PathConfig parameter. Build and Deploy #1493: Pull request #1954 synchronize by jurgenvinju
May 31, 2024 12:55 31m 32s rewrite-eval
rewrite-eval
May 31, 2024 12:55 31m 32s
Refactoring eval to allow for full path configuration via a PathConfig parameter. Build and Deploy #1492: Pull request #1954 opened by jurgenvinju
May 31, 2024 10:24 16m 13s rewrite-eval
rewrite-eval
May 31, 2024 10:24 16m 13s
set foreground color of progress bar to ensure contrast in all themes… Build and Deploy #1491: Commit fd236bc pushed by jurgenvinju
May 30, 2024 09:35 20m 45s main
main
May 30, 2024 09:35 20m 45s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1490: Commit 3614b01 pushed by jurgenvinju
May 27, 2024 12:01 2s main
main
May 27, 2024 12:01 2s
[maven-release-plugin] prepare release v0.39.7-BOOT2 Build and Deploy #1489: Commit c393400 pushed by jurgenvinju
May 27, 2024 12:01 31m 4s v0.39.7-BOOT2
v0.39.7-BOOT2
May 27, 2024 12:01 31m 4s
[maven-release-plugin] prepare release v0.39.7-BOOT2 Build and Deploy #1488: Commit c393400 pushed by jurgenvinju
May 27, 2024 12:01 2s main
main
May 27, 2024 12:01 2s
disabled parallel checking and bumped the maven-plugin to 0.26.3-BOOT1 Build and Deploy #1487: Commit 5c2892f pushed by jurgenvinju
May 27, 2024 12:00 23m 55s main
main
May 27, 2024 12:00 23m 55s
made dark grey lighter and light grey even lighter in progress bar Build and Deploy #1486: Commit 4645372 pushed by jurgenvinju
May 27, 2024 09:53 13m 56s main
main
May 27, 2024 09:53 13m 56s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1485: Commit 07a8e6f pushed by jurgenvinju
May 27, 2024 07:51 3s main
main
May 27, 2024 07:51 3s
[maven-release-plugin] prepare release v0.39.6-BOOT2 Build and Deploy #1484: Commit 68c8669 pushed by jurgenvinju
May 27, 2024 07:51 19m 39s v0.39.6-BOOT2
v0.39.6-BOOT2
May 27, 2024 07:51 19m 39s
[maven-release-plugin] prepare release v0.39.6-BOOT2 Build and Deploy #1483: Commit 68c8669 pushed by jurgenvinju
May 27, 2024 07:50 3s main
main
May 27, 2024 07:50 3s
fixed bug in storing left-over lines; pointed out by @davylandman Build and Deploy #1482: Commit 626dcaa pushed by jurgenvinju
May 27, 2024 06:32 16m 8s main
main
May 27, 2024 06:32 16m 8s
fixed some more off-by-ones Build and Deploy #1481: Commit 28ea3bd pushed by jurgenvinju
May 25, 2024 19:20 15m 53s main
main
May 25, 2024 19:20 15m 53s
fixed bug where 0 was used in offset for the lowerbound, which could … Build and Deploy #1480: Commit c8bf5e6 pushed by jurgenvinju
May 25, 2024 19:10 16m 4s main
main
May 25, 2024 19:10 16m 4s
Merge remote-tracking branch 'refs/remotes/origin/main' Build and Deploy #1479: Commit 3d08fe6 pushed by jurgenvinju
May 24, 2024 14:21 14m 56s main
main
May 24, 2024 14:21 14m 56s
Merge pull request #1951 from usethesource/unfinished-lines-during-pr… Build and Deploy #1478: Commit 35bbe87 pushed by jurgenvinju
May 24, 2024 14:21 17m 23s main
main
May 24, 2024 14:21 17m 23s
added a buffer for unfinished lines during progress bar printing. the lines will be completed by the next print, or way at the end when all progress bars are done. Build and Deploy #1477: Pull request #1951 synchronize by jurgenvinju
May 24, 2024 14:20 17m 31s unfinished-lines-during-progress-bars
unfinished-lines-during-progress-bars
May 24, 2024 14:20 17m 31s
added a buffer for unfinished lines during progress bar printing. the lines will be completed by the next print, or way at the end when all progress bars are done. Build and Deploy #1476: Pull request #1951 synchronize by jurgenvinju
May 24, 2024 14:15 18m 26s unfinished-lines-during-progress-bars
unfinished-lines-during-progress-bars
May 24, 2024 14:15 18m 26s
[maven-release-plugin] prepare for next development iteration Build and Deploy #1475: Commit ca079ec pushed by jurgenvinju
May 23, 2024 15:54 2s main
main
May 23, 2024 15:54 2s
[maven-release-plugin] prepare release v0.39.5-BOOT2 Build and Deploy #1474: Commit ca04adb pushed by jurgenvinju
May 23, 2024 15:54 25m 37s v0.39.5-BOOT2
v0.39.5-BOOT2
May 23, 2024 15:54 25m 37s
[maven-release-plugin] prepare release v0.39.5-BOOT2 Build and Deploy #1473: Commit ca04adb pushed by jurgenvinju
May 23, 2024 15:54 2s main
main
May 23, 2024 15:54 2s
added a buffer for unfinished lines during progress bar printing. the lines will be completed by the next print, or way at the end when all progress bars are done. Build and Deploy #1472: Pull request #1951 synchronize by jurgenvinju
May 23, 2024 15:41 20m 32s unfinished-lines-during-progress-bars
unfinished-lines-during-progress-bars
May 23, 2024 15:41 20m 32s