Skip to content

Actions: tweag/nickel

Actions

Continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
continuous-integration.yml
787 workflow run results
787 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Continuous integration Continuous integration #4479: Merge group checks requested
October 12, 2023 21:51 6m 46s
October 12, 2023 21:51 6m 46s
Add cousin search to goto and hover Continuous integration #4478: Pull request #1670 synchronize by jneem
October 12, 2023 18:45 35m 32s hover-improvements
hover-improvements
October 12, 2023 18:45 35m 32s
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
Continuous integration Continuous integration #4476: Merge group checks requested
October 12, 2023 17:36 31m 52s
October 12, 2023 17:36 31m 52s
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
First prototype of evaluation Continuous integration #4474: Pull request #1672 synchronize by jneem
October 12, 2023 17:11 42m 27s nls-evaluate
nls-evaluate
October 12, 2023 17:11 42m 27s
Continuous integration Continuous integration #4473: Merge group checks requested
October 12, 2023 16:58 35m 15s
October 12, 2023 16:58 35m 15s
Get rid of most generated variables Continuous integration #4472: Pull request #1679 opened by yannham
October 12, 2023 16:57 5m 25s optimization/internal-closure
optimization/internal-closure
October 12, 2023 16:57 5m 25s
Fix array closurization just forgetting common contracts Continuous integration #4471: Pull request #1678 opened by yannham
October 12, 2023 13:01 31m 27s fix/array-cloz
fix/array-cloz
October 12, 2023 13:01 31m 27s
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
Continuous integration Continuous integration #4469: Merge group checks requested
October 12, 2023 07:55 28m 33s
October 12, 2023 07:55 28m 33s
Make rustfmt work in match_sharedterm! Continuous integration #4468: Pull request #1677 opened by Radvendii
October 11, 2023 21:00 23m 49s match_sharedterm_formatting
match_sharedterm_formatting
October 11, 2023 21:00 23m 49s
ProTip! You can narrow down the results and go further in time using created:<2023-10-11 or the other filters available.