Skip to content

Actions: tweag/nickel-lang.org

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
931 workflow runs
931 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(deps): bump sass from 1.67.0 to 1.68.0 (#548)
Deploy #1262: Commit 32ce07f pushed by github-merge-queue bot
September 22, 2023 11:05 5m 1s master
September 22, 2023 11:05 5m 1s
Deploy
Deploy #1261: Merge group checks requested
September 22, 2023 11:01 4m 1s
September 22, 2023 11:01 4m 1s
chore(deps): bump sass from 1.67.0 to 1.68.0
Deploy #1260: Pull request #548 synchronize by vkleen
September 22, 2023 09:38 4m 17s dependabot/npm_and_yarn/sass-1.68.0
September 22, 2023 09:38 4m 17s
chore(deps): bump ace-builds from 1.26.0 to 1.27.0 (#547)
Deploy #1258: Commit 2a04375 pushed by github-merge-queue bot
September 20, 2023 08:20 4m 3s master
September 20, 2023 08:20 4m 3s
Deploy
Deploy #1257: Merge group checks requested
September 20, 2023 08:14 4m 59s
September 20, 2023 08:14 4m 59s
Change nickel-... info string handling to nickel #... (#546)
Deploy #1254: Commit 60c76b6 pushed by github-merge-queue bot
September 19, 2023 14:32 4m 44s master
September 19, 2023 14:32 4m 44s
Deploy
Deploy #1253: Merge group checks requested
September 19, 2023 14:26 5m 34s
September 19, 2023 14:26 5m 34s
Change nickel-... info string handling to nickel #...
Deploy #1252: Pull request #546 opened by vkleen
September 19, 2023 12:45 4m 58s manual-snippets-fixup
September 19, 2023 12:45 4m 58s
Add support for more nickel code block annotations (#545)
Deploy #1251: Commit 2e4ec94 pushed by github-merge-queue bot
September 18, 2023 14:26 5m 44s master
September 18, 2023 14:26 5m 44s
Deploy
Deploy #1250: Merge group checks requested
September 18, 2023 14:21 4m 23s
September 18, 2023 14:21 4m 23s
Add support for more nickel code block annotations
Deploy #1249: Pull request #545 opened by vkleen
September 18, 2023 13:24 4m 10s manual-checking-fixes
September 18, 2023 13:24 4m 10s
flake.lock: Update (#543)
Deploy #1248: Commit d5da906 pushed by github-merge-queue bot
September 18, 2023 08:08 4m 16s master
September 18, 2023 08:08 4m 16s
Deploy
Deploy #1247: Merge group checks requested
September 18, 2023 08:03 4m 13s
September 18, 2023 08:03 4m 13s
chore(deps): bump ace-builds from 1.25.1 to 1.26.0 (#544)
Deploy #1246: Commit 63409e0 pushed by github-merge-queue bot
September 18, 2023 07:38 4m 49s master
September 18, 2023 07:38 4m 49s
Deploy
Deploy #1245: Merge group checks requested
September 18, 2023 07:34 4m 9s
September 18, 2023 07:34 4m 9s
flake.lock: Update
Deploy #1242: Pull request #543 opened by yannham
September 17, 2023 00:14 4m 4s update_flake_lock_action
September 17, 2023 00:14 4m 4s
update-flake-lock
update-flake-lock #86: Scheduled
September 17, 2023 00:13 38s master
September 17, 2023 00:13 38s
flake.lock: Update (#542)
Deploy #1241: Commit de23d65 pushed by github-merge-queue bot
September 15, 2023 09:40 4m 45s master
September 15, 2023 09:40 4m 45s
Deploy
Deploy #1240: Merge group checks requested
September 15, 2023 09:36 4m 11s
September 15, 2023 09:36 4m 11s
flake.lock: Update
Deploy #1239: Pull request #542 opened by yannham
September 15, 2023 09:21 8m 26s update_flake_lock_action
September 15, 2023 09:21 8m 26s
ProTip! You can narrow down the results and go further in time using created:<2023-09-15 or the other filters available.