Skip to content

Actions: diku-dk/containers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
231 workflow runs
231 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
CI CI #287: Scheduled
4m 16s main
main
4m 16s
Merge pull request #11 from diku-dk/euler_tour CI #286: Commit e2496f7 pushed by WilliamDue
4m 29s main
main
4m 29s
Implement Euler tours. CI #285: Pull request #11 opened by athas
3m 56s euler_tour
euler_tour
3m 56s
CI CI #284: Scheduled
4m 3s main
main
4m 3s
CI CI #283: Scheduled
4m 10s main
main
4m 10s
Update imports. CI #282: Commit 681e6b6 pushed by WilliamDue
4m 11s main
main
4m 11s
Use i8. CI #281: Commit f4f4e44 pushed by WilliamDue
4m 9s main
main
4m 9s
Updates. CI #280: Commit 17c1ceb pushed by WilliamDue
4m 13s main
main
4m 13s
Partition functions and rename. CI #279: Commit bedf240 pushed by WilliamDue
4m 0s main
main
4m 0s
Merge pull request #10 from diku-dk/organize CI #278: Commit f92f79f pushed by WilliamDue
4m 4s main
main
4m 4s
Organize CI #277: Pull request #10 synchronize by WilliamDue
4m 16s organize
organize
4m 16s
Organize CI #276: Pull request #10 synchronize by WilliamDue
2m 33s organize
organize
2m 33s
Organize CI #275: Pull request #10 opened by WilliamDue
1m 19s organize
organize
1m 19s
CI CI #274: Scheduled
3m 55s main
main
3m 55s
CI CI #273: Scheduled
4m 4s main
main
4m 4s
CI CI #272: Scheduled
3m 28s main
main
3m 28s
CI CI #271: Scheduled
4m 2s main
main
4m 2s
Fix time complexities again. CI #270: Commit f609a8e pushed by WilliamDue
4m 0s main
main
4m 0s
Delete lib/github.com/diku-dk/containers/connectivity.fut CI #269: Commit 93459b5 pushed by WilliamDue
4m 21s main
main
4m 21s
Refine expected work and span for hashmap operations CI #268: Commit 508b2f1 pushed by WilliamDue
4m 15s main
main
4m 15s
Fix complexity annotations in bitset.fut CI #267: Commit 97f1ad6 pushed by WilliamDue
4m 12s main
main
4m 12s
Running Copilot cloud agent Copilot cloud agent #2: by Copilot AI
6s copilot/what-is
copilot/what-is
6s
CI CI #266: Scheduled
3m 57s main
main
3m 57s
Merge pull request #9 from diku-dk/ndimlcg CI #265: Commit 4cc04b7 pushed by athas
3m 46s main
main
3m 46s
Do not use cpprandom module type for this very bespoke interface. CI #264: Pull request #9 opened by athas
4m 24s ndimlcg
ndimlcg
4m 24s