Skip to content

Actions: nyu-acsys/raven

Actions

Builds, tests & co

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
236 workflow runs
236 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

some clean-up Builds, tests & co #236: Commit 542adec pushed by wies
December 6, 2024 22:47 17m 50s main
main
December 6, 2024 22:47 17m 50s
remove bug test case fixed by previous commit Builds, tests & co #235: Commit 529b5db pushed by wies
December 6, 2024 03:24 17m 39s main
main
December 6, 2024 03:24 17m 39s
Fixes #14 Builds, tests & co #234: Commit b286225 pushed by wies
December 5, 2024 23:50 17m 47s main
main
December 5, 2024 23:50 17m 47s
added minor logging Builds, tests & co #233: Commit 9034671 pushed by EkanshdeepGupta
December 5, 2024 16:56 18m 7s main
main
December 5, 2024 16:56 18m 7s
Make Set[T] contravariant in T (as it should be) Builds, tests & co #232: Commit ccd1e31 pushed by wies
December 5, 2024 01:53 18m 7s main
main
December 5, 2024 01:53 18m 7s
make module type checking more permissive; allow implicit return valu… Builds, tests & co #231: Commit ffa32f5 pushed by wies
December 5, 2024 01:29 17m 44s main
main
December 5, 2024 01:29 17m 44s
partial fix to bugs in skolem expression creation. revealed other bug… Builds, tests & co #230: Commit cfba6f5 pushed by EkanshdeepGupta
December 5, 2024 00:36 22m 21s main
main
December 5, 2024 00:36 22m 21s
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