Skip to content

Actions: cwi-swat/rascal-git

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Upgraded to latest rascal release Build and Deploy #53: Pull request #3 synchronize by DavyLandman
July 5, 2024 07:47 4m 35s SWAT-engineering:chore/update-latest-rascal-release
SWAT-engineering:chore/update-latest-rascal-release
July 5, 2024 07:47 4m 35s
Update pom.xml Build and Deploy #52: Commit a2111f4 pushed by jurgenvinju
June 15, 2024 07:30 2m 44s main
main
June 15, 2024 07:30 2m 44s
Upgraded to latest rascal release Build and Deploy #51: Pull request #3 opened by DavyLandman
June 14, 2024 12:47 2m 26s SWAT-engineering:chore/update-latest-rascal-release
SWAT-engineering:chore/update-latest-rascal-release
June 14, 2024 12:47 2m 26s
[maven-release-plugin] prepare for next development iteration Build and Deploy #50: Commit a8505af pushed by jurgenvinju
October 18, 2023 08:33 3s main
main
October 18, 2023 08:33 3s
[maven-release-plugin] prepare release v0.1.14 Build and Deploy #49: Commit 2554cfa pushed by jurgenvinju
October 18, 2023 08:33 3m 27s v0.1.14
v0.1.14
October 18, 2023 08:33 3m 27s
[maven-release-plugin] prepare release v0.1.14 Build and Deploy #48: Commit 2554cfa pushed by jurgenvinju
October 18, 2023 08:33 3s main
main
October 18, 2023 08:33 3s
fixed versions Build and Deploy #47: Commit 058f375 pushed by jurgenvinju
September 6, 2023 08:43 3m 14s main
main
September 6, 2023 08:43 3m 14s
bumped Build and Deploy #46: Commit 30aae58 pushed by jurgenvinju
September 5, 2023 10:05 31s main
main
September 5, 2023 10:05 31s
bumped rascal and rascal-maven-plugin Build and Deploy #45: Commit b5e41d1 pushed by jurgenvinju
September 1, 2023 06:06 37s main
main
September 1, 2023 06:06 37s
[maven-release-plugin] prepare for next development iteration Build and Deploy #44: Commit 7b18a4f pushed by jurgenvinju
June 29, 2023 10:12 2s main
main
June 29, 2023 10:12 2s
[maven-release-plugin] prepare release v0.1.13 Build and Deploy #43: Commit 360955f pushed by jurgenvinju
June 29, 2023 10:12 3m 22s v0.1.13
v0.1.13
June 29, 2023 10:12 3m 22s
[maven-release-plugin] prepare release v0.1.13 Build and Deploy #42: Commit 360955f pushed by jurgenvinju
June 29, 2023 10:12 2s main
main
June 29, 2023 10:12 2s
[maven-release-plugin] prepare for next development iteration Build and Deploy #41: Commit 2c9e242 pushed by jurgenvinju
June 29, 2023 08:46 2s main
main
June 29, 2023 08:46 2s
[maven-release-plugin] prepare release v0.1.12 Build and Deploy #40: Commit 7dc88ca pushed by jurgenvinju
June 29, 2023 08:46 2m 55s v0.1.12
v0.1.12
June 29, 2023 08:46 2m 55s
[maven-release-plugin] prepare release v0.1.12 Build and Deploy #39: Commit 7dc88ca pushed by jurgenvinju
June 29, 2023 08:46 2s main
main
June 29, 2023 08:46 2s
[maven-release-plugin] prepare for next development iteration Build and Deploy #38: Commit 2599450 pushed by jurgenvinju
June 14, 2023 12:21 2s main
main
June 14, 2023 12:21 2s
[maven-release-plugin] prepare release v0.1.11 Build and Deploy #37: Commit dc5c711 pushed by jurgenvinju
June 14, 2023 12:21 1m 47s v0.1.11
v0.1.11
June 14, 2023 12:21 1m 47s
[maven-release-plugin] prepare release v0.1.11 Build and Deploy #36: Commit dc5c711 pushed by jurgenvinju
June 14, 2023 12:21 3s main
main
June 14, 2023 12:21 3s
[maven-release-plugin] prepare for next development iteration Build and Deploy #35: Commit 213acdb pushed by jurgenvinju
June 14, 2023 08:48 2s main
main
June 14, 2023 08:48 2s
[maven-release-plugin] prepare release v0.1.10 Build and Deploy #34: Commit c7cd1c0 pushed by jurgenvinju
June 14, 2023 08:48 1m 45s v0.1.10
v0.1.10
June 14, 2023 08:48 1m 45s
[maven-release-plugin] prepare release v0.1.10 Build and Deploy #33: Commit c7cd1c0 pushed by jurgenvinju
June 14, 2023 08:48 2s main
main
June 14, 2023 08:48 2s
indented and added tutor Build and Deploy #32: Commit 3b2ac79 pushed by jurgenvinju
June 14, 2023 08:46 1m 15s main
main
June 14, 2023 08:46 1m 15s
[maven-release-plugin] prepare for next development iteration Build and Deploy #31: Commit 9e738ba pushed by jurgenvinju
June 14, 2023 08:18 2s main
main
June 14, 2023 08:18 2s
[maven-release-plugin] prepare release v0.1.9 Build and Deploy #30: Commit 93b0b09 pushed by jurgenvinju
June 14, 2023 08:18 1m 24s v0.1.9
v0.1.9
June 14, 2023 08:18 1m 24s
[maven-release-plugin] prepare release v0.1.9 Build and Deploy #29: Commit 93b0b09 pushed by jurgenvinju
June 14, 2023 08:18 2s main
main
June 14, 2023 08:18 2s