Skip to content

Actions: diku-dk/containers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
229 workflow runs
229 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
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
Misread my code. CI #263: Commit 6e1c186 pushed by WilliamDue
4m 2s main
main
4m 2s
Fix delete function to clear bits correctly CI #262: Commit 159ece1 pushed by WilliamDue
4m 27s main
main
4m 27s
CI CI #261: Scheduled
4m 17s main
main
4m 17s
CI CI #260: Scheduled
4m 8s main
main
4m 8s
CI CI #259: Scheduled
4m 7s main
main
4m 7s
CI CI #258: Scheduled
4m 25s main
main
4m 25s
Another mistake. CI #257: Commit ca88377 pushed by WilliamDue
4m 13s main
main
4m 13s
Forgot this too. CI #256: Commit b27b7ff pushed by WilliamDue
11s main
main
11s
Forgot this too. CI #255: Commit 12d6e6d pushed by WilliamDue
4m 17s main
main
4m 17s
This is also important. CI #254: Commit 9b58bce pushed by WilliamDue
4m 16s main
main
4m 16s
Add static hash functions which do not rely on random number generation. CI #253: Commit 3d1ca41 pushed by WilliamDue
4m 13s main
main
4m 13s
Optimize hashmap construction at the cost of other operations.. CI #252: Commit 887df91 pushed by WilliamDue
4m 22s main
main
4m 22s
Update packages. CI #251: Commit feb9819 pushed by WilliamDue
6m 39s main
main
6m 39s
Fix this. CI #250: Commit 3bc0d64 pushed by WilliamDue
4m 14s main
main
4m 14s
Blocked radix search has been removed. CI #249: Commit c8af5f8 pushed by WilliamDue
3m 8s main
main
3m 8s
Update packages. CI #248: Commit f72d7e6 pushed by WilliamDue
1m 10s main
main
1m 10s
CI CI #247: Scheduled
2m 35s main
main
2m 35s