Skip to content

Actions: usethesource/vallang

Actions

Build and Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yaml
51 workflow run results
51 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

added IValue.getPatternMatchFingerprint() that simulates rascal-core:TopLevelType.getFingerprint(v) exactly for the value kinds we have in vallang Build and Deploy #290: Pull request #210 synchronize by jurgenvinju
October 6, 2023 12:13 3m 22s pattern-match-fingerprint
pattern-match-fingerprint
October 6, 2023 12:13 3m 22s
added IValue.getPatternMatchFingerprint() that simulates rascal-core:TopLevelType.getFingerprint(v) exactly for the value kinds we have in vallang Build and Deploy #289: Pull request #210 opened by jurgenvinju
October 6, 2023 11:49 4m 45s pattern-match-fingerprint
pattern-match-fingerprint
October 6, 2023 11:49 4m 45s
Bump com.github.luben:zstd-jni from 1.5.5-5 to 1.5.5-6 (#204) Build and Deploy #288: Commit 65115ed pushed by DavyLandman
October 2, 2023 11:01 6m 10s main
main
October 2, 2023 11:01 6m 10s
Bump org.codehaus.mojo:buildnumber-maven-plugin from 3.0.0 to 3.2.0 (… Build and Deploy #287: Commit fcace6f pushed by DavyLandman
October 2, 2023 11:00 5m 23s main
main
October 2, 2023 11:00 5m 23s
Bump org.apache.maven.plugins:maven-source-plugin from 3.2.1 to 3.3.0… Build and Deploy #286: Commit a22e215 pushed by DavyLandman
October 2, 2023 11:00 5m 6s main
main
October 2, 2023 11:00 5m 6s
Bump org.apache.maven.plugins:maven-javadoc-plugin from 3.5.0 to 3.6.… Build and Deploy #285: Commit 11d2872 pushed by DavyLandman
October 2, 2023 11:00 5m 58s main
main
October 2, 2023 11:00 5m 58s
Bump actions/checkout from 3 to 4 (#208) Build and Deploy #284: Commit cac56b9 pushed by DavyLandman
October 2, 2023 10:59 5m 32s main
main
October 2, 2023 10:59 5m 32s
Bump actions/checkout from 3 to 4 Build and Deploy #283: Pull request #208 opened by dependabot bot
October 1, 2023 21:12 5m 13s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
October 1, 2023 21:12 5m 13s
Bump org.apache.maven.plugins:maven-javadoc-plugin from 3.5.0 to 3.6.0 Build and Deploy #282: Pull request #207 opened by dependabot bot
October 1, 2023 21:12 4m 51s dependabot/maven/org.apache.maven.plugins-maven-javadoc-plugin-3.6.0
dependabot/maven/org.apache.maven.plugins-maven-javadoc-plugin-3.6.0
October 1, 2023 21:12 4m 51s
Bump org.apache.maven.plugins:maven-source-plugin from 3.2.1 to 3.3.0 Build and Deploy #281: Pull request #206 opened by dependabot bot
October 1, 2023 21:12 5m 10s dependabot/maven/org.apache.maven.plugins-maven-source-plugin-3.3.0
dependabot/maven/org.apache.maven.plugins-maven-source-plugin-3.3.0
October 1, 2023 21:12 5m 10s
Bump org.codehaus.mojo:buildnumber-maven-plugin from 3.0.0 to 3.2.0 Build and Deploy #280: Pull request #205 opened by dependabot bot
October 1, 2023 21:12 5m 11s dependabot/maven/org.codehaus.mojo-buildnumber-maven-plugin-3.2.0
dependabot/maven/org.codehaus.mojo-buildnumber-maven-plugin-3.2.0
October 1, 2023 21:12 5m 11s
Bump com.github.luben:zstd-jni from 1.5.5-5 to 1.5.5-6 Build and Deploy #279: Pull request #204 opened by dependabot bot
October 1, 2023 21:12 4m 49s dependabot/maven/com.github.luben-zstd-jni-1.5.5-6
dependabot/maven/com.github.luben-zstd-jni-1.5.5-6
October 1, 2023 21:12 4m 49s
[maven-release-plugin] prepare for next development iteration Build and Deploy #278: Commit 5c5c684 pushed by jurgenvinju
September 20, 2023 14:31 4m 51s main
main
September 20, 2023 14:31 4m 51s
[maven-release-plugin] prepare release v0.15.1 Build and Deploy #277: Commit 91a3697 pushed by jurgenvinju
September 20, 2023 14:31 5m 15s v0.15.1
v0.15.1
September 20, 2023 14:31 5m 15s
[maven-release-plugin] prepare release v0.15.1 Build and Deploy #276: Commit 91a3697 pushed by jurgenvinju
September 20, 2023 14:31 5m 49s main
main
September 20, 2023 14:31 5m 49s
started to add the functionality of URIUtil to ISourceLocation for better encapsulation of OS-specific behavior Build and Deploy #275: Pull request #195 synchronize by jurgenvinju
September 20, 2023 14:28 53s inlining-uri-util-into-isourcelocation
inlining-uri-util-into-isourcelocation
September 20, 2023 14:28 53s
Merge pull request #203 from usethesource/faster-hot-entries-hashcons Build and Deploy #274: Commit 0c421dc pushed by jurgenvinju
September 20, 2023 13:09 4m 49s main
main
September 20, 2023 13:09 4m 49s
Rewrote the caches introduce for the hashconsing of types Build and Deploy #273: Pull request #203 synchronize by DavyLandman
September 20, 2023 12:44 7m 9s faster-hot-entries-hashcons
faster-hot-entries-hashcons
September 20, 2023 12:44 7m 9s
Rewrote the caches introduce for the hashconsing of types Build and Deploy #272: Pull request #203 synchronize by DavyLandman
September 20, 2023 10:56 5m 17s faster-hot-entries-hashcons
faster-hot-entries-hashcons
September 20, 2023 10:56 5m 17s
Rewrote the caches introduce for the hashconsing of types Build and Deploy #271: Pull request #203 synchronize by DavyLandman
September 20, 2023 10:53 4m 17s faster-hot-entries-hashcons
faster-hot-entries-hashcons
September 20, 2023 10:53 4m 17s
Rewrote the caches introduce for the hashconsing of types Build and Deploy #270: Pull request #203 opened by DavyLandman
September 20, 2023 10:44 5m 26s faster-hot-entries-hashcons
faster-hot-entries-hashcons
September 20, 2023 10:44 5m 26s
Wrote s3-fifo inspired hash consing, to reduce locking when hitting the get Build and Deploy #269: Pull request #202 opened by DavyLandman
September 19, 2023 11:38 12m 47s s3-fifo-inspired-hash-consing
s3-fifo-inspired-hash-consing
September 19, 2023 11:38 12m 47s
Updated IGNORE_OVERLOADING_CHECKS for the benefit of the compiler Build and Deploy #268: Commit 39a8d25 pushed by PaulKlint
September 16, 2023 22:30 5m 26s main
main
September 16, 2023 22:30 5m 26s
Bump maven-javadoc-plugin from 3.4.1 to 3.5.0 (#184) Build and Deploy #267: Commit fef78f8 pushed by DavyLandman
September 13, 2023 12:23 5m 24s main
main
September 13, 2023 12:23 5m 24s
Bump org.apache.commons:commons-compress from 1.22 to 1.24.0 (#199) Build and Deploy #266: Commit c439ca0 pushed by DavyLandman
September 13, 2023 12:19 7m 6s main
main
September 13, 2023 12:19 7m 6s