Skip to content

Actions: tweag/nickel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
798 workflow run results
798 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update-flake-lock update-flake-lock #95: Scheduled
November 5, 2023 00:09 33s master
master
November 5, 2023 00:09 33s
Update malachite 3.x -> 4.x (and other crates) (#1705) Continuous integration #4536: Commit 28672ee pushed by github-merge-queue bot
October 30, 2023 09:09 7m 40s master
master
October 30, 2023 09:09 7m 40s
Fix unsound contract equality fast check (#1703) Continuous integration #4533: Commit 11c8fab pushed by github-merge-queue bot
October 29, 2023 12:26 6m 51s master
master
October 29, 2023 12:26 6m 51s
update-flake-lock update-flake-lock #94: Scheduled
October 29, 2023 00:09 1m 12s master
master
October 29, 2023 00:09 1m 12s
Fix contract equality on revertible thunks (#1699) Continuous integration #4529: Commit 1921c31 pushed by github-merge-queue bot
October 26, 2023 14:57 5m 42s master
master
October 26, 2023 14:57 5m 42s
Use match_shared in the main eval loop (#1698) Continuous integration #4526: Commit 5b7d59a pushed by github-merge-queue bot
October 25, 2023 21:07 6m 42s master
master
October 25, 2023 21:07 6m 42s
Improve hover output for let patterns (#1696) Continuous integration #4518: Commit f0de135 pushed by github-merge-queue bot
October 24, 2023 23:45 5m 56s master
master
October 24, 2023 23:45 5m 56s
Reword impl of partial_cmp for Ident, LocIdent (#1697) Continuous integration #4515: Commit 75107c1 pushed by github-merge-queue bot
October 24, 2023 20:33 9m 20s master
master
October 24, 2023 20:33 9m 20s
update-flake-lock update-flake-lock #93: Scheduled
October 22, 2023 00:09 39s master
master
October 22, 2023 00:09 39s
change nickel-nix to organist (#1691) Continuous integration #4511: Commit fe66a02 pushed by github-merge-queue bot
October 20, 2023 10:33 7m 18s master
master
October 20, 2023 10:33 7m 18s
Fix doc, example code for pipe lacks prefix (#1692) Continuous integration #4509: Commit 933945d pushed by github-merge-queue bot
October 20, 2023 10:09 21m 23s master
master
October 20, 2023 10:09 21m 23s
Fix invalid example code in doc of blame_with_message (#1689) Continuous integration #4503: Commit d61145b pushed by github-merge-queue bot
October 19, 2023 14:53 23m 6s master
master
October 19, 2023 14:53 23m 6s
chore(deps): bump rustix from 0.37.23 to 0.37.25 (#1688) Continuous integration #4500: Commit cde6290 pushed by github-merge-queue bot
October 19, 2023 10:36 34m 28s master
master
October 19, 2023 10:36 34m 28s
Get rid of most generated variables (#1679) Continuous integration #4493: Commit 2a727ba pushed by github-merge-queue bot
October 16, 2023 12:02 10m 42s master
master
October 16, 2023 12:02 10m 42s
update-flake-lock update-flake-lock #92: Scheduled
October 15, 2023 00:09 38s master
master
October 15, 2023 00:09 38s
Make rustfmt work in match_sharedterm! (#1677) Continuous integration #4488: Commit 859293a pushed by github-merge-queue bot
October 13, 2023 16:51 7m 1s master
master
October 13, 2023 16:51 7m 1s
Fix array closurization just forgetting common contracts (#1678) Continuous integration #4484: Commit 7e4ecd9 pushed by github-merge-queue bot
October 13, 2023 15:28 10m 2s master
master
October 13, 2023 15:28 10m 2s
Add cousin search to goto and hover (#1670) Continuous integration #4480: Commit 97e18af pushed by github-merge-queue bot
October 12, 2023 21:56 7m 36s master
master
October 12, 2023 21:56 7m 36s
First prototype of evaluation (#1672) Continuous integration #4477: Commit 4dfd59a pushed by github-merge-queue bot
October 12, 2023 18:04 7m 9s master
master
October 12, 2023 18:04 7m 9s
Get rid of shallow_repr and print full terms (#1676) Continuous integration #4475: Commit 3edcb52 pushed by github-merge-queue bot
October 12, 2023 17:25 34m 56s master
master
October 12, 2023 17:25 34m 56s
Array contract deduplication (#1674) Continuous integration #4470: Commit 47823f5 pushed by github-merge-queue bot
October 12, 2023 08:24 8m 29s master
master
October 12, 2023 08:24 8m 29s
Print pretty diagnostic when a benchmark fails (#1675) Continuous integration #4467: Commit a3505a1 pushed by github-merge-queue bot
October 11, 2023 16:35 7m 3s master
master
October 11, 2023 16:35 7m 3s
Avoid quadratic behavior when optimizing contracts (#1673) Continuous integration #4461: Commit f3ce8f3 pushed by github-merge-queue bot
October 11, 2023 09:10 20m 30s master
master
October 11, 2023 09:10 20m 30s
Contract elision for static types (#1671) Continuous integration #4457: Commit a80c20d pushed by github-merge-queue bot
October 10, 2023 10:28 5m 59s master
master
October 10, 2023 10:28 5m 59s
Fix record.update by making record.insert act consistently (#1669) Continuous integration #4451: Commit 94c2573 pushed by github-merge-queue bot
October 10, 2023 07:43 8m 19s master
master
October 10, 2023 07:43 8m 19s
ProTip! You can narrow down the results and go further in time using created:<2023-10-10 or the other filters available.