8000 Workflow runs · tweag/nickel · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: tweag/nickel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,448 workflow runs
4,448 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #1009769821 Dependabot Updates #177: by dependabot bot
May 5, 2025 00:13 47s master
master
May 5, 2025 00:13 47s
Track Benchmarks with Bencher Track Benchmarks with Bencher #885: completed by L0r3m1p5um
May 4, 2025 02:26 23s
May 4, 2025 02:26 23s
Add context to error opening trace file in nls (#2244) Continuous integration #6699: Commit 9ddda8a pushed by github-merge-queue bot
May 4, 2025 02:12 32m 5s master
master
May 4, 2025 02:12 32m 5s
Add context to error opening trace file in nls (#2244) benchmark master #146: Commit 9ddda8a pushed by github-merge-queue bot
May 4, 2025 02:12 8m 54s master
master
May 4, 2025 02:12 8m 54s
Continuous integration Continuous integration #6698: Merge group checks requested
May 4, 2025 02:04 40m 12s
May 4, 2025 02:04 40m 12s
flake.lock: Update (#2245) Continuous integration #6697: Commit a5bdf87 pushed by github-merge-queue bot
May 4, 2025 02:04 5m 47s master
master
May 4, 2025 02:04 5m 47s
flake.lock: Update (#2245) benchmark master #145: Commit a5bdf87 pushed by github-merge-queue bot
May 4, 2025 02:04 9m 8s master
master
May 4, 2025 02:04 9m 8s
Continuous integration Continuous integration #6696: Merge group checks requested
May 4, 2025 01:56 7m 16s
May 4, 2025 01:56 7m 16s
Track Benchmarks with Bencher Track Benchmarks with Bencher #884: completed by yannham
May 4, 2025 00:52 18s
May 4, 2025 00:52 18s
flake.lock: Update benchmark pull requests #895: Pull request #2245 opened by yannham
May 4, 2025 00:15 36m 17s update_flake_lock_action
update_flake_lock_action
May 4, 2025 00:15 36m 17s
flake.lock: Update Continuous integration #6695: Pull request #2245 opened by yannham
May 4, 2025 00:15 26m 11s update_flake_lock_action
update_flake_lock_action
May 4, 2025 00:15 26m 11s
update-flake-lock update-flake-lock #173: Scheduled
May 4, 2025 00:15 50s master
master
May 4, 2025 00:15 50s
Add context to error opening trace file in nls Continuous integration #6694: Pull request #2244 opened by L0r3m1p5um
May 3, 2025 22:15 26m 0s L0r3m1p5um:trace_error_context
L0r3m1p5um:trace_error_context
May 3, 2025 22:15 26m 0s
Add context to error opening trace file in nls benchmark pull requests #894: Pull request #2244 opened by L0r3m1p5um
May 3, 2025 22:15 30m 53s L0r3m1p5um:trace_error_context
L0r3m1p5um:trace_error_context
May 3, 2025 22:15 30m 53s
github_actions in /. - Update #1009081213 Dependabot Updates #176: by dependabot bot
May 2, 2025 00:28 37s master
master
May 2, 2025 00:28 37s
github_actions in /. - Update #1007804508 Dependabot Updates #175: by dependabot bot
May 1, 2025 00:16 39s master
master
May 1, 2025 00:16 39s
Negation error messages (#2242) Continuous integration #6693: Commit 74dbb63 pushed by github-merge-queue bot
April 30, 2025 13:08 7m 25s master
master
April 30, 2025 13:08 7m 25s
Negation error messages (#2242) benchmark master #144: Commit 74dbb63 pushed by github-merge-queue bot
April 30, 2025 13:08 9m 16s master
master
April 30, 2025 13:08 9m 16s
Remove the unused merge keyword (#2243) benchmark master #143: Commit b387588 pushed by github-merge-queue bot
April 30, 2025 13:05 9m 4s master
master
April 30, 2025 13:05 9m 4s
Remove the unused merge keyword (#2243) Continuous integration #6692: Commit b387588 pushed by github-merge-queue bot
April 30, 2025 13:05 3m 19s master
master
April 30, 2025 13:05 3m 19s
Continuous integration Continuous integration #6691: Merge group checks requested
April 30, 2025 12:57 21m 12s
April 30, 2025 12:57 21m 12s
Continuous integration Continuous integration #6690: Merge group checks requested
April 30, 2025 12:57 7m 44s
April 30, 2025 12:57 7m 44s
Track Benchmarks with Bencher Track Benchmarks with Bencher #883: completed by jneem
April 30, 2025 11:36 18s
April 30, 2025 11:36 18s
Remove the unused merge keyword Continuous integration #6689: Pull request #2243 opened by jneem
April 30, 2025 11:05 22m 18s no-merge
no-merge
April 30, 2025 11:05 22m 18s
Remove the unused merge keyword benchmark pull requests #893: Pull request #2243 opened by jneem
April 30, 2025 11:05 30m 59s no-merge
no-merge
April 30, 2025 11:05 30m 59s
0