Skip to content

Actions: archimedes-projects/archimedes-jvm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add hashCode() function to ArrayParameter Build CI #19: Pull request #16 opened by alejandropg
July 12, 2024 09:59 2m 24s feat/add-arrayparameter-hascode
feat/add-arrayparameter-hascode
July 12, 2024 09:59 2m 24s
fix: correct predicates expression extensions Build CI #18: Commit be8744c pushed by alejandropg
July 12, 2024 09:44 2m 5s main
main
July 12, 2024 09:44 2m 5s
fix: correct predicates expression extensions Build CI #17: Pull request #13 synchronize by alejandropg
July 12, 2024 09:35 1m 58s MiguelMJ:fix/correct-predicates-expression-extensions
MiguelMJ:fix/correct-predicates-expression-extensions
July 12, 2024 09:35 1m 58s
feat: overload verifiedSpiedRun to take a VerificationMode arg Build CI #16: Commit d9c74b7 pushed by alejandropg
July 12, 2024 09:33 1m 58s main
main
July 12, 2024 09:33 1m 58s
feat: overload verifiedSpiedRun to take a VerificationMode arg Build CI #15: Pull request #15 synchronize by alejandropg
July 12, 2024 09:31 2m 2s MiguelMJ:feat/spied-runs-verification-mode
MiguelMJ:feat/spied-runs-verification-mode
July 12, 2024 09:31 2m 2s
fix: implement ArrayParameter equals Build CI #14: Commit c278e26 pushed by alejandropg
July 12, 2024 09:30 1m 56s main
main
July 12, 2024 09:30 1m 56s
fix: implement ArrayParameter equals Build CI #13: Pull request #14 synchronize by alejandropg
July 12, 2024 09:28 1m 59s MiguelMJ:fix/arrayparameter-equals
MiguelMJ:fix/arrayparameter-equals
July 12, 2024 09:28 1m 59s
Bump org.postgresql:postgresql from 42.5.1 to 42.7.2 Build CI #12: Commit fbcdeb1 pushed by alejandropg
July 12, 2024 08:34 4m 13s main
main
July 12, 2024 08:34 4m 13s
fix: implement ArrayParameter equals Build CI #10: Pull request #14 opened by MiguelMJ
July 2, 2024 18:24 4m 38s MiguelMJ:fix/arrayparameter-equals
MiguelMJ:fix/arrayparameter-equals
July 2, 2024 18:24 4m 38s
Bump org.postgresql:postgresql from 42.5.1 to 42.7.2 Build CI #8: Pull request #12 opened by dependabot bot
February 21, 2024 00:13 3m 41s dependabot/maven/org.postgresql-postgresql-42.7.2
dependabot/maven/org.postgresql-postgresql-42.7.2
February 21, 2024 00:13 3m 41s