Skip to content

Actions: nyu-acsys/raven

Actions

Builds, tests & co

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
321 workflow runs
321 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix bug in output parameter check Builds, tests & co #96: Commit 46cb112 pushed by wies
October 24, 2024 01:10 32m 42s dev
dev
October 24, 2024 01:10 32m 42s
progree on B+ tree Builds, tests & co #95: Commit 6f64104 pushed by wies
October 23, 2024 22:19 33m 23s dev
dev
October 23, 2024 22:19 33m 23s
add some more basic types in standard lib; do not check standard lib … Builds, tests & co #94: Commit 67f7fd5 pushed by wies
October 23, 2024 04:50 32m 42s dev
dev
October 23, 2024 04:50 32m 42s
fix two bugs related to imports and module instantiation Builds, tests & co #93: Commit e7dfa17 pushed by wies
October 23, 2024 01:38 34m 31s dev
dev
October 23, 2024 01:38 34m 31s
add status badge Builds, tests & co #92: Commit cb44526 pushed by wies
October 22, 2024 21:32 33m 27s dev
dev
October 22, 2024 21:32 33m 27s
added peterson sketch Builds, tests & co #91: Commit 13b8ad5 pushed by EkanshdeepGupta
October 19, 2024 21:00 27m 23s dev
dev
October 19, 2024 21:00 27m 23s
minor improvement Builds, tests & co #90: Commit 0d48a7d pushed by wies
October 17, 2024 21:54 33m 41s dev
dev
October 17, 2024 21:54 33m 41s
minor Builds, tests & co #89: Commit 8d4c33d pushed by wies
October 17, 2024 21:51 33m 29s dev
dev
October 17, 2024 21:51 33m 29s
increase timeout Builds, tests & co #88: Commit 2ca4aea pushed by wies
October 9, 2024 04:27 26m 32s dev
dev
October 9, 2024 04:27 26m 32s
fix issues with dependency analysis Builds, tests & co #87: Commit 60147cf pushed by wies
October 9, 2024 03:52 32m 23s dev
dev
October 9, 2024 03:52 32m 23s
added SMT comment for injectivity assertions and minor cleanup Builds, tests & co #86: Commit e9fbb27 pushed by EkanshdeepGupta
October 4, 2024 19:21 8s dev
dev
October 4, 2024 19:21 8s
Update name Builds, tests & co #85: Commit 1c2c804 pushed by jsalzbergedu
October 3, 2024 19:41 6s jacob-dev-wip
jacob-dev-wip
October 3, 2024 19:41 6s
towards prettier give-up template Builds, tests & co #84: Commit 270d57a pushed by jsalzbergedu
October 3, 2024 19:40 8s jacob-dev-wip
jacob-dev-wip
October 3, 2024 19:40 8s
towards prettier give-up template Builds, tests & co #83: Commit 270d57a pushed by wies
October 1, 2024 23:12 7s dev
dev
October 1, 2024 23:12 7s
fixed other module field typing bug Builds, tests & co #82: Commit 4d4aa8e pushed by EkanshdeepGupta
October 1, 2024 22:52 7s dev
dev
October 1, 2024 22:52 7s
added (buggy) induction hypo for function calls Builds, tests & co #81: Commit 2d63884 pushed by EkanshdeepGupta
October 1, 2024 21:40 31m 4s rec_function_induction_hypothesis
rec_function_induction_hypothesis
October 1, 2024 21:40 31m 4s
added manual auto-lemmas Builds, tests & co #80: Commit b4c5bbc pushed by EkanshdeepGupta
October 1, 2024 19:04 26m 4s dev
dev
October 1, 2024 19:04 26m 4s
minor Builds, tests & co #79: Commit f66bc24 pushed by wies
October 1, 2024 03:01 28m 38s dev
dev
October 1, 2024 03:01 28m 38s
finish porting array utils Builds, tests & co #78: Commit 7007ec7 pushed by wies
October 1, 2024 02:29 26m 43s dev
dev
October 1, 2024 02:29 26m 43s
comment out some asserts etc. Builds, tests & co #77: Commit 45f9b25 pushed by wies
September 30, 2024 23:45 26m 31s dev
dev
September 30, 2024 23:45 26m 31s
some tuning to inheritance of auto lemmas and auto dependencies Builds, tests & co #76: Commit d97020f pushed by wies
September 30, 2024 23:13 26m 23s dev
dev
September 30, 2024 23:13 26m 23s
more precise error location for field access violations Builds, tests & co #75: Commit dae872a pushed by wies
September 30, 2024 17:22 26m 21s dev
dev
September 30, 2024 17:22 26m 21s
support nested map update expressions; fix broken make_free condition Builds, tests & co #74: Commit 5613a9d pushed by wies
September 30, 2024 05:21 26m 53s dev
dev
September 30, 2024 05:21 26m 53s
less verbose debug output Builds, tests & co #73: Commit ffb7d55 pushed by wies
September 30, 2024 01:00 27m 4s dev
dev
September 30, 2024 01:00 27m 4s
test case for loop invariant variable bug Builds, tests & co #72: Commit 2cfdc77 pushed by wies
September 30, 2024 00:59 26m 32s dev
dev
September 30, 2024 00:59 26m 32s
ProTip! You can narrow down the results and go further in time using created:<2024-09-30 or the other filters available.