Skip to content

Actions: sybila/biodivine-aeon-desktop

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added option to export model from witness window
binaries #3: Commit d78a13f pushed by StefanSidlo
December 16, 2023 19:32 8m 30s v0.1.0
December 16, 2023 19:32 8m 30s
Added option to export model from witness window
test-build #43: Commit d78a13f pushed by StefanSidlo
December 16, 2023 16:53 9m 31s main
December 16, 2023 16:53 9m 31s
Merge pull request #17 from sybila/issues_vol.2
test-build #42: Commit ae1be15 pushed by daemontus
December 16, 2023 12:19 12m 12s main
December 16, 2023 12:19 12m 12s
Issues vol.2
test-build #41: Pull request #17 synchronize by StefanSidlo
December 15, 2023 23:29 12m 5s issues_vol.2
December 15, 2023 23:29 12m 5s
Changes to fix pipeline vol.2
test-build #40: Commit 5cfb367 pushed by StefanSidlo
December 15, 2023 23:29 12m 21s issues_vol.2
December 15, 2023 23:29 12m 21s
Issues vol.2
test-build #39: Pull request #17 synchronize by StefanSidlo
December 15, 2023 22:56 10m 47s issues_vol.2
December 15, 2023 22:56 10m 47s
Changes to fix pipeline
test-build #38: Commit 73b0871 pushed by StefanSidlo
December 15, 2023 22:56 11m 35s issues_vol.2
December 15, 2023 22:56 11m 35s
Issues vol.2
test-build #37: Pull request #17 synchronize by StefanSidlo
December 15, 2023 22:33 5m 23s issues_vol.2
December 15, 2023 22:33 5m 23s
Small changes
test-build #36: Commit 3dd1c70 pushed by StefanSidlo
December 15, 2023 22:33 5m 9s issues_vol.2
December 15, 2023 22:33 5m 9s
Issues vol.2
test-build #35: Pull request #17 opened by StefanSidlo
December 11, 2023 23:56 8m 53s issues_vol.2
December 11, 2023 23:56 8m 53s
Added some comments in frontend
test-build #34: Commit 122f03d pushed by StefanSidlo
December 11, 2023 23:52 9m 4s issues_vol.2
December 11, 2023 23:52 9m 4s
Merge pull request #15 from sybila/issues_vol.1
test-build #33: Commit 75c1e55 pushed by daemontus
November 4, 2023 13:11 13m 37s main
November 4, 2023 13:11 13m 37s
Issues vol.1
test-build #32: Pull request #15 synchronize by StefanSidlo
November 2, 2023 16:50 12m 46s issues_vol.1
November 2, 2023 16:50 12m 46s
Format and clippy changes
test-build #31: Commit 8524abd pushed by StefanSidlo
November 2, 2023 16:50 9m 13s issues_vol.1
November 2, 2023 16:50 9m 13s
Issues vol.1
test-build #30: Pull request #15 opened by StefanSidlo
November 1, 2023 16:06 13m 13s issues_vol.1
November 1, 2023 16:06 13m 13s
draft: update menu based on window
test-build #29: Commit 6ee1eee pushed by StefanSidlo
November 1, 2023 15:53 16m 22s issues_vol.1
November 1, 2023 15:53 16m 22s
October 30, 2023 08:29 14m 33s
Update dependencies to appease dependabot.
test-build #27: Commit e4e5a4a pushed by daemontus
October 23, 2023 11:30 12m 5s main
October 23, 2023 11:30 12m 5s
Update dependencies to appease dependabot.
test-build #26: Commit 7bd226d pushed by daemontus
October 23, 2023 11:28 12m 19s results_window
October 23, 2023 11:28 12m 19s
Merge pull request #11 from sybila/results_window
test-build #25: Commit af56b82 pushed by daemontus
October 19, 2023 11:06 12m 27s main
October 19, 2023 11:06 12m 27s
Results window
test-build #24: Pull request #11 synchronize by daemontus
October 18, 2023 21:12 13m 47s results_window
October 18, 2023 21:12 13m 47s
Fix clippy.
test-build #23: Commit a493060 pushed by daemontus
October 18, 2023 21:11 14m 13s results_window
October 18, 2023 21:11 14m 13s
Results window
test-build #22: Pull request #11 synchronize by StefanSidlo
October 18, 2023 14:55 16m 56s results_window
October 18, 2023 14:55 16m 56s
fix from clippy
test-build #21: Commit 3398dd1 pushed by StefanSidlo
October 18, 2023 14:55 15m 16s results_window
October 18, 2023 14:55 15m 16s
Results window
test-build #20: Pull request #11 synchronize by StefanSidlo
October 18, 2023 14:36 13m 41s results_window
October 18, 2023 14:36 13m 41s