Skip to content

Actions: csanadtelbisz/theta

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,104 workflow runs
1,104 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #311 from RipplB/ltl2
Check formatting #227: Commit b513261 pushed by csanadtelbisz
February 11, 2025 21:25 5m 10s master
February 11, 2025 21:25 5m 10s
Merge pull request #311 from RipplB/ltl2
Linux build-test-deploy #227: Commit b513261 pushed by csanadtelbisz
February 11, 2025 21:25 34m 7s master
February 11, 2025 21:25 34m 7s
Merge pull request #311 from RipplB/ltl2
Check copyright #227: Commit b513261 pushed by csanadtelbisz
February 11, 2025 21:25 33s master
February 11, 2025 21:25 33s
Merge pull request #311 from RipplB/ltl2
macOS build and test #227: Commit b513261 pushed by csanadtelbisz
February 11, 2025 21:25 20m 10s master
February 11, 2025 21:25 20m 10s
minor optimization in user propagator: return after first conflict found
Linux build-test-deploy #226: Commit 18298e7 pushed by csanadtelbisz
January 20, 2025 22:37 31m 19s oc-wmm
January 20, 2025 22:37 31m 19s
minor optimization in user propagator: return after first conflict found
Sonar analysis #226: Commit 18298e7 pushed by csanadtelbisz
January 20, 2025 22:37 21s oc-wmm
January 20, 2025 22:37 21s
minor optimization in user propagator: return after first conflict found
macOS build and test #226: Commit 18298e7 pushed by csanadtelbisz
January 20, 2025 22:37 19m 37s oc-wmm
January 20, 2025 22:37 19m 37s
minor optimization in user propagator: return after first conflict found
Check formatting #226: Commit 18298e7 pushed by csanadtelbisz
January 20, 2025 22:37 2m 50s oc-wmm
January 20, 2025 22:37 2m 50s
minor optimization in user propagator: return after first conflict found
Windows build and test #226: Commit 18298e7 pushed by csanadtelbisz
January 20, 2025 22:37 17m 3s oc-wmm
January 20, 2025 22:37 17m 3s
minor optimization in user propagator: return after first conflict found
Check copyright #226: Commit 18298e7 pushed by csanadtelbisz
January 20, 2025 22:37 29s oc-wmm
January 20, 2025 22:37 29s
oc generic conflict finder
Windows build and test #225: Commit e38c18f pushed by csanadtelbisz
January 20, 2025 16:39 16m 35s oc-wmm
January 20, 2025 16:39 16m 35s
oc generic conflict finder
macOS build and test #225: Commit e38c18f pushed by csanadtelbisz
January 20, 2025 16:39 28m 48s oc-wmm
January 20, 2025 16:39 28m 48s
oc generic conflict finder
Sonar analysis #225: Commit e38c18f pushed by csanadtelbisz
January 20, 2025 16:39 20s oc-wmm
January 20, 2025 16:39 20s
oc generic conflict finder
Check formatting #225: Commit e38c18f pushed by csanadtelbisz
January 20, 2025 16:39 2m 39s oc-wmm
January 20, 2025 16:39 2m 39s
oc generic conflict finder
Check copyright #225: Commit e38c18f pushed by csanadtelbisz
January 20, 2025 16:39 32s oc-wmm
January 20, 2025 16:39 32s
oc generic conflict finder
Linux build-test-deploy #225: Commit e38c18f pushed by csanadtelbisz
January 20, 2025 16:39 32m 1s oc-wmm
January 20, 2025 16:39 32m 1s
mcm fix
Sonar analysis #224: Commit 499ac17 pushed by csanadtelbisz
January 15, 2025 17:03 22s oc-wmm
January 15, 2025 17:03 22s
mcm fix
macOS build and test #224: Commit 499ac17 pushed by csanadtelbisz
January 15, 2025 17:03 18m 12s oc-wmm
January 15, 2025 17:03 18m 12s
mcm fix
Check formatting #224: Commit 499ac17 pushed by csanadtelbisz
January 15, 2025 17:03 2m 53s oc-wmm
January 15, 2025 17:03 2m 53s
mcm fix
Windows build and test #224: Commit 499ac17 pushed by csanadtelbisz
January 15, 2025 17:03 16m 51s oc-wmm
January 15, 2025 17:03 16m 51s
mcm fix
Check copyright #224: Commit 499ac17 pushed by csanadtelbisz
January 15, 2025 17:03 31s oc-wmm
January 15, 2025 17:03 31s
mcm fix
Linux build-test-deploy #224: Commit 499ac17 pushed by csanadtelbisz
January 15, 2025 17:03 36m 2s oc-wmm
January 15, 2025 17:03 36m 2s
mcm fix
macOS build and test #223: Commit 499ac17 pushed by csanadtelbisz
January 15, 2025 17:03 21m 15s oc-idl
January 15, 2025 17:03 21m 15s
mcm fix
Linux build-test-deploy #223: Commit 499ac17 pushed by csanadtelbisz
January 15, 2025 17:03 31m 18s oc-idl
January 15, 2025 17:03 31m 18s
mcm fix
Check copyright #223: Commit 499ac17 pushed by csanadtelbisz
January 15, 2025 17:03 30s oc-idl
January 15, 2025 17:03 30s