Skip to content

Actions: effekt-lang/effekt-plots

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More reliable deployment strategy Deploy to pages #9: Commit 654f99d pushed by marvinborner
April 30, 2024 12:42 Failure main
main
April 30, 2024 12:42 Failure
Sync benchmarks Sync benchmarks #5: Scheduled
April 30, 2024 12:33 2m 57s main
main
April 30, 2024 12:33 2m 57s
Sync benchmarks Sync benchmarks #4: Manually run by marvinborner
April 30, 2024 12:15 2m 55s main
main
April 30, 2024 12:15 2m 55s
Add write permission Deploy to pages #8: Commit c88cc9c pushed by marvinborner
April 30, 2024 12:15 37s main
main
April 30, 2024 12:15 37s
Sync benchmarks Sync benchmarks #3: Manually run by marvinborner
April 30, 2024 12:05 3m 10s main
main
April 30, 2024 12:05 3m 10s
Fix effekt build order Deploy to pages #7: Commit 622b14f pushed by marvinborner
April 30, 2024 12:05 31s main
main
April 30, 2024 12:05 31s
Sync benchmarks Sync benchmarks #2: Manually run by marvinborner
April 30, 2024 08:09 50s main
main
April 30, 2024 08:09 50s
Add master checkout Deploy to pages #6: Commit f45c75c pushed by marvinborner
April 30, 2024 08:08 37s main
main
April 30, 2024 08:08 37s
Sync benchmarks Sync benchmarks #1: Manually run by marvinborner
April 30, 2024 08:05 33s main
main
April 30, 2024 08:05 33s
Add periodic workflow Deploy to pages #5: Commit d00af2c pushed by marvinborner
April 30, 2024 08:04 33s main
main
April 30, 2024 08:04 33s
Add data syncing workflow Deploy to pages #4: Commit e688b8a pushed by marvinborner
April 23, 2024 13:40 43s main
main
April 23, 2024 13:40 43s
Add effekt to cloc Deploy to pages #3: Commit 3f1616e pushed by marvinborner
April 23, 2024 11:34 4m 5s main
main
April 23, 2024 11:34 4m 5s
Add demo data Deploy to pages #2: Commit c8d4ed5 pushed by marvinborner
April 22, 2024 23:31 4m 2s main
main
April 22, 2024 23:31 4m 2s
ProTip! You can narrow down the results and go further in time using created:<2024-04-22 or the other filters available.