Skip to content

Actions: drupol/master-thesis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
491 workflow runs
491 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Comment Artifact URL on PR Comment Artifact URL on PR #49: completed by drupol
July 5, 2024 22:47 1s
July 5, 2024 22:47 1s
fix: font size discrepancy Release #40: Commit 3173727 pushed by drupol
July 5, 2024 22:47 2m 17s main
main
July 5, 2024 22:47 2m 17s
fix: font size discrepancy Build PR #49: Commit 3173727 pushed by drupol
July 5, 2024 22:47 2s main
main
July 5, 2024 22:47 2s
Comment Artifact URL on PR Comment Artifact URL on PR #48: completed by drupol
July 5, 2024 21:33 1s
July 5, 2024 21:33 1s
Merge pull request #10 from szepeviktor/patch-4 Release #39: Commit 39ee59a pushed by drupol
July 5, 2024 21:33 2m 14s main
main
July 5, 2024 21:33 2m 14s
Merge pull request #10 from szepeviktor/patch-4 Build PR #48: Commit 39ee59a pushed by drupol
July 5, 2024 21:33 2s main
main
July 5, 2024 21:33 2s
Comment Artifact URL on PR Comment Artifact URL on PR #47: completed by drupol
July 5, 2024 21:32 2s
July 5, 2024 21:32 2s
Merge pull request #9 from szepeviktor/patch-3 Release #38: Commit b24056e pushed by drupol
July 5, 2024 21:32 2m 8s main
main
July 5, 2024 21:32 2m 8s
Merge pull request #9 from szepeviktor/patch-3 Build PR #47: Commit b24056e pushed by drupol
July 5, 2024 21:32 2s main
main
July 5, 2024 21:32 2s
Comment Artifact URL on PR Comment Artifact URL on PR #46: completed by szepeviktor
July 5, 2024 21:30 14s
July 5, 2024 21:30 14s
Comment Artifact URL on PR Comment Artifact URL on PR #45: completed by drupol
July 5, 2024 21:29 12s
July 5, 2024 21:29 12s
Fix "analyse" in 4-conclusion.typ Build PR #46: Pull request #10 opened by szepeviktor
July 5, 2024 21:28 1m 45s patch-4
patch-4
July 5, 2024 21:28 1m 45s
Separate "any more" in 2-reproducibility.typ Build PR #45: Pull request #9 synchronize by drupol
July 5, 2024 21:27 1m 46s patch-3
patch-3
July 5, 2024 21:27 1m 46s
Comment Artifact URL on PR Comment Artifact URL on PR #44: completed by drupol
July 5, 2024 21:27 2s
July 5, 2024 21:27 2s
ci: fix builds on PRs Release #37: Commit e45c964 pushed by drupol
July 5, 2024 21:27 2m 15s main
main
July 5, 2024 21:27 2m 15s
ci: fix builds on PRs Build PR #44: Commit e45c964 pushed by drupol
July 5, 2024 21:27 2s main
main
July 5, 2024 21:27 2s
Comment Artifact URL on PR Comment Artifact URL on PR #43: completed by drupol
July 5, 2024 21:23 10s
July 5, 2024 21:23 10s
fix: favor* -> favour* Build PR #43: Commit 9fdf6d0 pushed by drupol
July 5, 2024 21:21 1m 53s main
main
July 5, 2024 21:21 1m 53s
fix: favor* -> favour* Release #36: Commit 9fdf6d0 pushed by drupol
July 5, 2024 21:21 2m 3s main
main
July 5, 2024 21:21 2m 3s
Comment Artifact URL on PR Comment Artifact URL on PR #42: completed by drupol
July 5, 2024 21:21 11s
July 5, 2024 21:21 11s
fix: endeavor -> endeavour Build PR #42: Commit a78a3ae pushed by drupol
July 5, 2024 21:19 1m 45s main
main
July 5, 2024 21:19 1m 45s
fix: endeavor -> endeavour Release #35: Commit a78a3ae pushed by drupol
July 5, 2024 21:19 2m 16s main
main
July 5, 2024 21:19 2m 16s
Comment Artifact URL on PR Comment Artifact URL on PR #41: completed by drupol
July 5, 2024 21:19 9s
July 5, 2024 21:19 9s
ci: remove obsolete if condition Release #34: Commit 5b7cf0e pushed by drupol
July 5, 2024 21:17 2m 18s main
main
July 5, 2024 21:17 2m 18s
ci: remove obsolete if condition Build PR #41: Commit 5b7cf0e pushed by drupol
July 5, 2024 21:17 1m 49s main
main
July 5, 2024 21:17 1m 49s
ProTip! You can narrow down the results and go further in time using created:<2024-07-05 or the other filters available.