Skip to content

Actions: usethesource/rascal-tutor

Actions

Build and Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yaml
144 workflow runs
144 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[maven-release-plugin] prepare for next development iteration Build and Deploy #359: Commit b27808e pushed by DavyLandman
November 6, 2024 13:03 2s main
main
November 6, 2024 13:03 2s
[maven-release-plugin] prepare release v0.19.9 Build and Deploy #358: Commit 0d847ce pushed by DavyLandman
November 6, 2024 13:03 9m 27s v0.19.9
v0.19.9
November 6, 2024 13:03 9m 27s
[maven-release-plugin] prepare release v0.19.9 Build and Deploy #357: Commit 0d847ce pushed by DavyLandman
November 6, 2024 13:03 2s main
main
November 6, 2024 13:03 2s
Using latest rascal for tutor Build and Deploy #356: Commit d38e72d pushed by DavyLandman
November 6, 2024 13:02 8m 32s main
main
November 6, 2024 13:02 8m 32s
[maven-release-plugin] prepare for next development iteration Build and Deploy #355: Commit 7189877 pushed by jurgenvinju
October 28, 2024 15:04 3s main
main
October 28, 2024 15:04 3s
[maven-release-plugin] prepare release v0.19.8 Build and Deploy #354: Commit 4012821 pushed by jurgenvinju
October 28, 2024 15:04 7m 36s v0.19.8
v0.19.8
October 28, 2024 15:04 7m 36s
[maven-release-plugin] prepare release v0.19.8 Build and Deploy #353: Commit 4012821 pushed by jurgenvinju
October 28, 2024 15:04 3s main
main
October 28, 2024 15:04 3s
bumped versions of maven plugin and rascal Build and Deploy #352: Commit 65e639d pushed by jurgenvinju
October 28, 2024 14:10 8m 9s main
main
October 28, 2024 14:10 8m 9s
make sentences of synopsis and deprecated content: capitals and periods Build and Deploy #351: Commit e39433c pushed by jurgenvinju
October 28, 2024 14:09 5m 43s main
main
October 28, 2024 14:09 5m 43s
Merge pull request #41 from usethesource/progress-of-compilation Build and Deploy #350: Commit a0f7a85 pushed by jurgenvinju
October 24, 2024 18:42 8m 8s main
main
October 24, 2024 18:42 8m 8s
progress of compilation Build and Deploy #349: Pull request #41 opened by jurgenvinju
October 24, 2024 18:12 6m 40s progress-of-compilation
progress-of-compilation
October 24, 2024 18:12 6m 40s
[maven-release-plugin] prepare for next development iteration Build and Deploy #348: Commit 988446d pushed by jurgenvinju
October 17, 2024 17:44 1s main
main
October 17, 2024 17:44 1s
[maven-release-plugin] prepare release v0.19.7 Build and Deploy #347: Commit ad2293e pushed by jurgenvinju
October 17, 2024 17:44 8m 39s v0.19.7
v0.19.7
October 17, 2024 17:44 8m 39s
[maven-release-plugin] prepare release v0.19.7 Build and Deploy #346: Commit ad2293e pushed by jurgenvinju
October 17, 2024 17:44 2s main
main
October 17, 2024 17:44 2s
fixed issues in docs Build and Deploy #345: Commit 8242a47 pushed by jurgenvinju
October 17, 2024 17:37 8m 11s main
main
October 17, 2024 17:37 8m 11s
[maven-release-plugin] prepare for next development iteration Build and Deploy #344: Commit 3a7782c pushed by DavyLandman
October 2, 2024 13:42 2s main
main
October 2, 2024 13:42 2s
[maven-release-plugin] prepare release v0.19.6 Build and Deploy #343: Commit 8386e5f pushed by DavyLandman
October 2, 2024 13:42 8m 5s v0.19.6
v0.19.6
October 2, 2024 13:42 8m 5s
[maven-release-plugin] prepare release v0.19.6 Build and Deploy #342: Commit 8386e5f pushed by DavyLandman
October 2, 2024 13:42 3s main
main
October 2, 2024 13:42 3s
Using latest rascal-core typechecker Build and Deploy #341: Commit 30c9a2d pushed by DavyLandman
October 2, 2024 13:41 6m 59s main
main
October 2, 2024 13:41 6m 59s
[maven-release-plugin] prepare for next development iteration Build and Deploy #340: Commit 6b3e5f6 pushed by DavyLandman
July 22, 2024 10:27 2s main
main
July 22, 2024 10:27 2s
[maven-release-plugin] prepare release v0.19.5 Build and Deploy #339: Commit 501e14d pushed by DavyLandman
July 22, 2024 10:27 7m 37s v0.19.5
v0.19.5
July 22, 2024 10:27 7m 37s
[maven-release-plugin] prepare release v0.19.5 Build and Deploy #338: Commit 501e14d pushed by DavyLandman
July 22, 2024 10:27 2s main
main
July 22, 2024 10:27 2s
Making sure to use latest release plugin Build and Deploy #337: Commit ff7c169 pushed by DavyLandman
July 22, 2024 10:26 6m 46s main
main
July 22, 2024 10:26 6m 46s
Using latest versions of rascal Build and Deploy #336: Commit b70e078 pushed by DavyLandman
July 22, 2024 10:15 5m 19s v0.19.5
v0.19.5
July 22, 2024 10:15 5m 19s
Using latest versions of rascal Build and Deploy #335: Commit b70e078 pushed by DavyLandman
July 22, 2024 10:15 7m 30s main
main
July 22, 2024 10:15 7m 30s