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 #259: by github-pages bot
March 10, 2024 15:56 57s gh-pages
gh-pages
March 10, 2024 15:56 57s
Z3 update macOS build and test #673: Pull request #254 synchronize by leventeBajczi
March 10, 2024 15:44 16m 17s z3-update
z3-update
March 10, 2024 15:44 16m 17s
Z3 update Check version #333: Pull request #254 synchronize by leventeBajczi
March 10, 2024 15:44 2m 30s z3-update
z3-update
March 10, 2024 15:44 2m 30s
Z3 update Linux build-test-deploy #683: Pull request #254 synchronize by leventeBajczi
March 10, 2024 15:44 12m 8s z3-update
z3-update
March 10, 2024 15:44 12m 8s
Z3 update Check copyright #729: Pull request #254 synchronize by leventeBajczi
March 10, 2024 15:44 24s z3-update
z3-update
March 10, 2024 15:44 24s
Z3 update Check formatting #673: Pull request #254 synchronize by leventeBajczi
March 10, 2024 15:44 1m 29s z3-update
z3-update
March 10, 2024 15:44 1m 29s
Z3 update Windows build and test #673: Pull request #254 synchronize by leventeBajczi
March 10, 2024 15:44 9m 1s z3-update
z3-update
March 10, 2024 15:44 9m 1s
Z3 update Sonar analysis #674: Pull request #254 synchronize by leventeBajczi
March 10, 2024 15:44 9m 24s
March 10, 2024 15:44 9m 24s
Renamed package macOS build and test #672: Commit bc60bd6 pushed by leventeBajczi
March 10, 2024 15:44 12m 16s z3-update
z3-update
March 10, 2024 15:44 12m 16s
Renamed package Linux build-test-deploy #682: Commit bc60bd6 pushed by leventeBajczi
March 10, 2024 15:44 12m 58s z3-update
z3-update
March 10, 2024 15:44 12m 58s
Renamed package Check copyright #728: Commit bc60bd6 pushed by leventeBajczi
March 10, 2024 15:44 27s z3-update
z3-update
March 10, 2024 15:44 27s
Renamed package Check formatting #672: Commit bc60bd6 pushed by leventeBajczi
March 10, 2024 15:44 1m 25s z3-update
z3-update
March 10, 2024 15:44 1m 25s
Renamed package Windows build and test #672: Commit bc60bd6 pushed by leventeBajczi
March 10, 2024 15:44 9m 1s z3-update
z3-update
March 10, 2024 15:44 9m 1s
Renamed package Sonar analysis #673: Commit bc60bd6 pushed by leventeBajczi
March 10, 2024 15:44 9m 18s z3-update
z3-update
March 10, 2024 15:44 9m 18s
Z3 update Sonar analysis #672: Pull request #254 labeled by leventeBajczi
March 10, 2024 15:23 5m 11s
March 10, 2024 15:23 5m 11s
Z3 update Sonar analysis #671: Pull request #254 synchronize by leventeBajczi
March 10, 2024 15:21 31s
March 10, 2024 15:21 31s
Z3 update Check copyright #727: Pull request #254 synchronize by leventeBajczi
March 10, 2024 15:21 31s z3-update
z3-update
March 10, 2024 15:21 31s
Z3 update Check formatting #671: Pull request #254 synchronize by leventeBajczi
March 10, 2024 15:21 1m 26s z3-update
z3-update
March 10, 2024 15:21 1m 26s
Z3 update Linux build-test-deploy #681: Pull request #254 synchronize by leventeBajczi
March 10, 2024 15:21 4m 27s z3-update
z3-update
March 10, 2024 15:21 4m 27s
Z3 update Windows build and test #671: Pull request #254 synchronize by leventeBajczi
March 10, 2024 15:21 6m 54s z3-update
z3-update
March 10, 2024 15:21 6m 54s
Z3 update macOS build and test #671: Pull request #254 synchronize by leventeBajczi
March 10, 2024 15:21 10m 8s z3-update
z3-update
March 10, 2024 15:21 10m 8s
Z3 update Check version #332: Pull request #254 synchronize by leventeBajczi
March 10, 2024 15:21 2m 18s z3-update
z3-update
March 10, 2024 15:21 2m 18s
Added dep to build Check copyright #726: Commit 09af31a pushed by leventeBajczi
March 10, 2024 15:20 28s z3-update
z3-update
March 10, 2024 15:20 28s
Added dep to build Check formatting #670: Commit 09af31a pushed by leventeBajczi
March 10, 2024 15:20 1m 24s z3-update
z3-update
March 10, 2024 15:20 1m 24s
Added dep to build Linux build-test-deploy #680: Commit 09af31a pushed by leventeBajczi
March 10, 2024 15:20 4m 31s z3-update
z3-update
March 10, 2024 15:20 4m 31s