8000 CI · Workflow runs · jbouwman/coalton · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: jbouwman/coalton

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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