Skip to content

Actions: tweag/nickel

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add the package std module benchmark pull requests #491: Pull request #2104 edited by jneem
December 24, 2024 09:06 13m 32s std-package
std-package
December 24, 2024 09:06 13m 32s
Add the package std module Continuous integration #6194: Pull request #2104 synchronize by jneem
December 24, 2024 09:02 13m 14s std-package
std-package
December 24, 2024 09:02 13m 14s
Add the package std module benchmark pull requests #490: Pull request #2104 synchronize by jneem
December 24, 2024 09:02 13m 48s std-package
std-package
December 24, 2024 09:02 13m 48s
[RFC007] Extract runtime contract equality out of typecheck (#2130) Continuous integration #6193: Commit cae9894 pushed by github-merge-queue bot
December 24, 2024 09:01 6m 5s master
master
December 24, 2024 09:01 6m 5s
[RFC007] Extract runtime contract equality out of typecheck (#2130) benchmark master #80: Commit cae9894 pushed by github-merge-queue bot
December 24, 2024 09:01 7m 50s master
master
December 24, 2024 09:01 7m 50s
Track Benchmarks with Bencher Track Benchmarks with Bencher #479: completed by yannham
December 24, 2024 09:00 17s
December 24, 2024 09:00 17s
Continuous integration Continuous integration #6192: Merge group checks requested
December 24, 2024 09:00 6m 41s
December 24, 2024 09:00 6m 41s
[RFC007] Extract runtime contract equality out of typecheck benchmark pull requests #489: Pull request #2130 synchronize by yannham
December 24, 2024 08:46 13m 59s rfc007/extract-contract-dedup
rfc007/extract-contract-dedup
December 24, 2024 08:46 13m 59s
[RFC007] Extract runtime contract equality out of typecheck Continuous integration #6191: Pull request #2130 synchronize by yannham
December 24, 2024 08:46 13m 38s rfc007/extract-contract-dedup
rfc007/extract-contract-dedup
December 24, 2024 08:46 13m 38s
Track Benchmarks with Bencher Track Benchmarks with Bencher #478: completed by jneem
December 24, 2024 03:04 20s
December 24, 2024 03:04 20s
Do deep eval for doctests benchmark pull requests #488: Pull request #2110 synchronize by jneem
December 24, 2024 02:50 13m 51s doctest-deep-eq
doctest-deep-eq
December 24, 2024 02:50 13m 51s
Do deep eval for doctests Continuous integration #6190: Pull request #2110 synchronize by jneem
December 24, 2024 02:50 13m 40s doctest-deep-eq
doctest-deep-eq
December 24, 2024 02:50 13m 40s
Freeze records on insert/remove/update. (#2131) benchmark master #79: Commit 77e355a pushed by github-merge-queue bot
December 24, 2024 02:17 7m 47s master
master
December 24, 2024 02:17 7m 47s
Freeze records on insert/remove/update. (#2131) Continuous integration #6189: Commit 77e355a pushed by github-merge-queue bot
December 24, 2024 02:17 4m 35s master
master
December 24, 2024 02:17 4m 35s
Continuous integration Continuous integration #6188: Merge group checks requested
December 24, 2024 02:16 4m 40s
December 24, 2024 02:16 4m 40s
github_actions in /. - Update #937507907 Dependabot Updates #16: by dependabot bot
December 24, 2024 00:25 35s master
master
December 24, 2024 00:25 35s
Track Benchmarks with Bencher Track Benchmarks with Bencher #477: completed by jneem
December 23, 2024 16:39 1m 6s
December 23, 2024 16:39 1m 6s
Freeze records on insert/remove/update. Continuous integration #6187: Pull request #2131 synchronize by jneem
December 23, 2024 16:25 14m 25s freeze-em
freeze-em
December 23, 2024 16:25 14m 25s
Freeze records on insert/remove/update. benchmark pull requests #487: Pull request #2131 synchronize by jneem
December 23, 2024 16:25 13m 56s freeze-em
freeze-em
December 23, 2024 16:25 13m 56s
Track Benchmarks with Bencher Track Benchmarks with Bencher #476: completed by jneem
December 23, 2024 16:14 23s
December 23, 2024 16:14 23s
Freeze records on insert/remove/update. Continuous integration #6186: Pull request #2131 opened by jneem
December 23, 2024 16:00 5m 14s freeze-em
freeze-em
December 23, 2024 16:00 5m 14s
Freeze records on insert/remove/update. benchmark pull requests #486: Pull request #2131 opened by jneem
December 23, 2024 16:00 13m 39s freeze-em
freeze-em
December 23, 2024 16:00 13m 39s
Track Benchmarks with Bencher Track Benchmarks with Bencher #475: completed by yannham
December 23, 2024 15:30 18s
December 23, 2024 15:30 18s
[RFC007] Extract runtime contract equality out of typecheck Continuous integration #6185: Pull request #2130 opened by yannham
December 23, 2024 15:16 13m 10s rfc007/extract-contract-dedup
rfc007/extract-contract-dedup
December 23, 2024 15:16 13m 10s
[RFC007] Extract runtime contract equality out of typecheck benchmark pull requests #485: Pull request #2130 opened by yannham
December 23, 2024 15:16 13m 48s rfc007/extract-contract-dedup
rfc007/extract-contract-dedup
December 23, 2024 15:16 13m 48s