Skip to content

Actions: ftsrg/theta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
976 workflow run results
976 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #255: by github-pages bot
February 26, 2024 15:55 55s gh-pages
gh-pages
February 26, 2024 15:55 55s
pages build and deployment pages-build-deployment #254: by github-pages bot
February 26, 2024 15:47 50s gh-pages
gh-pages
February 26, 2024 15:47 50s
Added multi formalism to create product of arbitrary number of formal… Sonar analysis #655: Pull request #251 labeled by leventeBajczi
February 26, 2024 15:47 8m 13s
February 26, 2024 15:47 8m 13s
Added multi formalism to create product of arbitrary number of formal… Windows build and test #656: Pull request #251 synchronize by leventeBajczi
February 26, 2024 15:47 11m 15s RipplB:multi_product
RipplB:multi_product
February 26, 2024 15:47 11m 15s
Added multi formalism to create product of arbitrary number of formal… Linux build-test-deploy #666: Pull request #251 synchronize by leventeBajczi
February 26, 2024 15:47 20m 19s RipplB:multi_product
RipplB:multi_product
February 26, 2024 15:47 20m 19s
Added multi formalism to create product of arbitrary number of formal… macOS build and test #656: Pull request #251 synchronize by leventeBajczi
February 26, 2024 15:47 23m 29s RipplB:multi_product
RipplB:multi_product
February 26, 2024 15:47 23m 29s
Added multi formalism to create product of arbitrary number of formal… Check formatting #656: Pull request #251 synchronize by leventeBajczi
February 26, 2024 15:47 1m 51s RipplB:multi_product
RipplB:multi_product
February 26, 2024 15:47 1m 51s
Added multi formalism to create product of arbitrary number of formal… Check version #323: Pull request #251 synchronize by leventeBajczi
February 26, 2024 15:47 2m 26s RipplB:multi_product
RipplB:multi_product
February 26, 2024 15:47 2m 26s
Added multi formalism to create product of arbitrary number of formal… Check copyright #712: Pull request #251 synchronize by leventeBajczi
February 26, 2024 15:47 25s RipplB:multi_product
RipplB:multi_product
February 26, 2024 15:47 25s
Added multi formalism to create product of arbitrary number of formal… Sonar analysis #654: Pull request #251 synchronize by leventeBajczi
February 26, 2024 15:47 30s
February 26, 2024 15:47 30s
Update sonar.yml Sonar analysis #653: Commit 006b6fc pushed by leventeBajczi
February 26, 2024 15:46 9m 48s master
master
February 26, 2024 15:46 9m 48s
Update sonar.yml Linux build-test-deploy #665: Commit 006b6fc pushed by leventeBajczi
February 26, 2024 15:46 11m 9s master
master
February 26, 2024 15:46 11m 9s
Update sonar.yml macOS build and test #655: Commit 006b6fc pushed by leventeBajczi
February 26, 2024 15:46 17m 5s master
master
February 26, 2024 15:46 17m 5s
Update sonar.yml Windows build and test #655: Commit 006b6fc pushed by leventeBajczi
February 26, 2024 15:46 11m 31s master
master
February 26, 2024 15:46 11m 31s
Update sonar.yml Check formatting #655: Commit 006b6fc pushed by leventeBajczi
February 26, 2024 15:46 1m 38s master
master
February 26, 2024 15:46 1m 38s
Update sonar.yml Check copyright #711: Commit 006b6fc pushed by leventeBajczi
February 26, 2024 15:46 23s master
master
February 26, 2024 15:46 23s
pages build and deployment pages-build-deployment #253: by github-pages bot
February 26, 2024 15:46 1m 3s gh-pages
gh-pages
February 26, 2024 15:46 1m 3s
Added multi formalism to create product of arbitrary number of formal… Check copyright #710: Pull request #251 synchronize by leventeBajczi
February 26, 2024 15:46 31s RipplB:multi_product
RipplB:multi_product
February 26, 2024 15:46 31s
Added multi formalism to create product of arbitrary number of formal… macOS build and test #654: Pull request #251 synchronize by leventeBajczi
February 26, 2024 15:46 1m 5s RipplB:multi_product
RipplB:multi_product
February 26, 2024 15:46 1m 5s
Added multi formalism to create product of arbitrary number of formal… Windows build and test #654: Pull request #251 synchronize by leventeBajczi
February 26, 2024 15:46 1m 8s RipplB:multi_product
RipplB:multi_product
February 26, 2024 15:46 1m 8s
Added multi formalism to create product of arbitrary number of formal… Check formatting #654: Pull request #251 synchronize by leventeBajczi
February 26, 2024 15:46 1m 19s RipplB:multi_product
RipplB:multi_product
February 26, 2024 15:46 1m 19s
Added multi formalism to create product of arbitrary number of formal… Check version #322: Pull request #251 synchronize by leventeBajczi
February 26, 2024 15:46 1m 16s RipplB:multi_product
RipplB:multi_product
February 26, 2024 15:46 1m 16s
Added multi formalism to create product of arbitrary number of formal… Linux build-test-deploy #664: Pull request #251 synchronize by leventeBajczi
February 26, 2024 15:46 1m 16s RipplB:multi_product
RipplB:multi_product
February 26, 2024 15:46 1m 16s
Added multi formalism to create product of arbitrary number of formal… Sonar analysis #652: Pull request #251 synchronize by leventeBajczi
February 26, 2024 15:46 30s
February 26, 2024 15:46 30s
Update sonar.yml Check copyright #709: Commit c0f0d41 pushed by leventeBajczi
February 26, 2024 15:45 31s master
master
February 26, 2024 15:45 31s