Skip to content

Actions: jbouwman/coalton

Actions

Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
83 workflow runs
83 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

added test for rename-bound-variables with inlining Docs #83: Commit 2ad7d0e pushed by jbouwman
January 18, 2025 16:48 23s main
main
January 18, 2025 16:48 23s
fix i1340 Docs #82: Commit d9954e7 pushed by jbouwman
January 14, 2025 03:25 46s main
main
January 14, 2025 03:25 46s
removed unused function handle-unsigned-overflow Docs #81: Commit 6c6df06 pushed by jbouwman
January 11, 2025 19:49 20s main
main
January 11, 2025 19:49 20s
fix coalton-library/files unreachable code warning Docs #80: Commit 90fcc61 pushed by jbouwman
January 10, 2025 19:06 44s main
main
January 10, 2025 19:06 44s
toplevel-only errs Docs #79: Commit 7d5574f pushed by jbouwman
January 3, 2025 16:23 27s main
main
January 3, 2025 16:23 27s
Added bits functions Docs #78: Commit 19965eb pushed by jbouwman
October 28, 2024 21:25 41s main
main
October 28, 2024 21:25 41s
Move math package to math directory Docs #77: Commit d0156b5 pushed by jbouwman
October 14, 2024 20:54 55s main
main
October 14, 2024 20:54 55s
Attribute helpers Docs #76: Commit b75d02f pushed by jbouwman
October 9, 2024 19:12 27s main
main
October 9, 2024 19:12 27s
Remove location parameter from check-duplicates Docs #75: Commit ce96064 pushed by jbouwman
October 9, 2024 17:12 25s main
main
October 9, 2024 17:12 25s
Correct span offsets in error messages Docs #74: Commit 01cf00a pushed by jbouwman
October 8, 2024 20:35 22s main
main
October 8, 2024 20:35 22s
Remove check of class constraints for specialization Docs #73: Commit ab5f6ab pushed by jbouwman
October 8, 2024 18:17 34s main
main
October 8, 2024 18:17 34s
Dead code removal and naming clarification Docs #72: Commit e80aef6 pushed by jbouwman
October 3, 2024 18:20 53s main
main
October 3, 2024 18:20 53s
Complete conversion of per-file test cases to suite format Docs #71: Commit d7a214c pushed by jbouwman
October 3, 2024 16:09 25s main
main
October 3, 2024 16:09 25s
Derive specialized lisp types for transparent type Docs #70: Commit 4394ae4 pushed by jbouwman
October 3, 2024 16:03 56s main
main
October 3, 2024 16:03 56s
Convert parser tests to suite format, part 3 Docs #69: Commit 2a2b0bf pushed by jbouwman
October 2, 2024 22:04 41s main
main
October 2, 2024 22:04 41s
Tweaks to bits class docs Docs #68: Commit 975b093 pushed by jbouwman
October 2, 2024 21:57 17s main
main
October 2, 2024 21:57 17s
Respond to code review comments Docs #67: Commit efe0b03 pushed by jbouwman
October 2, 2024 20:30 26s main
main
October 2, 2024 20:30 26s
doc workflow: generate source links to main revision Docs #66: Commit 69db2ba pushed by jbouwman
October 2, 2024 20:12 49s main
main
October 2, 2024 20:12 49s
Documentation source links point to main branch Docs #65: Commit ce7467d pushed by jbouwman
October 2, 2024 18:31 24s main
main
October 2, 2024 18:31 24s
Put define-class tests into a single suite file Docs #64: Commit 2e69557 pushed by jbouwman
October 2, 2024 16:04 1m 10s main
main
October 2, 2024 16:04 1m 10s
Fix trivial error in a comment Docs #63: Commit 68cb691 pushed by jbouwman
October 2, 2024 15:51 29s main
main
October 2, 2024 15:51 29s
Remove exports of location accessors Docs #62: Commit caa41f0 pushed by jbouwman
October 1, 2024 23:14 56s main
main
October 1, 2024 23:14 56s
Test suite execution improvements Docs #61: Commit 194bb2f pushed by jbouwman
September 30, 2024 21:52 42s main
main
September 30, 2024 21:52 42s
Updated doc links, updated doc README Docs #60: Commit 3611e56 pushed by jbouwman
September 30, 2024 20:45 30s main
main
September 30, 2024 20:45 30s
Use parse-error and tc-error helpers consistently Docs #59: Commit 185c052 pushed by jbouwman
September 27, 2024 23:03 51s main
main
September 27, 2024 23:03 51s