Skip to content

Actions: tweag/nickel

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
4,512 workflow runs
4,512 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Implement array patterns Deploy preview #3647: Pull request #1912 synchronize by yannham
May 7, 2024 17:21 2m 57s feat/array-patterns
feat/array-patterns
May 7, 2024 17:21 2m 57s
Implement array patterns Continuous integration #5201: Pull request #1912 synchronize by yannham
May 7, 2024 17:21 31m 55s feat/array-patterns
feat/array-patterns
May 7, 2024 17:21 31m 55s
Implement array patterns Deploy preview #3646: Pull request #1912 opened by yannham
May 7, 2024 09:51 2m 52s feat/array-patterns
feat/array-patterns
May 7, 2024 09:51 2m 52s
Implement array patterns Continuous integration #5200: Pull request #1912 opened by yannham
May 7, 2024 09:51 5m 56s feat/array-patterns
feat/array-patterns
May 7, 2024 09:51 5m 56s
Allow other formats for singleton input (#1901) (#1902) Continuous integration #5199: Commit aca39ef pushed by github-merge-queue bot
May 7, 2024 08:58 6m 15s master
master
May 7, 2024 08:58 6m 15s
Deploy preview Deploy preview #3645: Merge group checks requested
May 7, 2024 08:33 2m 41s
May 7, 2024 08:33 2m 41s
Continuous integration Continuous integration #5198: Merge group checks requested
May 7, 2024 08:33 24m 13s
May 7, 2024 08:33 24m 13s
Package management Deploy preview #3644: Pull request #1903 synchronize by jneem
May 7, 2024 02:57 2m 49s npm
npm
May 7, 2024 02:57 2m 49s
Package management Continuous integration #5197: Pull request #1903 synchronize by jneem
May 7, 2024 02:57 36m 19s npm
npm
May 7, 2024 02:57 36m 19s
Remove different behaviour when single input Deploy preview #3643: Pull request #1902 synchronize by olorin37
May 6, 2024 20:21 2m 47s olorin37:1901-treat-all-inputs-the-same
olorin37:1901-treat-all-inputs-the-same
May 6, 2024 20:21 2m 47s
Remove different behaviour when single input Continuous integration #5196: Pull request #1902 synchronize by olorin37
May 6, 2024 20:21 26m 23s olorin37:1901-treat-all-inputs-the-same
olorin37:1901-treat-all-inputs-the-same
May 6, 2024 20:21 26m 23s
Remove different behaviour when single input Deploy preview #3642: Pull request #1902 synchronize by olorin37
May 6, 2024 19:43 Action required olorin37:1901-treat-all-inputs-the-same
olorin37:1901-treat-all-inputs-the-same
May 6, 2024 19:43 Action required
Remove different behaviour when single input Continuous integration #5195: Pull request #1902 synchronize by olorin37
May 6, 2024 19:43 Action required olorin37:1901-treat-all-inputs-the-same
olorin37:1901-treat-all-inputs-the-same
May 6, 2024 19:43 Action required
Implement pattern guards Deploy preview #3641: Pull request #1910 opened by yannham
May 6, 2024 16:21 3m 2s feat/pattern-guards
feat/pattern-guards
May 6, 2024 16:21 3m 2s
Implement pattern guards Continuous integration #5194: Pull request #1910 opened by yannham
May 6, 2024 16:21 28m 32s feat/pattern-guards
feat/pattern-guards
May 6, 2024 16:21 28m 32s
Uniformize destruct and pattern matching logic (#1907) Continuous integration #5193: Commit 07cd719 pushed by github-merge-queue bot
May 6, 2024 16:13 5m 15s master
master
May 6, 2024 16:13 5m 15s
Deploy preview Deploy preview #3640: Merge group checks requested
May 6, 2024 16:07 2m 51s
May 6, 2024 16:07 2m 51s
Continuous integration Continuous integration #5192: Merge group checks requested
May 6, 2024 16:07 5m 57s
May 6, 2024 16:07 5m 57s
Uniformize destruct and pattern matching logic Deploy preview #3639: Pull request #1907 synchronize by yannham
May 6, 2024 15:41 2m 48s chore/uniformize-destruct-and-pattern-matching
chore/uniformize-destruct-and-pattern-matching
May 6, 2024 15:41 2m 48s
Uniformize destruct and pattern matching logic Continuous integration #5191: Pull request #1907 synchronize by yannham
May 6, 2024 15:41 25m 25s chore/uniformize-destruct-and-pattern-matching
chore/uniformize-destruct-and-pattern-matching
May 6, 2024 15:41 25m 25s
Uniformize destruct and pattern matching logic Deploy preview #3638: Pull request #1907 synchronize by yannham
May 6, 2024 09:21 2m 42s chore/uniformize-destruct-and-pattern-matching
chore/uniformize-destruct-and-pattern-matching
May 6, 2024 09:21 2m 42s
Uniformize destruct and pattern matching logic Continuous integration #5190: Pull request #1907 synchronize by yannham
May 6, 2024 09:21 23m 50s chore/uniformize-destruct-and-pattern-matching
chore/uniformize-destruct-and-pattern-matching
May 6, 2024 09:21 23m 50s
Add new_from_sources function to Program (#1900) Continuous integration #5189: Commit d1b42df pushed by github-merge-queue bot
May 6, 2024 07:32 4m 48s master
master
May 6, 2024 07:32 4m 48s
Deploy preview Deploy preview #3637: Merge group checks requested
May 6, 2024 07:27 2m 42s
May 6, 2024 07:27 2m 42s
Continuous integration Continuous integration #5188: Merge group checks requested
May 6, 2024 07:27 5m 2s
May 6, 2024 07:27 5m 2s