Skip to content

Actions: tweag/nickel-lang.org

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update-flake-lock
update-flake-lock #95: Scheduled
November 19, 2023 00:15 36s master
November 19, 2023 00:15 36s
chore(deps): bump ace-builds from 1.31.1 to 1.31.2 (#574)
Deploy #1347: Commit 3b49715 pushed by github-merge-queue bot
November 17, 2023 09:14 4m 9s master
November 17, 2023 09:14 4m 9s
Update to Nickel v1.3.0 (#575)
Deploy #1346: Commit d7ac6bc pushed by github-merge-queue bot
November 17, 2023 09:13 3m 52s master
November 17, 2023 09:13 3m 52s
Deploy
Deploy #1345: Merge group checks requested
November 17, 2023 09:10 3m 58s
November 17, 2023 09:10 3m 58s
Deploy
Deploy #1344: Merge group checks requested
November 17, 2023 09:09 4m 11s
November 17, 2023 09:09 4m 11s
Update to Nickel v1.3.0
Deploy #1342: Pull request #575 synchronize by yannham
November 16, 2023 18:00 4m 5s release/1.3.0
November 16, 2023 18:00 4m 5s
Update to Nickel v1.3.0
Deploy #1341: Pull request #575 opened by yannham
November 16, 2023 17:08 17m 32s release/1.3.0
November 16, 2023 17:08 17m 32s
flake.lock: Update (#572)
Deploy #1338: Commit 942f9fb pushed by github-merge-queue bot
November 13, 2023 10:49 3m 15s master
November 13, 2023 10:49 3m 15s
Deploy
Deploy #1337: Merge group checks requested
November 13, 2023 10:44 5m 14s
November 13, 2023 10:44 5m 14s
flake.lock: Update
Deploy #1336: Pull request #572 opened by yannham
November 12, 2023 00:15 3m 16s update_flake_lock_action
November 12, 2023 00:15 3m 16s
update-flake-lock
update-flake-lock #94: Scheduled
November 12, 2023 00:14 44s master
November 12, 2023 00:14 44s
flake.lock: Update (#570)
Deploy #1335: Commit 621033a pushed by github-merge-queue bot
November 6, 2023 10:21 5m 10s master
November 6, 2023 10:21 5m 10s
Deploy
Deploy #1334: Merge group checks requested
November 6, 2023 10:15 5m 31s
November 6, 2023 10:15 5m 31s
Deploy
Deploy #1333: Merge group checks requested
November 6, 2023 10:14 5m 59s
November 6, 2023 10:14 5m 59s
Fix typo in Getting Started page
Deploy #1332: Pull request #571 opened by cherryblossom000
November 5, 2023 03:20 4m 56s typo-fix
November 5, 2023 03:20 4m 56s
flake.lock: Update
Deploy #1331: Pull request #570 opened by yannham
November 5, 2023 00:15 4m 24s update_flake_lock_action
November 5, 2023 00:15 4m 24s
update-flake-lock
update-flake-lock #93: Scheduled
November 5, 2023 00:14 39s master
November 5, 2023 00:14 39s
flake.lock: Update (#568)
Deploy #1330: Commit 15ef4eb pushed by github-merge-queue bot
October 31, 2023 14:53 5m 11s master
October 31, 2023 14:53 5m 11s
Deploy
Deploy #1329: Merge group checks requested
October 31, 2023 14:47 5m 44s
October 31, 2023 14:47 5m 44s
chore(deps): bump ace-builds from 1.31.0 to 1.31.1 (#569)
Deploy #1328: Commit d0d2244 pushed by github-merge-queue bot
October 31, 2023 10:22 4m 39s master
October 31, 2023 10:22 4m 39s
Deploy
Deploy #1327: Merge group checks requested
October 31, 2023 10:16 5m 36s
October 31, 2023 10:16 5m 36s