Skip to content

Actions: jbouwman/coalton

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
156 workflow runs
156 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added bits functions Docs #78: Commit 19965eb pushed by jbouwman
October 28, 2024 21:25 41s main
main
October 28, 2024 21:25 41s
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 Docs #77: Commit d0156b5 pushed by jbouwman
October 14, 2024 20:54 55s main
main
October 14, 2024 20:54 55s
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 Docs #76: Commit b75d02f pushed by jbouwman
October 9, 2024 19:12 27s main
main
October 9, 2024 19:12 27s
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
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 CI #74: Commit 01cf00a pushed by jbouwman
October 8, 2024 20:35 54s main
main
October 8, 2024 20:35 54s
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 CI #73: Commit ab5f6ab pushed by jbouwman
October 8, 2024 18:17 1m 31s main
main
October 8, 2024 18:17 1m 31s
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 CI #72: Commit e80aef6 pushed by jbouwman
October 3, 2024 18:20 1m 0s main
main
October 3, 2024 18:20 1m 0s
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
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
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
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 Docs #68: Commit 975b093 pushed by jbouwman
October 2, 2024 21:57 17s main
main
October 2, 2024 21:57 17s
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 Docs #67: Commit efe0b03 pushed by jbouwman
October 2, 2024 20:30 26s main
main
October 2, 2024 20:30 26s
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 Docs #66: Commit 69db2ba pushed by jbouwman
October 2, 2024 20:12 49s main
main
October 2, 2024 20:12 49s