Skip to content

Actions: Cambio-Project/TL-Tea

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

1.0.0-SNAPSHOT
Maven Package #29: Release 1.0.0-SNAPSHOT created by franksn90
May 10, 2024 16:50 1m 29s
May 10, 2024 16:50 1m 29s
Fix TLT-Tea only working for the last formula
Maven Build & Test #68: Commit 9907e20 pushed by franksn90
May 10, 2024 16:50 1m 8s 1.0.0-SNAPSHOT
May 10, 2024 16:50 1m 8s
Fix TLT-Tea only working for the last formula
Maven Build & Test #67: Commit 9907e20 pushed by franksn90
May 10, 2024 16:45 1m 6s 1.0.0-SNAPSHOT
May 10, 2024 16:45 1m 6s
Try publishing via GitHub packages
Maven Build & Test #66: Commit 15febc0 pushed by franksn90
May 10, 2024 16:43 1m 5s 1.0.0-SNAPSHOT
May 10, 2024 16:43 1m 5s
Fix TLT-Tea only working for the last formula
Maven Build & Test #65: Commit 9907e20 pushed by franksn90
May 10, 2024 16:33 1m 21s main
May 10, 2024 16:33 1m 21s
Maven Package
Maven Package #28: created by franksn90
March 11, 2024 18:48 2m 50s
March 11, 2024 18:48 2m 50s
Try publishing via GitHub packages
Maven Build & Test #64: Commit 15febc0 pushed by franksn90
March 11, 2024 18:48 1m 14s 1.0.0-SNAPSHOT
March 11, 2024 18:48 1m 14s
Try publishing via GitHub packages
Maven Build & Test #63: Commit 15febc0 pushed by franksn90
March 11, 2024 18:48 3m 3s main
March 11, 2024 18:48 3m 3s
Maven Package
Maven Package #27: created by franksn90
March 11, 2024 18:14 1m 17s
March 11, 2024 18:14 1m 17s
Update maven-publish.yml
Maven Build & Test #62: Commit 3efb91f pushed by franksn90
March 11, 2024 18:11 1m 14s 1.0.0-SNAPSHOT
March 11, 2024 18:11 1m 14s
Prepare for snapshot release
Maven Build & Test #61: Commit fc19017 pushed by franksn90
March 11, 2024 18:11 1m 9s 1.0.0-SNAPSHOT
March 11, 2024 18:11 1m 9s
Maven Package
Maven Package #26: created by franksn90
March 11, 2024 18:05 1m 15s
March 11, 2024 18:05 1m 15s
Update maven-publish.yml
Maven Build & Test #60: Commit 3efb91f pushed by franksn90
March 11, 2024 17:51 1m 17s main
March 11, 2024 17:51 1m 17s
Update maven-publish.yml
Maven Build & Test #59: Commit e05f9fb pushed by franksn90
March 11, 2024 17:32 1m 12s main
March 11, 2024 17:32 1m 12s
Update maven-publish.yml
Maven Build & Test #58: Commit 037c470 pushed by franksn90
March 11, 2024 17:02 1m 19s main
March 11, 2024 17:02 1m 19s
Maven Package
Maven Package #25: created by franksn90
March 11, 2024 11:23 3m 5s
March 11, 2024 11:23 3m 5s
Merge pull request #4 from Cambio-Project/FullMTLSupport
Maven Build & Test #57: Commit 0166d87 pushed by franksn90
March 11, 2024 11:23 1m 12s 1.0.0-SNAPSHOT
March 11, 2024 11:23 1m 12s
Merge pull request #4 from Cambio-Project/FullMTLSupport
Maven Build & Test #56: Commit 0166d87 pushed by franksn90
March 11, 2024 11:13 1m 6s main
March 11, 2024 11:13 1m 6s
Add basic passive verifcation (Snapshot Release)
Maven Build & Test #55: Pull request #4 opened by franksn90
March 11, 2024 11:11 1m 7s FullMTLSupport
March 11, 2024 11:11 1m 7s
Prepare for snapshot release
Maven Build & Test #54: Commit fc19017 pushed by franksn90
March 11, 2024 11:08 1m 10s FullMTLSupport
March 11, 2024 11:08 1m 10s
Improve implementation of Weak Until Operator for better performance
Maven Build & Test #53: Commit 90afe79 pushed by franksn90
February 9, 2024 13:08 1m 11s FullMTLSupport
February 9, 2024 13:08 1m 11s
Improve performance and scalability
Maven Build & Test #52: Commit 715ac02 pushed by franksn90
February 9, 2024 11:14 1m 12s FullMTLSupport
February 9, 2024 11:14 1m 12s
Do basic clean-up
Maven Build & Test #51: Commit 7a3479c pushed by franksn90
February 2, 2024 19:29 1m 8s FullMTLSupport
February 2, 2024 19:29 1m 8s
Add full Future-MTL support
Maven Build & Test #50: Commit 0e86069 pushed by franksn90
February 1, 2024 13:27 1m 8s FullMTLSupport
February 1, 2024 13:27 1m 8s
WIP
Maven Build & Test #49: Commit d3c9b60 pushed by franksn90
January 5, 2024 10:52 1m 20s FullMTLSupport
January 5, 2024 10:52 1m 20s