Skip to content

Actions: usethesource/vallang

Actions

Build and Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yaml
279 workflow runs
279 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #231 from usethesource/fix-bad-transitive-closure.… Build and Deploy #343: Commit bfb88a7 pushed by jurgenvinju
January 8, 2024 13:55 3m 59s main
main
January 8, 2024 13:55 3m 59s
revived old optimized implementation of transitive closure on binary relations from commit ba86a8 Build and Deploy #342: Pull request #231 opened by jurgenvinju
January 8, 2024 13:54 3m 52s fix-bad-transitive-closure
fix-bad-transitive-closure
January 8, 2024 13:54 3m 52s
Bump the checker-framework group with 2 updates (#227) Build and Deploy #341: Commit 71312b1 pushed by dependabot bot
January 2, 2024 19:49 6m 0s main
main
January 2, 2024 19:49 6m 0s
Bump the maven-plugins group with 3 updates (#228) Build and Deploy #340: Commit 1e16c5a pushed by dependabot bot
January 2, 2024 19:49 6m 49s main
main
January 2, 2024 19:49 6m 49s
Bump the gh-actions group with 2 updates (#229) Build and Deploy #339: Commit 415707f pushed by dependabot bot
January 2, 2024 19:48 7m 10s main
main
January 2, 2024 19:48 7m 10s
Bump the gh-actions group with 2 updates Build and Deploy #338: Pull request #229 opened by dependabot bot
January 1, 2024 21:58 6m 23s dependabot/github_actions/gh-actions-3817260259
dependabot/github_actions/gh-actions-3817260259
January 1, 2024 21:58 6m 23s
Bump the maven-plugins group with 3 updates Build and Deploy #337: Pull request #228 opened by dependabot bot
January 1, 2024 21:13 5m 51s dependabot/maven/maven-plugins-08766fefe4
dependabot/maven/maven-plugins-08766fefe4
January 1, 2024 21:13 5m 51s
Bump the checker-framework group with 2 updates Build and Deploy #336: Pull request #227 opened by dependabot bot
January 1, 2024 21:13 5m 56s dependabot/maven/checker-framework-d96f63cef3
dependabot/maven/checker-framework-d96f63cef3
January 1, 2024 21:13 5m 56s
Make vallang build and target java 17 Build and Deploy #335: Pull request #226 synchronize by jurgenvinju
December 15, 2023 10:57 4m 20s upgrade-jdk17
upgrade-jdk17
December 15, 2023 10:57 4m 20s
Update codeql.yml Build and Deploy #334: Commit b422bb0 pushed by jurgenvinju
December 15, 2023 10:54 4m 42s main
main
December 15, 2023 10:54 4m 42s
Create codeql.yml Build and Deploy #333: Commit 36128f9 pushed by jurgenvinju
December 15, 2023 10:52 6m 13s main
main
December 15, 2023 10:52 6m 13s
Make vallang build and target java 17 Build and Deploy #332: Pull request #226 synchronize by jurgenvinju
December 14, 2023 18:06 5m 57s upgrade-jdk17
upgrade-jdk17
December 14, 2023 18:06 5m 57s
Make vallang build and target java 17 Build and Deploy #331: Pull request #226 synchronize by jurgenvinju
December 14, 2023 15:54 5m 56s upgrade-jdk17
upgrade-jdk17
December 14, 2023 15:54 5m 56s
Make vallang build and target java 17 Build and Deploy #330: Pull request #226 opened by DavyLandman
December 14, 2023 11:12 5m 58s upgrade-jdk17
upgrade-jdk17
December 14, 2023 11:12 5m 58s
Bump the gh-actions group with 1 update (#222) Build and Deploy #329: Commit 3732d54 pushed by dependabot bot
December 2, 2023 08:26 5m 55s main
main
December 2, 2023 08:26 5m 55s
Bump the checker-framework group with 2 updates (#224) Build and Deploy #328: Commit 35ee2e4 pushed by dependabot bot
December 2, 2023 08:26 3m 36s main
main
December 2, 2023 08:26 3m 36s
Bump the upstream-libs group with 5 updates (#223) Build and Deploy #327: Commit 37d2a30 pushed by dependabot bot
December 2, 2023 08:25 3m 34s main
main
December 2, 2023 08:25 3m 34s
Bump the maven-plugins group with 2 updates (#225) Build and Deploy #326: Commit 467d4b1 pushed by dependabot bot
December 2, 2023 08:24 3m 28s main
main
December 2, 2023 08:24 3m 28s
Bump the maven-plugins group with 2 updates Build and Deploy #325: Pull request #225 opened by dependabot bot
December 2, 2023 08:20 4m 26s dependabot/maven/maven-plugins-9752316b49
dependabot/maven/maven-plugins-9752316b49
December 2, 2023 08:20 4m 26s
Bump the checker-framework group with 2 updates Build and Deploy #324: Pull request #224 opened by dependabot bot
December 2, 2023 08:20 6m 37s dependabot/maven/checker-framework-e113ec0156
dependabot/maven/checker-framework-e113ec0156
December 2, 2023 08:20 6m 37s
Bump the upstream-libs group with 5 updates Build and Deploy #323: Pull request #223 opened by dependabot bot
December 2, 2023 08:19 4m 39s dependabot/maven/upstream-libs-80b6599253
dependabot/maven/upstream-libs-80b6599253
December 2, 2023 08:19 4m 39s
Bump the gh-actions group with 1 update Build and Deploy #322: Pull request #222 opened by dependabot bot
December 2, 2023 08:19 6m 28s dependabot/github_actions/gh-actions-326c0c2eb0
dependabot/github_actions/gh-actions-326c0c2eb0
December 2, 2023 08:19 6m 28s
Use dependabot groups to cut down on all the separate PRs Build and Deploy #321: Commit b07b28b pushed by DavyLandman
December 2, 2023 08:19 4m 13s main
main
December 2, 2023 08:19 4m 13s
Bump actions/setup-java from 3 to 4 Build and Deploy #320: Pull request #221 opened by dependabot bot
December 1, 2023 21:47 5m 57s dependabot/github_actions/actions/setup-java-4
dependabot/github_actions/actions/setup-java-4
December 1, 2023 21:47 5m 57s
Bump org.junit.jupiter:junit-jupiter-engine from 5.10.0 to 5.10.1 Build and Deploy #319: Pull request #220 opened by dependabot bot
December 1, 2023 21:10 6m 12s dependabot/maven/org.junit.jupiter-junit-jupiter-engine-5.10.1
dependabot/maven/org.junit.jupiter-junit-jupiter-engine-5.10.1
December 1, 2023 21:10 6m 12s