Skip to content

Actions: usethesource/rascal

Actions

Build and Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
891 workflow runs
891 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[maven-release-plugin] prepare release v0.33.0-RC1
Build and Deploy #932: Commit 87995df pushed by jurgenvinju
June 28, 2023 11:27 25m 24s v0.33.0-RC1
June 28, 2023 11:27 25m 24s
[maven-release-plugin] prepare release v0.33.0-RC1
Build and Deploy #931: Commit 87995df pushed by jurgenvinju
June 28, 2023 11:27 4s main
June 28, 2023 11:27 4s
rewrote the use of maven libraries for the library search path in Pat…
Build and Deploy #930: Commit dac4a0e pushed by jurgenvinju
June 28, 2023 11:21 21m 50s main
June 28, 2023 11:21 21m 50s
[maven-release-plugin] prepare for next development iteration
Build and Deploy #929: Commit d97d5a3 pushed by jurgenvinju
June 28, 2023 09:23 5s main
June 28, 2023 09:23 5s
Build and Deploy
Build and Deploy #928: by jurgenvinju
June 28, 2023 09:23 26m 47s v0.32.1
June 28, 2023 09:23 26m 47s
[maven-release-plugin] prepare for next development iteration
Build and Deploy #927: Commit fc4f58e pushed by jurgenvinju
June 27, 2023 14:08 4s main
June 27, 2023 14:08 4s
[maven-release-plugin] prepare release v0.32.0
Build and Deploy #926: Commit 45fb3a9 pushed by jurgenvinju
June 27, 2023 14:08 26m 28s v0.32.0
June 27, 2023 14:08 26m 28s
[maven-release-plugin] prepare release v0.32.0
Build and Deploy #925: Commit 45fb3a9 pushed by jurgenvinju
June 27, 2023 14:08 5s main
June 27, 2023 14:08 5s
split funding in current and past
Build and Deploy #924: Commit 582aa00 pushed by jurgenvinju
June 27, 2023 07:55 22m 54s main
June 27, 2023 07:55 22m 54s
bumped rascal-maven-plugin to 0.19.2
Build and Deploy #923: Commit 934c295 pushed by jurgenvinju
June 27, 2023 07:46 21m 31s main
June 27, 2023 07:46 21m 31s
[maven-release-plugin] prepare for next development iteration
Build and Deploy #922: Commit 2f8bfb9 pushed by jurgenvinju
June 26, 2023 14:12 5s main
June 26, 2023 14:12 5s
[maven-release-plugin] prepare release v0.32.0-RC3
Build and Deploy #921: Commit 964f10e pushed by jurgenvinju
June 26, 2023 14:12 26m 54s v0.32.0-RC3
June 26, 2023 14:12 26m 54s
[maven-release-plugin] prepare release v0.32.0-RC3
Build and Deploy #920: Commit 964f10e pushed by jurgenvinju
June 26, 2023 14:12 5s main
June 26, 2023 14:12 5s
set errors as warnings due to false type-checker error
Build and Deploy #919: Commit 072e7a2 pushed by jurgenvinju
June 26, 2023 13:29 35m 8s main
June 26, 2023 13:29 35m 8s
[maven-release-plugin] prepare for next development iteration
Build and Deploy #918: Commit 71ce45f pushed by jurgenvinju
June 26, 2023 12:45 4s main
June 26, 2023 12:45 4s
Build and Deploy
Build and Deploy #917: by jurgenvinju
June 26, 2023 12:45 19m 58s v0.32.0-RC2
June 26, 2023 12:45 19m 58s
ProTip! You can narrow down the results and go further in time using created:<2023-06-26 or the other filters available.