Skip to content

Actions: discopop-project/discopop

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
646 workflow runs
646 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: updated setup (default values for CMake build) DiscoPoP CI #3978: Commit 1f212cb pushed by lukasrothenberger
October 25, 2024 08:31 6m 55s master
master
October 25, 2024 08:31 6m 55s
feat(explorer): add -j argument DiscoPoP CI #3977: Commit 2f216c2 pushed by lukasrothenberger
October 23, 2024 14:09 6m 52s master
master
October 23, 2024 14:09 6m 52s
feat(explorer): add -j argument DiscoPoP CI #3976: Pull request #675 opened by lukasrothenberger
October 23, 2024 13:57 7m 21s feat/explorer/arguments/threads
feat/explorer/arguments/threads
October 23, 2024 13:57 7m 21s
chore(deps): bump webrick from 1.7.0 to 1.8.2 in /docs DiscoPoP CI #3975: Commit 2692d5a pushed by lukasrothenberger
October 23, 2024 13:08 6m 57s master
master
October 23, 2024 13:08 6m 57s
doc: updated version file Publish Package #27: Commit 92d2ead pushed by lukasrothenberger
October 23, 2024 12:52 32s v4.0.0
v4.0.0
October 23, 2024 12:52 32s
chore(deps): bump webrick from 1.7.0 to 1.8.2 in /docs DiscoPoP CI #3974: Pull request #672 opened by dependabot bot
October 23, 2024 12:52 9m 20s dependabot/bundler/docs/webrick-1.8.2
dependabot/bundler/docs/webrick-1.8.2
October 23, 2024 12:52 9m 20s
doc: updated version file DiscoPoP CI #3973: Commit 92d2ead pushed by lukasrothenberger
October 23, 2024 12:52 9m 32s master
master
October 23, 2024 12:52 9m 32s
Release/4.0.0 DiscoPoP CI #3972: Pull request #615 synchronize by lukasrothenberger
October 23, 2024 12:34 7m 6s release/4.0.0
release/4.0.0
October 23, 2024 12:34 7m 6s
Release/4.0.0 DiscoPoP CI #3971: Pull request #615 synchronize by lukasrothenberger
October 23, 2024 12:30 7m 21s release/4.0.0
release/4.0.0
October 23, 2024 12:30 7m 21s
feat(explorer): automatically create patch files DiscoPoP CI #3970: Pull request #671 opened by lukasrothenberger
October 23, 2024 12:20 9m 18s 670-create-patch-files-as-part-of-explorer
670-create-patch-files-as-part-of-explorer
October 23, 2024 12:20 9m 18s
Release/4.0.0 DiscoPoP CI #3969: Pull request #615 synchronize by lukasrothenberger
October 23, 2024 11:24 6m 23s release/4.0.0
release/4.0.0
October 23, 2024 11:24 6m 23s
464 properly cleanup discopop before running DiscoPoP CI #3968: Pull request #668 synchronize by lukasrothenberger
October 23, 2024 11:17 6m 30s 464-properly-cleanup-discopop-before-running
464-properly-cleanup-discopop-before-running
October 23, 2024 11:17 6m 30s
Release/4.0.0 DiscoPoP CI #3967: Pull request #615 synchronize by lukasrothenberger
October 23, 2024 11:16 6m 15s release/4.0.0
release/4.0.0
October 23, 2024 11:16 6m 15s
fix: Errors in CI tests DiscoPoP CI #3966: Pull request #669 synchronize by lukasrothenberger
October 23, 2024 11:08 7m 11s debug_CI_tests
debug_CI_tests
October 23, 2024 11:08 7m 11s
fix: Errors in CI tests DiscoPoP CI #3965: Pull request #669 synchronize by lukasrothenberger
October 23, 2024 11:00 6m 27s debug_CI_tests
debug_CI_tests
October 23, 2024 11:00 6m 27s
fix: Errors in CI tests DiscoPoP CI #3964: Pull request #669 opened by lukasrothenberger
October 23, 2024 10:48 8m 22s debug_CI_tests
debug_CI_tests
October 23, 2024 10:48 8m 22s
464 properly cleanup discopop before running DiscoPoP CI #3963: Pull request #668 synchronize by lukasrothenberger
October 23, 2024 09:36 5m 49s 464-properly-cleanup-discopop-before-running
464-properly-cleanup-discopop-before-running
October 23, 2024 09:36 5m 49s
Release/4.0.0 DiscoPoP CI #3962: Pull request #615 synchronize by lukasrothenberger
October 23, 2024 09:36 5m 59s release/4.0.0
release/4.0.0
October 23, 2024 09:36 5m 59s
464 properly cleanup discopop before running DiscoPoP CI #3961: Pull request #668 opened by lukasrothenberger
October 23, 2024 09:16 8m 45s 464-properly-cleanup-discopop-before-running
464-properly-cleanup-discopop-before-running
October 23, 2024 09:16 8m 45s
Release/4.0.0 DiscoPoP CI #3960: Pull request #615 synchronize by lukasrothenberger
October 23, 2024 08:14 6m 17s release/4.0.0
release/4.0.0
October 23, 2024 08:14 6m 17s
Release/4.0.0 DiscoPoP CI #3959: Pull request #615 synchronize by lukasrothenberger
October 23, 2024 07:55 1m 5s release/4.0.0
release/4.0.0
October 23, 2024 07:55 1m 5s
Release/4.0.0 DiscoPoP CI #3958: Pull request #615 synchronize by lukasrothenberger
October 17, 2024 11:41 6m 32s release/4.0.0
release/4.0.0
October 17, 2024 11:41 6m 32s
Release/4.0.0 DiscoPoP CI #3957: Pull request #615 synchronize by lukasrothenberger
October 14, 2024 14:21 9m 2s release/4.0.0
release/4.0.0
October 14, 2024 14:21 9m 2s
Release/4.0.0 DiscoPoP CI #3956: Pull request #615 synchronize by lukasrothenberger
August 28, 2024 08:03 6m 54s release/4.0.0
release/4.0.0
August 28, 2024 08:03 6m 54s
Fix/static analysis/hybrid/robustness fixes DiscoPoP CI #3955: Pull request #662 opened by lukasrothenberger
August 28, 2024 08:02 8m 45s fix/static_analysis/hybrid/robustness_fixes
fix/static_analysis/hybrid/robustness_fixes
August 28, 2024 08:02 8m 45s