Skip to content

Actions: usethesource/rascal-tutor

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
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