Skip to content

Actions: VeriFIT/mata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
571 workflow runs
571 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reluctant replace NFT Code Quality #381: Pull request #381 opened by Adda0
February 21, 2024 08:13 3m 5s Adda0:reluctant_replace
Adda0:reluctant_replace
February 21, 2024 08:13 3m 5s
Fix low level functions Python-Binding (build-&-test) #1220: Pull request #380 synchronize by Adda0
February 21, 2024 05:30 3m 15s Adda0:fix_low-level_functions
Adda0:fix_low-level_functions
February 21, 2024 05:30 3m 15s
Fix low level functions Code Quality #380: Pull request #380 synchronize by Adda0
February 21, 2024 05:30 7m 19s Adda0:fix_low-level_functions
Adda0:fix_low-level_functions
February 21, 2024 05:30 7m 19s
Fix low level functions Code Quality #379: Pull request #380 synchronize by Adda0
February 20, 2024 19:39 5m 45s Adda0:fix_low-level_functions
Adda0:fix_low-level_functions
February 20, 2024 19:39 5m 45s
Fix low level functions Python-Binding (build-&-test) #1219: Pull request #380 synchronize by Adda0
February 20, 2024 19:39 3m 21s Adda0:fix_low-level_functions
Adda0:fix_low-level_functions
February 20, 2024 19:39 3m 21s
Fix low level functions Code Quality #378: Pull request #380 opened by Adda0
February 20, 2024 19:32 5m 59s Adda0:fix_low-level_functions
Adda0:fix_low-level_functions
February 20, 2024 19:32 5m 59s
Fix low level functions Python-Binding (build-&-test) #1218: Pull request #380 opened by Adda0
February 20, 2024 19:32 3m 20s Adda0:fix_low-level_functions
Adda0:fix_low-level_functions
February 20, 2024 19:32 3m 20s
Nft inclusion Code Quality #377: Pull request #379 synchronize by koniksedy
February 20, 2024 13:27 3m 2s nft-inclusion
nft-inclusion
February 20, 2024 13:27 3m 2s
Nft inclusion Code Quality #376: Pull request #379 synchronize by koniksedy
February 20, 2024 12:17 4m 30s nft-inclusion
nft-inclusion
February 20, 2024 12:17 4m 30s
Nft inclusion Code Quality #375: Pull request #379 opened by koniksedy
February 19, 2024 18:09 3m 21s nft-inclusion
nft-inclusion
February 19, 2024 18:09 3m 21s
Added function that gets all words of an automaton Release #188: Pull request #375 closed by Adda0
January 25, 2024 16:01 5m 59s get_all_words
get_all_words
January 25, 2024 16:01 5m 59s
Merge pull request #375 from VeriFIT/get_all_words Python-Binding (build-&-test) #1217: Commit 2cddb2f pushed by Adda0
January 25, 2024 16:01 3m 15s devel
devel
January 25, 2024 16:01 3m 15s
Added function that gets all words of an automaton Code Quality #374: Pull request #375 synchronize by jurajsic
January 25, 2024 14:35 5m 12s get_all_words
get_all_words
January 25, 2024 14:35 5m 12s
Added function that gets all words of an automaton Python-Binding (build-&-test) #1216: Pull request #375 synchronize by jurajsic
January 25, 2024 14:35 3m 15s get_all_words
get_all_words
January 25, 2024 14:35 3m 15s
Added function that gets all words of an automaton Code Quality #373: Pull request #375 synchronize by jurajsic
January 25, 2024 14:09 7m 56s get_all_words
get_all_words
January 25, 2024 14:09 7m 56s
Added function that gets all words of an automaton Python-Binding (build-&-test) #1215: Pull request #375 synchronize by jurajsic
January 25, 2024 14:09 3m 28s get_all_words
get_all_words
January 25, 2024 14:09 3m 28s
pages build and deployment with artifacts-next pages-build-deployment #54: by github-pages bot
January 19, 2024 08:50 30s gh-pages
gh-pages
January 19, 2024 08:50 30s
Readme Update Release #187: Pull request #376 closed by Adda0
January 19, 2024 08:49 3m 17s readme-update
readme-update
January 19, 2024 08:49 3m 17s
Merge pull request #376 from VeriFIT/readme-update Python-Binding (build-&-test) #1214: Commit b5527ca pushed by Adda0
January 19, 2024 08:49 3m 3s devel
devel
January 19, 2024 08:49 3m 3s
Readme Update Python-Binding (build-&-test) #1213: Pull request #376 synchronize by vhavlena
January 19, 2024 08:23 3m 12s readme-update
readme-update
January 19, 2024 08:23 3m 12s
Readme Update Code Quality #372: Pull request #376 synchronize by vhavlena
January 19, 2024 08:23 5m 44s readme-update
readme-update
January 19, 2024 08:23 5m 44s
Readme Update Code Quality #371: Pull request #376 synchronize by vhavlena
January 17, 2024 13:49 5m 39s readme-update
readme-update
January 17, 2024 13:49 5m 39s
Readme Update Python-Binding (build-&-test) #1212: Pull request #376 synchronize by vhavlena
January 17, 2024 13:49 3m 4s readme-update
readme-update
January 17, 2024 13:49 3m 4s
Readme Update Python-Binding (build-&-test) #1211: Pull request #376 synchronize by vhavlena
January 17, 2024 13:44 3m 36s readme-update
readme-update
January 17, 2024 13:44 3m 36s
Readme Update Code Quality #370: Pull request #376 synchronize by vhavlena
January 17, 2024 13:44 6m 1s readme-update
readme-update
January 17, 2024 13:44 6m 1s
ProTip! You can narrow down the results and go further in time using created:<2024-01-17 or the other filters available.