Skip to content

Actions: TeamSampou/icfpc2025

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
157 workflow runs
157 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #18 from TeamSampou/feature/server Haskell CI #157: Commit e76f7c6 pushed by msakai
4m 31s post-contest
post-contest
4m 31s
Add a simple server program Haskell CI #156: Pull request #18 synchronize by msakai
1m 58s feature/server
feature/server
1m 58s
Add a simple server program Haskell CI #155: Pull request #18 opened by msakai
4m 41s feature/server
feature/server
4m 41s
add more test cases (for beth and vau) in Graph.Z3 Haskell CI #154: Commit 8486737 pushed by msakai
3m 27s post-contest
post-contest
3m 27s
Merge branch 'main' into post-contest Haskell CI #153: Commit f085817 pushed by msakai
2m 40s post-contest
post-contest
2m 40s
fix comment Haskell CI #152: Commit 5552939 pushed by msakai
4m 17s main
main
4m 17s
Merge pull request #17 from TeamSampou/feature/z3-use-derived-disequa… Haskell CI #151: Commit c7dd15b pushed by msakai
3m 50s post-contest
post-contest
3m 50s
run CI on post-contest branch Haskell CI #150: Commit 3807d6c pushed by msakai
2m 44s post-contest
post-contest
2m 44s
add to README.md about end-of-contest tag Haskell CI #149: Commit b4f9896 pushed by msakai
3m 29s main
main
3m 29s
add some sanity checks to Graph.Z3.findGraph2 Haskell CI #148: Commit 13c1109 pushed by msakai
2m 14s main
main
2m 14s
Merge pull request #16 from TeamSampou/feature/z3-find-graph-2 Haskell CI #147: Commit 6b09e55 pushed by msakai
4m 16s main
main
4m 16s
refactor Haskell CI #146: Commit 241cc16 pushed by oganet
2m 15s main
main
2m 15s
this approach is not good... Haskell CI #145: Commit 595cb7c pushed by oganet
2m 32s main
main
2m 32s
add descriptions for systematic exploration 1. Haskell CI #144: Commit 486bca8 pushed by oganet
2m 39s main
main
2m 39s
Merge branch 'readme-labelled-bucket' Haskell CI #143: Commit 4729ffe pushed by khibino
3m 13s main
main
3m 13s
Update README.md Haskell CI #142: Commit 18e597e pushed by msakai
2m 55s main
main
2m 55s
Update README.md Haskell CI #141: Commit 297f719 pushed by msakai
3m 20s main
main
3m 20s
Update README.md Haskell CI #140: Commit e14a248 pushed by msakai
3m 21s main
main
3m 21s
Update README.md Haskell CI #139: Commit babbeeb pushed by msakai
3m 40s main
main
3m 40s
mention Z3 in README.md Haskell CI #138: Commit 63bd6c1 pushed by msakai
3m 44s main
main
3m 44s
Use derived non-trivial dis-equalities in findGraph Haskell CI #137: Pull request #17 opened by msakai
3m 52s feature/z3-use-derived-disequalities
feature/z3-use-derived-disequalities
3m 52s
allow label altering prefix in deriveTrivialDisequalities Haskell CI #136: Commit c8ceb58 pushed by msakai
2m 2s main
main
2m 2s
add vau solution Haskell CI #135: Commit b01b157 pushed by oganet
2m 23s main
main
2m 23s
Add Graph.Z3.findGraph2 Haskell CI #134: Pull request #16 opened by msakai
2m 17s feature/z3-find-graph-2
feature/z3-find-graph-2
2m 17s
add gimel solution Haskell CI #133: Commit 6daf5d3 pushed by oganet
2m 13s main
main
2m 13s