Skip to content

Actions: ftsrg/theta

Actions

Check version

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-version.yml
744 workflow runs
744 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

OC checker Check version #724: Pull request #264 synchronize by csanadtelbisz
November 1, 2024 09:57 2m 59s csanadtelbisz:xcfa-oc
csanadtelbisz:xcfa-oc
November 1, 2024 09:57 2m 59s
OC checker Check version #723: Pull request #264 synchronize by csanadtelbisz
October 31, 2024 17:32 2m 56s csanadtelbisz:xcfa-oc
csanadtelbisz:xcfa-oc
October 31, 2024 17:32 2m 56s
LTL checking Check version #722: Pull request #311 synchronize by RipplB
October 30, 2024 13:35 3m 22s RipplB:ltl2
RipplB:ltl2
October 30, 2024 13:35 3m 22s
LTL checking Check version #721: Pull request #311 synchronize by RipplB
October 30, 2024 13:20 3m 17s RipplB:ltl2
RipplB:ltl2
October 30, 2024 13:20 3m 17s
LTL checking Check version #720: Pull request #311 synchronize by RipplB
October 30, 2024 13:05 3m 6s RipplB:ltl2
RipplB:ltl2
October 30, 2024 13:05 3m 6s
LTL checking Check version #719: Pull request #311 synchronize by RipplB
October 30, 2024 12:24 3m 9s RipplB:ltl2
RipplB:ltl2
October 30, 2024 12:24 3m 9s
LTL checking Check version #718: Pull request #311 synchronize by RipplB
October 30, 2024 10:38 3m 7s RipplB:ltl2
RipplB:ltl2
October 30, 2024 10:38 3m 7s
LTL checking Check version #717: Pull request #311 synchronize by RipplB
October 30, 2024 00:14 3m 6s RipplB:ltl2
RipplB:ltl2
October 30, 2024 00:14 3m 6s
LTL checking Check version #716: Pull request #311 opened by RipplB
October 29, 2024 23:55 3m 17s RipplB:ltl2
RipplB:ltl2
October 29, 2024 23:55 3m 17s
Fixed variable naming in ReferenceElimination Check version #715: Pull request #308 synchronize by leventeBajczi
October 22, 2024 17:16 2m 59s fix-ref
fix-ref
October 22, 2024 17:16 2m 59s
Generalize abstractor, refiner, cegarchecker, visualizer Check version #714: Pull request #304 synchronize by RipplB
October 21, 2024 20:30 2m 57s RipplB:arg_decouple
RipplB:arg_decouple
October 21, 2024 20:30 2m 57s
Update check-version.yml Check version #713: Pull request #310 opened by leventeBajczi
October 21, 2024 19:46 14m 14s leventeBajczi:master
leventeBajczi:master
October 21, 2024 19:46 14m 14s
Generalize abstractor, refiner, cegarchecker, visualizer Check version #712: Pull request #304 synchronize by RipplB
October 21, 2024 19:28 3m 4s RipplB:arg_decouple
RipplB:arg_decouple
October 21, 2024 19:28 3m 4s
Generalize abstractor, refiner, cegarchecker, visualizer Check version #711: Pull request #304 synchronize by leventeBajczi
October 21, 2024 19:10 15m 56s RipplB:arg_decouple
RipplB:arg_decouple
October 21, 2024 19:10 15m 56s
OC checker Check version #710: Pull request #264 synchronize by leventeBajczi
October 21, 2024 19:08 15m 3s csanadtelbisz:xcfa-oc
csanadtelbisz:xcfa-oc
October 21, 2024 19:08 15m 3s
Fixed variable naming in ReferenceElimination Check version #709: Pull request #308 synchronize by leventeBajczi
October 21, 2024 19:08 15m 26s fix-ref
fix-ref
October 21, 2024 19:08 15m 26s
Reformat fix Check version #708: Pull request #309 synchronize by thetabotmaintainer bot
October 21, 2024 18:48 2m 55s reformat-fix
reformat-fix
October 21, 2024 18:48 2m 55s
OC checker Check version #707: Pull request #264 synchronize by leventeBajczi
October 21, 2024 18:41 6m 55s csanadtelbisz:xcfa-oc
csanadtelbisz:xcfa-oc
October 21, 2024 18:41 6m 55s
Reformat fix Check version #706: Pull request #309 synchronize by leventeBajczi
October 21, 2024 18:33 13m 29s reformat-fix
reformat-fix
October 21, 2024 18:33 13m 29s
Reformat fix Check version #705: Pull request #309 opened by leventeBajczi
October 21, 2024 18:19 9m 33s reformat-fix
reformat-fix
October 21, 2024 18:19 9m 33s
OC checker Check version #704: Pull request #264 synchronize by leventeBajczi
October 21, 2024 18:06 3m 2s csanadtelbisz:xcfa-oc
csanadtelbisz:xcfa-oc
October 21, 2024 18:06 3m 2s
Fixed variable naming in ReferenceElimination Check version #703: Pull request #308 synchronize by thetabotmaintainer bot
October 21, 2024 18:02 4m 21s fix-ref
fix-ref
October 21, 2024 18:02 4m 21s
OC checker Check version #702: Pull request #264 synchronize by leventeBajczi
October 21, 2024 18:02 2m 51s csanadtelbisz:xcfa-oc
csanadtelbisz:xcfa-oc
October 21, 2024 18:02 2m 51s
Fixed variable naming in ReferenceElimination Check version #701: Pull request #308 synchronize by leventeBajczi
October 21, 2024 17:59 2m 59s fix-ref
fix-ref
October 21, 2024 17:59 2m 59s
Spotless instead of intellij formatting Check version #700: Pull request #306 synchronize by leventeBajczi
October 21, 2024 17:55 3m 5s spotless
spotless
October 21, 2024 17:55 3m 5s