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

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
Automata learning algorithms Code Quality #610: Pull request #480 synchronize by deaddlyyy
February 5, 2025 10:39 Action required deaddlyyy:learning
deaddlyyy:learning
February 5, 2025 10:39 Action required
Automata learning algorithms Python-Binding (build-&-test) #1459: Pull request #480 synchronize by deaddlyyy
February 5, 2025 10:03 Action required deaddlyyy:learning
deaddlyyy:learning
February 5, 2025 10:03 Action required
Automata learning algorithms Code Quality #609: Pull request #480 synchronize by deaddlyyy
February 5, 2025 10:03 Action required deaddlyyy:learning
deaddlyyy:learning
February 5, 2025 10:03 Action required
Automata learning algorithms Python-Binding (build-&-test) #1458: Pull request #480 synchronize by deaddlyyy
February 4, 2025 22:15 Action required deaddlyyy:learning
deaddlyyy:learning
February 4, 2025 22:15 Action required
Automata learning algorithms Code Quality #608: Pull request #480 synchronize by deaddlyyy
February 4, 2025 22:15 Action required deaddlyyy:learning
deaddlyyy:learning
February 4, 2025 22:15 Action required
Merge pull request #482 from VeriFIT/stop_testpypi_upload #patch Python-Binding (build-&-test) #1457: Commit 514de5b pushed by Adda0
February 4, 2025 11:16 3m 45s devel
devel
February 4, 2025 11:16 3m 45s
ci: Stop uploading to TestPyPI Release #243: Pull request #482 closed by Adda0
February 4, 2025 11:16 7m 52s stop_testpypi_upload
stop_testpypi_upload
February 4, 2025 11:16 7m 52s
ci: Stop uploading to TestPyPI Python-Binding (build-&-test) #1456: Pull request #482 opened by Adda0
February 4, 2025 11:15 3m 35s stop_testpypi_upload
stop_testpypi_upload
February 4, 2025 11:15 3m 35s
ci: Stop uploading to TestPyPI Code Quality #607: Pull request #482 opened by Adda0
February 4, 2025 11:15 10m 8s stop_testpypi_upload
stop_testpypi_upload
February 4, 2025 11:15 10m 8s
pages build and deployment pages-build-deployment #65: by github-pages bot
February 4, 2025 10:48 23s gh-pages
gh-pages
February 4, 2025 10:48 23s
Merge pull request #481 from VeriFIT/generalize_minimize Python-Binding (build-&-test) #1455: Commit 03c5ee7 pushed by Adda0
February 4, 2025 10:47 4m 12s devel
devel
February 4, 2025 10:47 4m 12s
feat(python): Generalize minimization to allow setting an algorithm Release #242: Pull request #481 closed by Adda0
February 4, 2025 10:47 5m 42s generalize_minimize
generalize_minimize
February 4, 2025 10:47 5m 42s
feat(python): Generalize minimization to allow setting an algorithm Code Quality #606: Pull request #481 opened by Adda0
February 4, 2025 10:39 10m 19s generalize_minimize
generalize_minimize
February 4, 2025 10:39 10m 19s
feat(python): Generalize minimization to allow setting an algorithm Python-Binding (build-&-test) #1454: Pull request #481 opened by Adda0
February 4, 2025 10:39 5m 2s generalize_minimize
generalize_minimize
February 4, 2025 10:39 5m 2s
Automata learning algorithms Python-Binding (build-&-test) #1453: Pull request #480 opened by deaddlyyy
February 1, 2025 23:17 4m 53s deaddlyyy:learning
deaddlyyy:learning
February 1, 2025 23:17 4m 53s
Automata learning algorithms Code Quality #605: Pull request #480 opened by deaddlyyy
February 1, 2025 23:17 9m 58s deaddlyyy:learning
deaddlyyy:learning
February 1, 2025 23:17 9m 58s
Reduce: Simulation algorithm Python-Binding (build-&-test) #1452: Pull request #434 synchronize by samo538
December 20, 2024 21:43 3m 32s samo538:simulation
samo538:simulation
December 20, 2024 21:43 3m 32s
Reduce: Simulation algorithm Code Quality #604: Pull request #434 synchronize by samo538
December 20, 2024 21:43 9m 40s samo538:simulation
samo538:simulation
December 20, 2024 21:43 9m 40s