Skip to content

Actions: QuTech-Delft/prosoftdev-research

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
246 workflow runs
246 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #85: by github-pages bot
July 8, 2025 06:13 32s gh-pages
July 8, 2025 06:13 32s
day 2 in sync
01 Build and Deploy Site #88: Commit 2f5a11c pushed by bpopescu-qutech
July 8, 2025 06:12 1m 9s main
July 8, 2025 06:12 1m 9s
pages build and deployment
pages-build-deployment #84: by github-pages bot
July 8, 2025 01:58 30s gh-pages
July 8, 2025 01:58 30s
01 Build and Deploy Site
01 Build and Deploy Site #87: Scheduled
July 8, 2025 01:56 1m 28s main
July 8, 2025 01:56 1m 28s
03 Maintain: Update Package Cache
03 Maintain: Update Package Cache #34: Scheduled
July 8, 2025 01:19 10s main
July 8, 2025 01:19 10s
02 Maintain: Update Workflow Files
02 Maintain: Update Workflow Files #34: Scheduled
July 8, 2025 00:44 15s main
July 8, 2025 00:44 15s
pages build and deployment
pages-build-deployment #83: by github-pages bot
July 7, 2025 14:41 27s gh-pages
July 7, 2025 14:41 27s
Day1 is in sync
01 Build and Deploy Site #86: Commit a3ba4c3 pushed by bpopescu-qutech
July 7, 2025 14:39 1m 28s main
July 7, 2025 14:39 1m 28s
pages build and deployment
pages-build-deployment #82: by github-pages bot
July 7, 2025 14:36 27s gh-pages
July 7, 2025 14:36 27s
minor changes
01 Build and Deploy Site #85: Commit 1486d60 pushed by bpopescu-qutech
July 7, 2025 14:35 1m 34s main
July 7, 2025 14:35 1m 34s
pages build and deployment
pages-build-deployment #81: by github-pages bot
July 7, 2025 14:28 2m 2s gh-pages
July 7, 2025 14:28 2m 2s
clean code is in sync
01 Build and Deploy Site #84: Commit 70b92d4 pushed by bpopescu-qutech
July 7, 2025 14:26 1m 40s main
July 7, 2025 14:26 1m 40s
pages build and deployment
pages-build-deployment #80: by github-pages bot
July 7, 2025 14:23 1m 22s gh-pages
July 7, 2025 14:23 1m 22s
added missing figures
01 Build and Deploy Site #83: Commit 9d133a2 pushed by bpopescu-qutech
July 7, 2025 14:22 1m 26s main
July 7, 2025 14:22 1m 26s
pages build and deployment
pages-build-deployment #79: by github-pages bot
July 1, 2025 02:11 27s gh-pages
July 1, 2025 02:11 27s
01 Build and Deploy Site
01 Build and Deploy Site #82: Scheduled
July 1, 2025 02:07 4m 42s main
July 1, 2025 02:07 4m 42s
03 Maintain: Update Package Cache
03 Maintain: Update Package Cache #33: Scheduled
July 1, 2025 01:26 24s main
July 1, 2025 01:26 24s
02 Maintain: Update Workflow Files
02 Maintain: Update Workflow Files #33: Scheduled
July 1, 2025 00:52 7s main
July 1, 2025 00:52 7s
pages build and deployment
pages-build-deployment #78: by github-pages bot
June 24, 2025 01:57 26s gh-pages
June 24, 2025 01:57 26s
01 Build and Deploy Site
01 Build and Deploy Site #81: Scheduled
June 24, 2025 01:56 1m 11s main
June 24, 2025 01:56 1m 11s
03 Maintain: Update Package Cache
03 Maintain: Update Package Cache #32: Scheduled
June 24, 2025 01:18 7s main
June 24, 2025 01:18 7s
02 Maintain: Update Workflow Files
02 Maintain: Update Workflow Files #32: Scheduled
June 24, 2025 00:44 10s main
June 24, 2025 00:44 10s
pages build and deployment
pages-build-deployment #77: by github-pages bot
June 17, 2025 01:56 26s gh-pages
June 17, 2025 01:56 26s
01 Build and Deploy Site
01 Build and Deploy Site #80: Scheduled
June 17, 2025 01:55 1m 6s main
June 17, 2025 01:55 1m 6s
03 Maintain: Update Package Cache
03 Maintain: Update Package Cache #31: Scheduled
June 17, 2025 01:18 9s main
June 17, 2025 01:18 9s