Skip to content

Actions: tweag/nickel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,486 workflow run results
1,486 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
Add new_from_sources function to Program Deploy preview #3636: Pull request #1900 synchronize by ErinvanderVeen
May 6, 2024 07:02 2m 40s new-from-sources
new-from-sources
May 6, 2024 07:02 2m 40s
Add new_from_sources function to Program Continuous integration #5187: Pull request #1900 synchronize by ErinvanderVeen
May 6, 2024 07:02 25m 12s new-from-sources
new-from-sources
May 6, 2024 07:02 25m 12s
Add new_from_sources function to Program Deploy preview #3635: Pull request #1900 synchronize by ErinvanderVeen
May 6, 2024 06:55 3m 0s new-from-sources
new-from-sources
May 6, 2024 06:55 3m 0s
Add new_from_sources function to Program Continuous integration #5186: Pull request #1900 synchronize by ErinvanderVeen
May 6, 2024 06:55 6m 52s new-from-sources
new-from-sources
May 6, 2024 06:55 6m 52s
Add new_from_sources function to Program Deploy preview #3634: Pull request #1900 synchronize by ErinvanderVeen
May 6, 2024 06:34 2m 44s new-from-sources
new-from-sources
May 6, 2024 06:34 2m 44s
Add new_from_sources function to Program Continuous integration #5185: Pull request #1900 synchronize by ErinvanderVeen
May 6, 2024 06:34 21m 26s new-from-sources
new-from-sources
May 6, 2024 06:34 21m 26s
Add new_from_sources function to Program Deploy preview #3633: Pull request #1900 synchronize by ErinvanderVeen
May 6, 2024 06:33 2m 46s new-from-sources
new-from-sources
May 6, 2024 06:33 2m 46s
Add new_from_sources function to Program Continuous integration #5184: Pull request #1900 synchronize by ErinvanderVeen
May 6, 2024 06:33 1m 5s new-from-sources
new-from-sources
May 6, 2024 06:33 1m 5s
Wildcard patterns (#1904) Continuous integration #5183: Commit e8e9a34 pushed by github-merge-queue bot
May 6, 2024 04:18 8m 52s master
master
May 6, 2024 04:18 8m 52s
Deploy preview Deploy preview #3632: Merge group checks requested
May 6, 2024 04:10 2m 54s
May 6, 2024 04:10 2m 54s
Continuous integration Continuous integration #5182: Merge group checks requested
May 6, 2024 04:10 7m 42s
May 6, 2024 04:10 7m 42s
Remove different behaviour when single input Deploy preview #3631: Pull request #1902 synchronize by olorin37
May 5, 2024 09:30 2m 55s olorin37:1901-treat-all-inputs-the-same
olorin37:1901-treat-all-inputs-the-same
May 5, 2024 09:30 2m 55s
Remove different behaviour when single input Continuous integration #5181: Pull request #1902 synchronize by olorin37
May 5, 2024 09:30 21m 16s olorin37:1901-treat-all-inputs-the-same
olorin37:1901-treat-all-inputs-the-same
May 5, 2024 09:30 21m 16s