Skip to content

Actions: Miragon/miranum-ide

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
76 workflow run results
76 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(config-editor): plugin for config files
PR Labeler #807: Pull request #412 synchronize by peterhnm
October 26, 2023 11:48 16s feat/plugin_for_config_files
October 26, 2023 11:48 16s
fix: bug when open an empty file
Build #1633: Commit b1b8848 pushed by peterhnm
October 26, 2023 11:48 6m 54s feat/plugin_for_config_files
October 26, 2023 11:48 6m 54s
feat(config-editor): plugin for config files
PR Labeler #806: Pull request #412 synchronize by peterhnm
October 25, 2023 20:41 14s feat/plugin_for_config_files
October 25, 2023 20:41 14s
docs: update CHANGELOG.md
Build #1632: Commit 028ea9e pushed by peterhnm
October 25, 2023 20:41 9m 51s feat/plugin_for_config_files
October 25, 2023 20:41 9m 51s
feat(config-editor): plugin for config files
PR Labeler #805: Pull request #412 synchronize by peterhnm
October 25, 2023 12:20 18s feat/plugin_for_config_files
October 25, 2023 12:20 18s
chore(cicd): add miranum-config-editor
Build #1631: Commit 678c0ce pushed by peterhnm
October 25, 2023 12:20 7m 19s feat/plugin_for_config_files
October 25, 2023 12:20 7m 19s
feat(config-editor): plugin for config files
PR Labeler #804: Pull request #412 synchronize by peterhnm
October 25, 2023 11:35 18s feat/plugin_for_config_files
October 25, 2023 11:35 18s
docs: update README.md and development.md
Build #1630: Commit 62cd0c0 pushed by peterhnm
October 25, 2023 11:35 8m 19s feat/plugin_for_config_files
October 25, 2023 11:35 8m 19s
feat(config-editor): plugin for config files
PR Labeler #803: Pull request #412 synchronize by peterhnm
October 25, 2023 10:07 15s feat/plugin_for_config_files
October 25, 2023 10:07 15s
fix: background depending on theme style
Build #1628: Commit 5cc1a5a pushed by peterhnm
October 25, 2023 09:04 7m 14s feat/modeler_theming
October 25, 2023 09:04 7m 14s
feat(config-editor): plugin for config files
PR Labeler #801: Pull request #412 synchronize by peterhnm
October 24, 2023 21:13 12s feat/plugin_for_config_files
October 24, 2023 21:13 12s
chore: add missing files
Build #1625: Commit 784fbcb pushed by peterhnm
October 24, 2023 21:13 7m 1s feat/plugin_for_config_files
October 24, 2023 21:13 7m 1s