Skip to content

Actions: effekt-lang/effekt-plots

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,439 workflow runs
1,439 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Sync benchmarks Sync benchmarks #16: Scheduled
May 5, 2024 01:23 2m 13s main
main
May 5, 2024 01:23 2m 13s
Deploy to pages Deploy to pages #24: completed by marvinborner
May 4, 2024 12:34 3m 10s
May 4, 2024 12:34 3m 10s
Sync benchmarks Sync benchmarks #15: Scheduled
May 4, 2024 12:31 3m 14s main
main
May 4, 2024 12:31 3m 14s
Deploy to pages Deploy to pages #23: completed by marvinborner
May 4, 2024 01:20 3m 4s
May 4, 2024 01:20 3m 4s
Sync benchmarks Sync benchmarks #14: Scheduled
May 4, 2024 01:17 2m 12s main
main
May 4, 2024 01:17 2m 12s
Deploy to pages Deploy to pages #22: completed by marvinborner
May 3, 2024 13:21 3m 2s
May 3, 2024 13:21 3m 2s
Sync benchmarks Sync benchmarks #13: Manually run by marvinborner
May 3, 2024 13:18 2m 24s main
main
May 3, 2024 13:18 2m 24s
Deploy to pages Deploy to pages #21: completed by marvinborner
May 3, 2024 12:35 3m 17s
May 3, 2024 12:35 3m 17s
Sync benchmarks Sync benchmarks #12: Scheduled
May 3, 2024 12:32 2m 29s main
main
May 3, 2024 12:32 2m 29s
Deploy to pages Deploy to pages #20: completed by marvinborner
May 3, 2024 10:21 3m 7s
May 3, 2024 10:21 3m 7s
Deploy to pages Deploy to pages #19: completed by marvinborner
May 3, 2024 01:21 3m 13s
May 3, 2024 01:21 3m 13s
Sync benchmarks Sync benchmarks #11: Scheduled
May 3, 2024 01:21 2m 13s main
main
May 3, 2024 01:21 2m 13s
Deploy to pages Deploy to pages #18: completed by marvinborner
May 2, 2024 12:36 3m 31s
May 2, 2024 12:36 3m 31s
Sync benchmarks Sync benchmarks #10: Scheduled
May 2, 2024 12:34 2m 16s main
main
May 2, 2024 12:34 2m 16s
Deploy to pages Deploy to pages #17: completed by marvinborner
May 2, 2024 01:20 3m 19s
May 2, 2024 01:20 3m 19s
Sync benchmarks Sync benchmarks #9: Scheduled
May 2, 2024 01:17 2m 20s main
main
May 2, 2024 01:17 2m 20s
Deploy to pages Deploy to pages #16: completed by marvinborner
May 1, 2024 12:37 3m 19s
May 1, 2024 12:37 3m 19s
Sync benchmarks Sync benchmarks #8: Scheduled
May 1, 2024 12:34 2m 23s main
main
May 1, 2024 12:34 2m 23s
Fix errors on newly discovered filetypes Deploy to pages #15: Commit 9c915a6 pushed by marvinborner
May 1, 2024 11:17 3m 10s main
main
May 1, 2024 11:17 3m 10s
Deploy to pages Deploy to pages #14: completed by marvinborner
May 1, 2024 01:25 3m 15s
May 1, 2024 01:25 3m 15s
Sync benchmarks Sync benchmarks #7: Scheduled
May 1, 2024 01:23 2m 15s main
main
May 1, 2024 01:23 2m 15s
Slightly improve responsiveness Deploy to pages #13: Commit 558751d pushed by marvinborner
April 30, 2024 18:27 3m 11s main
main
April 30, 2024 18:27 3m 11s
Respect .gitignore Deploy to pages #12: Commit 1940891 pushed by marvinborner
April 30, 2024 18:10 3m 19s main
main
April 30, 2024 18:10 3m 19s
Deploy to pages Deploy to pages #11: completed by marvinborner
April 30, 2024 15:31 3m 12s
April 30, 2024 15:31 3m 12s
Sync benchmarks Sync benchmarks #6: Manually run by marvinborner
April 30, 2024 15:29 2m 17s main
main
April 30, 2024 15:29 2m 17s
ProTip! You can narrow down the results and go further in time using created:<2024-04-30 or the other filters available.