Skip to content

Actions: jbouwman/coalton

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix link in README.md Docs #84: Commit 6f52837 pushed by jbouwman
11s main
main
11s
Fix link in README.md CI #84: Commit 6f52837 pushed by jbouwman
35s main
main
35s
added test for rename-bound-variables with inlining CI #83: Commit 2ad7d0e pushed by jbouwman
51s main
main
51s
added test for rename-bound-variables with inlining Docs #83: Commit 2ad7d0e pushed by jbouwman
23s main
main
23s
fix i1340 Docs #82: Commit d9954e7 pushed by jbouwman
46s main
main
46s
fix i1340 CI #82: Commit d9954e7 pushed by jbouwman
44s main
main
44s
removed unused function handle-unsigned-overflow Docs #81: Commit 6c6df06 pushed by jbouwman
20s main
main
20s
removed unused function handle-unsigned-overflow CI #81: Commit 6c6df06 pushed by jbouwman
47s main
main
47s
fix coalton-library/files unreachable code warning CI #80: Commit 90fcc61 pushed by jbouwman
50s main
main
50s
fix coalton-library/files unreachable code warning Docs #80: Commit 90fcc61 pushed by jbouwman
44s main
main
44s
toplevel-only errs Docs #79: Commit 7d5574f pushed by jbouwman
27s main
main
27s
toplevel-only errs CI #79: Commit 7d5574f pushed by jbouwman
51s main
main
51s
Added bits functions Docs #78: Commit 19965eb pushed by jbouwman
41s main
main
41s
Added bits functions CI #78: Commit 19965eb pushed by jbouwman
56s main
main
56s
Move math package to math directory Docs #77: Commit d0156b5 pushed by jbouwman
55s main
main
55s
Move math package to math directory CI #77: Commit d0156b5 pushed by jbouwman
1m 47s main
main
1m 47s
Attribute helpers Docs #76: Commit b75d02f pushed by jbouwman
27s main
main
27s
Attribute helpers CI #76: Commit b75d02f pushed by jbouwman
54s main
main
54s
Remove location parameter from check-duplicates CI #75: Commit ce96064 pushed by jbouwman
51s main
main
51s
Remove location parameter from check-duplicates Docs #75: Commit ce96064 pushed by jbouwman
25s main
main
25s
Correct span offsets in error messages CI #74: Commit 01cf00a pushed by jbouwman
54s main
main
54s
Correct span offsets in error messages Docs #74: Commit 01cf00a pushed by jbouwman
22s main
main
22s
Remove check of class constraints for specialization CI #73: Commit ab5f6ab pushed by jbouwman
1m 31s main
main
1m 31s
Remove check of class constraints for specialization Docs #73: Commit ab5f6ab pushed by jbouwman
34s main
main
34s
Dead code removal and naming clarification CI #72: Commit e80aef6 pushed by jbouwman
1m 0s main
main
1m 0s