Skip to content

Actions: snowleopard/selective

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci
ci #394: Scheduled
July 6, 2024 03:14 9m 3s main
July 6, 2024 03:14 9m 3s
ci
ci #393: Scheduled
June 29, 2024 03:13 6m 15s main
June 29, 2024 03:13 6m 15s
ci
ci #392: Scheduled
June 22, 2024 03:13 6m 47s main
June 22, 2024 03:13 6m 47s
ci
ci #391: Scheduled
June 15, 2024 03:12 8m 26s main
June 15, 2024 03:12 8m 26s
ci
ci #390: Scheduled
June 8, 2024 03:12 11m 49s main
June 8, 2024 03:12 11m 49s
ci
ci #389: Scheduled
June 1, 2024 03:14 8m 17s main
June 1, 2024 03:14 8m 17s
ci
ci #388: Scheduled
May 25, 2024 03:13 5m 50s main
May 25, 2024 03:13 5m 50s
ci
ci #387: Scheduled
May 18, 2024 03:12 5m 52s main
May 18, 2024 03:12 5m 52s
ci
ci #386: Scheduled
May 11, 2024 03:12 6m 13s main
May 11, 2024 03:12 6m 13s
ci
ci #385: Scheduled
May 4, 2024 03:12 6m 17s main
May 4, 2024 03:12 6m 17s
ci
ci #384: Scheduled
April 27, 2024 03:12 6m 40s main
April 27, 2024 03:12 6m 40s
Update version
ci #383: Commit 4fcdeb1 pushed by snowleopard
April 20, 2024 23:07 4m 45s main
April 20, 2024 23:07 4m 45s
ci
ci #382: Scheduled
April 20, 2024 03:12 4m 29s main
April 20, 2024 03:12 4m 29s
ci
ci #381: Scheduled
April 13, 2024 03:09 4m 33s main
April 13, 2024 03:09 4m 33s
Update paper links (#80)
ci #380: Commit 6c5aba0 pushed by snowleopard
April 7, 2024 21:08 8m 12s main
April 7, 2024 21:08 8m 12s
Update paper links
ci #379: Pull request #80 opened by snowleopard
April 7, 2024 21:05 5m 44s update-paper-link
April 7, 2024 21:05 5m 44s
Update paper links
ci #378: Commit 01d5dc3 pushed by snowleopard
April 7, 2024 21:05 7m 0s update-paper-link
April 7, 2024 21:05 7m 0s
ci
ci #377: Scheduled
April 6, 2024 03:11 11m 48s main
April 6, 2024 03:11 11m 48s
ci
ci #376: Scheduled
March 30, 2024 03:14 7m 6s main
March 30, 2024 03:14 7m 6s
ci
ci #375: Scheduled
March 23, 2024 03:12 2m 59s main
March 23, 2024 03:12 2m 59s
ci
ci #374: Scheduled
March 16, 2024 03:11 6m 3s main
March 16, 2024 03:11 6m 3s
ci
ci #373: Scheduled
March 9, 2024 03:13 5m 38s main
March 9, 2024 03:13 5m 38s
Fix and update CI (#78)
ci #372: Commit 3c49839 pushed by snowleopard
March 2, 2024 21:44 5m 8s main
March 2, 2024 21:44 5m 8s
Fix and update CI
ci #371: Pull request #78 synchronize by snowleopard
March 2, 2024 21:30 4m 26s fix-ci
March 2, 2024 21:30 4m 26s
Start testing with newer GHC versions
ci #370: Commit 901c9d6 pushed by snowleopard
March 2, 2024 21:30 4m 29s fix-ci
March 2, 2024 21:30 4m 29s