Skip to content

Actions: tweag/nickel-lang.org

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
956 workflow runs
956 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
flake.lock: Update
Deploy #1324: Pull request #568 opened by yannham
October 29, 2023 00:14 3m 55s update_flake_lock_action
October 29, 2023 00:14 3m 55s
update-flake-lock
update-flake-lock #92: Scheduled
October 29, 2023 00:14 45s master
October 29, 2023 00:14 45s
chore(deps): bump sass from 1.69.4 to 1.69.5 (#567)
Deploy #1323: Commit cb5948c pushed by github-merge-queue bot
October 27, 2023 09:06 5m 12s master
October 27, 2023 09:06 5m 12s
Deploy
Deploy #1322: Merge group checks requested
October 27, 2023 09:01 4m 3s
October 27, 2023 09:01 4m 3s
flake.lock: Update (#564)
Deploy #1319: Commit 4a903eb pushed by github-merge-queue bot
October 24, 2023 20:25 5m 7s master
October 24, 2023 20:25 5m 7s
Deploy
Deploy #1318: Merge group checks requested
October 24, 2023 20:19 5m 43s
October 24, 2023 20:19 5m 43s
chore(deps): bump ace-builds from 1.30.0 to 1.31.0 (#566)
Deploy #1317: Commit 6965c95 pushed by github-merge-queue bot
October 24, 2023 20:13 5m 24s master
October 24, 2023 20:13 5m 24s
ProTip! You can narrow down the results and go further in time using created:<2023-10-24 or the other filters available.