Skip to content

Actions: nyu-acsys/raven

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
231 workflow runs
231 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Jacob's Emacs tooling to personal branch Builds, tests & co #229: Commit ef11550 pushed by lucasdu2
November 26, 2024 21:20 17m 43s lucas-dev
lucas-dev
November 26, 2024 21:20 17m 43s
Clean up current file with uncaught exception crash Builds, tests & co #228: Commit 9734a70 pushed by lucasdu2
November 26, 2024 20:56 17m 54s lucas-dev
lucas-dev
November 26, 2024 20:56 17m 54s
attach error messages to bind statements; eliminate redundant assert … Builds, tests & co #227: Commit 0edf3a0 pushed by wies
November 26, 2024 03:32 19m 0s main
main
November 26, 2024 03:32 19m 0s
Set[T] -> Map[T, Bool]; fix bug related to returns in ghost blocks Builds, tests & co #226: Commit e3ca9d7 pushed by wies
November 24, 2024 00:08 17m 48s main
main
November 24, 2024 00:08 17m 48s
towards simplified give-up template Builds, tests & co #225: Commit a0e17f9 pushed by wies
November 23, 2024 01:15 17m 45s main
main
November 23, 2024 01:15 17m 45s
Update README.md Builds, tests & co #224: Commit 116d842 pushed by wies
November 22, 2024 17:48 17m 42s main
main
November 22, 2024 17:48 17m 42s
Update README.md Builds, tests & co #223: Commit fcbab0f pushed by wies
November 22, 2024 17:48 18m 32s main
main
November 22, 2024 17:48 18m 32s
Update README.md Builds, tests & co #222: Commit 0558a83 pushed by wies
November 22, 2024 17:37 17m 53s main
main
November 22, 2024 17:37 17m 53s
remove broken workflow Builds, tests & co #221: Commit f818bf0 pushed by wies
November 22, 2024 16:59 18m 6s main
main
November 22, 2024 16:59 18m 6s
fix file paths for unit tests Builds, tests & co #220: Commit 2d3e0d7 pushed by wies
November 22, 2024 16:50 18m 32s main
main
November 22, 2024 16:50 18m 32s
minor Builds, tests & co #219: Commit 37d4844 pushed by wies
November 22, 2024 05:05 18m 17s main
main
November 22, 2024 05:05 18m 17s
pass over README Builds, tests & co #218: Commit 0c2f53e pushed by wies
November 22, 2024 05:01 20m 52s main
main
November 22, 2024 05:01 20m 52s
Merge pull request #10 from nyu-acsys/dev Builds, tests & co #217: Commit 961a27c pushed by EkanshdeepGupta
November 22, 2024 04:10 6s main
main
November 22, 2024 04:10 6s
Raven 1.0 release! Builds, tests & co #216: Pull request #10 opened by EkanshdeepGupta
November 22, 2024 04:10 7s dev
dev
November 22, 2024 04:10 7s
Bumped up version, updated documentation, fixed many of the tests Builds, tests & co #215: Commit 93587ef pushed by EkanshdeepGupta
November 22, 2024 04:07 8s dev
dev
November 22, 2024 04:07 8s
add option to specify base directory for include resolution Builds, tests & co #214: Commit 9693b50 pushed by wies
November 22, 2024 03:34 9s dev
dev
November 22, 2024 03:34 9s
improve error message Builds, tests & co #213: Commit 756dd13 pushed by wies
November 21, 2024 07:21 7s dev
dev
November 21, 2024 07:21 7s
update logo Builds, tests & co #212: Commit 92a0010 pushed by wies
November 21, 2024 06:28 7s dev
dev
November 21, 2024 06:28 7s
update logo Builds, tests & co #211: Commit 0e992aa pushed by wies
November 21, 2024 06:13 8s dev
dev
November 21, 2024 06:13 8s
update logo Builds, tests & co #210: Commit beab335 pushed by wies
November 21, 2024 06:10 8s dev
dev
November 21, 2024 06:10 8s
update logo Builds, tests & co #209: Commit 93356e8 pushed by wies
November 21, 2024 06:00 7s dev
dev
November 21, 2024 06:00 7s
update logo Builds, tests & co #208: Commit 69332ea pushed by wies
November 21, 2024 05:58 7s dev
dev
November 21, 2024 05:58 7s
update logo Builds, tests & co #207: Commit a5956a0 pushed by wies
November 21, 2024 05:38 7s dev
dev
November 21, 2024 05:38 7s
split multiline error messages for lsp-mode Builds, tests & co #206: Commit 7bbb882 pushed by wies
November 21, 2024 04:59 8s dev
dev
November 21, 2024 04:59 8s
add optional JSON output of error messages for LSP integration Builds, tests & co #205: Commit 1af4ae6 pushed by wies
November 21, 2024 04:18 7s dev
dev
November 21, 2024 04:18 7s