Skip to content

Actions: tweag/nickel-lang.org

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
123 workflow run results
123 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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