Skip to content

Actions: tweag/nickel

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Structural ADTs: first step
Continuous integration #4719: Pull request #1770 opened by yannham
January 22, 2024 19:19 12m 15s feat/adt-first-step
January 22, 2024 19:19 12m 15s
Structural ADTs: first step
Deploy preview #3257: Pull request #1770 opened by yannham
January 22, 2024 19:19 4m 19s feat/adt-first-step
January 22, 2024 19:19 4m 19s
flake.lock: Update
Deploy preview #3256: Pull request #1733 synchronize by yannham
January 21, 2024 00:10 4m 48s update_flake_lock_action
January 21, 2024 00:10 4m 48s
flake.lock: Update
Continuous integration #4718: Pull request #1733 synchronize by yannham
January 21, 2024 00:10 42m 31s update_flake_lock_action
January 21, 2024 00:10 42m 31s
update-flake-lock
update-flake-lock #106: Scheduled
January 21, 2024 00:10 43s master
January 21, 2024 00:10 43s
Allow metadata keywords in field position (#1768)
Continuous integration #4717: Commit 8a1e538 pushed by github-merge-queue bot
January 19, 2024 11:30 22m 39s master
January 19, 2024 11:30 22m 39s
Deploy preview
Deploy preview #3255: Merge group checks requested
January 19, 2024 11:16 4m 13s
January 19, 2024 11:16 4m 13s
Continuous integration
Continuous integration #4716: Merge group checks requested
January 19, 2024 11:16 32m 58s
January 19, 2024 11:16 32m 58s
Add more space to contract error messages (#1767)
Continuous integration #4715: Commit 7d61228 pushed by github-merge-queue bot
January 19, 2024 11:08 11m 40s master
January 19, 2024 11:08 11m 40s
Deploy preview
Deploy preview #3254: Merge group checks requested
January 19, 2024 11:03 4m 26s
January 19, 2024 11:03 4m 26s
Continuous integration
Continuous integration #4714: Merge group checks requested
January 19, 2024 11:03 24m 6s
January 19, 2024 11:03 24m 6s
Add more spacing to contract error messages
Deploy preview #3253: Pull request #1767 synchronize by yannham
January 19, 2024 10:49 4m 1s error/blame-more-space
January 19, 2024 10:49 4m 1s
Add more spacing to contract error messages
Continuous integration #4713: Pull request #1767 synchronize by yannham
January 19, 2024 10:49 26m 56s error/blame-more-space
January 19, 2024 10:49 26m 56s
Allow metadata keywords in field position
Deploy preview #3252: Pull request #1768 opened by yannham
January 19, 2024 10:27 4m 5s syntax/metadata-keyword-field-names
January 19, 2024 10:27 4m 5s
Allow metadata keywords in field position
Continuous integration #4712: Pull request #1768 opened by yannham
January 19, 2024 10:27 24m 37s syntax/metadata-keyword-field-names
January 19, 2024 10:27 24m 37s
Add more spacing to contract error messages
Deploy preview #3251: Pull request #1767 synchronize by yannham
January 19, 2024 10:22 4m 28s error/blame-more-space
January 19, 2024 10:22 4m 28s
Add more spacing to contract error messages
Continuous integration #4711: Pull request #1767 synchronize by yannham
January 19, 2024 10:22 11m 54s error/blame-more-space
January 19, 2024 10:22 11m 54s
Add more spacing to contract error messages
Deploy preview #3250: Pull request #1767 opened by yannham
January 19, 2024 09:50 4m 41s error/blame-more-space
January 19, 2024 09:50 4m 41s
Add more spacing to contract error messages
Continuous integration #4710: Pull request #1767 opened by yannham
January 19, 2024 09:50 24m 20s error/blame-more-space
January 19, 2024 09:50 24m 20s
Check if stderr is a terminal for error messages (#1766)
Continuous integration #4709: Commit 22a0274 pushed by github-merge-queue bot
January 18, 2024 14:22 8m 26s master
January 18, 2024 14:22 8m 26s
Continuous integration
Continuous integration #4708: Merge group checks requested
January 18, 2024 14:17 11m 29s
January 18, 2024 14:17 11m 29s
Deploy preview
Deploy preview #3249: Merge group checks requested
January 18, 2024 14:17 4m 7s
January 18, 2024 14:17 4m 7s
Check if stderr is a terminal for error messages
Deploy preview #3248: Pull request #1766 opened by vkleen
January 18, 2024 13:40 4m 12s fix/stderr-color
January 18, 2024 13:40 4m 12s
Check if stderr is a terminal for error messages
Continuous integration #4707: Pull request #1766 opened by vkleen
January 18, 2024 13:40 25m 12s fix/stderr-color
January 18, 2024 13:40 25m 12s
chore(deps): bump cachix/cachix-action from 13 to 14 (#1762)
Continuous integration #4706: Commit 28b6c71 pushed by github-merge-queue bot
January 15, 2024 09:44 6m 13s master
January 15, 2024 09:44 6m 13s