Skip to content

Actions: VeriFIT/mata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
553 workflow runs
553 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement nondeterministic finite transducers (NFTs) Python-Binding (build-&-test) #1414: Pull request #465 synchronize by Adda0
November 25, 2024 10:24 3m 27s transducers
transducers
November 25, 2024 10:24 3m 27s
Implement nondeterministic finite transducers (NFTs) Code Quality #573: Pull request #465 synchronize by Adda0
November 25, 2024 10:24 9m 38s transducers
transducers
November 25, 2024 10:24 9m 38s
Implement nondeterministic finite transducers (NFTs) Code Quality #572: Pull request #465 synchronize by Adda0
November 25, 2024 10:07 8m 19s transducers
transducers
November 25, 2024 10:07 8m 19s
Implement nondeterministic finite transducers (NFTs) Python-Binding (build-&-test) #1413: Pull request #465 synchronize by Adda0
November 25, 2024 10:07 3m 35s transducers
transducers
November 25, 2024 10:07 3m 35s
Tabakov-Vardi generator Code Quality #571: Pull request #468 synchronize by koniksedy
November 25, 2024 10:03 9m 37s TV
TV
November 25, 2024 10:03 9m 37s
Tabakov-Vardi generator Python-Binding (build-&-test) #1412: Pull request #468 synchronize by koniksedy
November 25, 2024 10:03 3m 20s TV
TV
November 25, 2024 10:03 3m 20s
Tabakov-Vardi generator Code Quality #570: Pull request #468 synchronize by koniksedy
November 25, 2024 09:55 7m 47s TV
TV
November 25, 2024 09:55 7m 47s
Tabakov-Vardi generator Python-Binding (build-&-test) #1411: Pull request #468 synchronize by koniksedy
November 25, 2024 09:55 3m 12s TV
TV
November 25, 2024 09:55 3m 12s
Tabakov-Vardi generator Python-Binding (build-&-test) #1410: Pull request #468 synchronize by koniksedy
November 25, 2024 09:37 3m 9s TV
TV
November 25, 2024 09:37 3m 9s
Tabakov-Vardi generator Code Quality #569: Pull request #468 synchronize by koniksedy
November 25, 2024 09:37 7m 39s TV
TV
November 25, 2024 09:37 7m 39s
Tabakov-Vardi generator Python-Binding (build-&-test) #1409: Pull request #468 synchronize by koniksedy
November 24, 2024 17:04 3m 7s TV
TV
November 24, 2024 17:04 3m 7s
Tabakov-Vardi generator Code Quality #568: Pull request #468 synchronize by koniksedy
November 24, 2024 17:04 7m 43s TV
TV
November 24, 2024 17:04 7m 43s
Tabakov-Vardi generator Code Quality #567: Pull request #468 synchronize by koniksedy
November 24, 2024 16:55 7m 44s TV
TV
November 24, 2024 16:55 7m 44s
Tabakov-Vardi generator Python-Binding (build-&-test) #1408: Pull request #468 synchronize by koniksedy
November 24, 2024 16:55 3m 9s TV
TV
November 24, 2024 16:55 3m 9s
Implement nondeterministic finite transducers (NFTs) Code Quality #566: Pull request #465 synchronize by Adda0
November 22, 2024 14:32 8m 54s transducers
transducers
November 22, 2024 14:32 8m 54s
Implement nondeterministic finite transducers (NFTs) Python-Binding (build-&-test) #1407: Pull request #465 synchronize by Adda0
November 22, 2024 14:32 4m 17s transducers
transducers
November 22, 2024 14:32 4m 17s
Implement nondeterministic finite transducers (NFTs) Code Quality #565: Pull request #465 synchronize by Adda0
November 22, 2024 14:19 9m 44s transducers
transducers
November 22, 2024 14:19 9m 44s
Implement nondeterministic finite transducers (NFTs) Python-Binding (build-&-test) #1406: Pull request #465 synchronize by Adda0
November 22, 2024 14:19 2m 28s transducers
transducers
November 22, 2024 14:19 2m 28s
fix(mataformat): Notify about features supported in the Mata library Release #234: Pull request #471 closed by Adda0
November 22, 2024 12:41 5m 1s Adda0-patch-1
Adda0-patch-1
November 22, 2024 12:41 5m 1s
fix(mataformat): Notify about features supported in the Mata library … Python-Binding (build-&-test) #1405: Commit 041614a pushed by Adda0
November 22, 2024 12:41 4m 6s devel
devel
November 22, 2024 12:41 4m 6s
fix(mataformat): Notify about features supported in the Mata library Code Quality #564: Pull request #471 synchronize by Adda0
November 22, 2024 11:58 7m 30s Adda0-patch-1
Adda0-patch-1
November 22, 2024 11:58 7m 30s
fix(mataformat): Notify about features supported in the Mata library Python-Binding (build-&-test) #1404: Pull request #471 synchronize by Adda0
November 22, 2024 11:58 3m 10s Adda0-patch-1
Adda0-patch-1
November 22, 2024 11:58 3m 10s
fix(mataformat): Notify about features supported in the Mata library Code Quality #563: Pull request #471 opened by Adda0
November 22, 2024 11:51 9m 38s Adda0-patch-1
Adda0-patch-1
November 22, 2024 11:51 9m 38s
fix(mataformat): Notify about features supported in the Mata library Python-Binding (build-&-test) #1403: Pull request #471 opened by Adda0
November 22, 2024 11:51 3m 14s Adda0-patch-1
Adda0-patch-1
November 22, 2024 11:51 3m 14s
Implement nondeterministic finite transducers (NFTs) Code Quality #562: Pull request #465 synchronize by Adda0
November 21, 2024 10:18 9m 16s transducers
transducers
November 21, 2024 10:18 9m 16s