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

Optimization of invert_levels for JumpMode::AppendDontcareSymbols Release #246: Pull request #486 closed by Adda0
February 14, 2025 16:33 3m 34s inverse-optim
inverse-optim
February 14, 2025 16:33 3m 34s
Optimization of invert_levels for JumpMode::AppendDontcareSymbols… Python-Binding (build-&-test) #1472: Commit 9bc5557 pushed by Adda0
February 14, 2025 16:33 3m 33s devel
devel
February 14, 2025 16:33 3m 33s
Optimization of invert_levels for JumpMode::AppendDontcareSymbols Code Quality #619: Pull request #486 synchronize by koniksedy
February 14, 2025 09:23 7m 13s inverse-optim
inverse-optim
February 14, 2025 09:23 7m 13s
Optimization of invert_levels for JumpMode::AppendDontcareSymbols Python-Binding (build-&-test) #1471: Pull request #486 synchronize by koniksedy
February 14, 2025 09:23 3m 25s inverse-optim
inverse-optim
February 14, 2025 09:23 3m 25s
Optimization of invert_levels for JumpMode::AppendDontcareSymbols Code Quality #618: Pull request #486 synchronize by koniksedy
February 11, 2025 17:05 9m 42s inverse-optim
inverse-optim
February 11, 2025 17:05 9m 42s
Optimization of invert_levels for JumpMode::AppendDontcareSymbols Python-Binding (build-&-test) #1470: Pull request #486 synchronize by koniksedy
February 11, 2025 17:05 3m 35s inverse-optim
inverse-optim
February 11, 2025 17:05 3m 35s
Optimization of invert_levels for JumpMode::AppendDontcareSymbols Code Quality #617: Pull request #486 opened by koniksedy
February 11, 2025 14:45 10m 14s inverse-optim
inverse-optim
February 11, 2025 14:45 10m 14s
Optimization of invert_levels for JumpMode::AppendDontcareSymbols Python-Binding (build-&-test) #1469: Pull request #486 opened by koniksedy
February 11, 2025 14:45 3m 22s inverse-optim
inverse-optim
February 11, 2025 14:45 3m 22s
Create Nft with inverted levels (tapes) Release #245: Pull request #485 closed by Adda0
February 11, 2025 13:50 5m 45s inverse
inverse
February 11, 2025 13:50 5m 45s
Create Nft with inverted levels (tapes) (#485) #patch Python-Binding (build-&-test) #1468: Commit 2622bfa pushed by Adda0
February 11, 2025 13:50 3m 24s devel
devel
February 11, 2025 13:50 3m 24s
Create Nft with inverted levels (tapes) Python-Binding (build-&-test) #1467: Pull request #485 synchronize by Adda0
February 11, 2025 13:25 3m 33s inverse
inverse
February 11, 2025 13:25 3m 33s
Create Nft with inverted levels (tapes) Code Quality #616: Pull request #485 synchronize by Adda0
February 11, 2025 13:25 10m 23s inverse
inverse
February 11, 2025 13:25 10m 23s
Create Nft with inverted levels (tapes) Code Quality #615: Pull request #485 opened by koniksedy
February 11, 2025 13:08 10m 31s inverse
inverse
February 11, 2025 13:08 10m 31s
Create Nft with inverted levels (tapes) Python-Binding (build-&-test) #1466: Pull request #485 opened by koniksedy
February 11, 2025 13:08 3m 24s inverse
inverse
February 11, 2025 13:08 3m 24s
feat(utils): add implementation of BitSet Python-Binding (build-&-test) #1465: Pull request #484 synchronize by MichalHe
February 7, 2025 09:56 4m 30s MichalHe:implement_dynamic_bit_set
MichalHe:implement_dynamic_bit_set
February 7, 2025 09:56 4m 30s
feat(utils): add implementation of BitSet Code Quality #614: Pull request #484 synchronize by MichalHe
February 7, 2025 09:56 9m 48s MichalHe:implement_dynamic_bit_set
MichalHe:implement_dynamic_bit_set
February 7, 2025 09:56 9m 48s
feat(utils): add implementation of BitSet Python-Binding (build-&-test) #1464: Pull request #484 opened by MichalHe
February 7, 2025 09:50 3m 27s MichalHe:implement_dynamic_bit_set
MichalHe:implement_dynamic_bit_set
February 7, 2025 09:50 3m 27s
feat(utils): add implementation of BitSet Code Quality #613: Pull request #484 opened by MichalHe
February 7, 2025 09:50 11m 43s MichalHe:implement_dynamic_bit_set
MichalHe:implement_dynamic_bit_set
February 7, 2025 09:50 11m 43s
feat(reduce): Move reduce residual algorithms into the public interface Release #244: Pull request #483 closed by Adda0
February 5, 2025 13:24 5m 41s reduce_residual_public
reduce_residual_public
February 5, 2025 13:24 5m 41s
Merge pull request #483 from VeriFIT/reduce_residual_public #patch Python-Binding (build-&-test) #1463: Commit 825d066 pushed by Adda0
February 5, 2025 13:24 3m 48s devel
devel
February 5, 2025 13:24 3m 48s
feat(reduce): Move reduce residual algorithms into the public interface Code Quality #612: Pull request #483 opened by Adda0
February 5, 2025 12:55 9m 58s reduce_residual_public
reduce_residual_public
February 5, 2025 12:55 9m 58s
feat(reduce): Move reduce residual algorithms into the public interface Python-Binding (build-&-test) #1462: Pull request #483 opened by Adda0
February 5, 2025 12:55 3m 35s reduce_residual_public
reduce_residual_public
February 5, 2025 12:55 3m 35s
Automata learning algorithms Python-Binding (build-&-test) #1461: Pull request #480 synchronize by deaddlyyy
February 5, 2025 11:20 Action required deaddlyyy:learning
deaddlyyy:learning
February 5, 2025 11:20 Action required
Automata learning algorithms Code Quality #611: Pull request #480 synchronize by deaddlyyy
February 5, 2025 11:20 Action required deaddlyyy:learning
deaddlyyy:learning
February 5, 2025 11:20 Action required
Automata learning algorithms Python-Binding (build-&-test) #1460: Pull request #480 synchronize by deaddlyyy
February 5, 2025 10:39 Action required deaddlyyy:learning
deaddlyyy:learning
February 5, 2025 10:39 Action required