Skip to content

Actions: Inria-Prosecco/StarMalloc

Actions

Nix

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix.yml
471 workflow runs
471 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

wip: this should not pass the CI Nix #587: Commit aac0e97 pushed by cmovcc
February 24, 2025 01:53 1h 22m 5s upd
upd
February 24, 2025 01:53 1h 22m 5s
wip: this should pass the CI Nix #586: Commit d927020 pushed by cmovcc
February 24, 2025 01:51 1h 5m 20s upd
upd
February 24, 2025 01:51 1h 5m 20s
wip: this should fail Nix #585: Commit 86ca4e1 pushed by cmovcc
February 23, 2025 19:36 57m 14s upd
upd
February 23, 2025 19:36 57m 14s
wip: this should also pass the CI Nix #584: Commit ae91bad pushed by cmovcc
February 23, 2025 19:34 25m 19s upd
upd
February 23, 2025 19:34 25m 19s
nits Nix #583: Commit 93c6352 pushed by cmovcc
February 23, 2025 19:07 30m 47s upd
upd
February 23, 2025 19:07 30m 47s
wip: this should pass the CI Nix #582: Commit 5134105 pushed by cmovcc
February 23, 2025 19:03 12m 35s upd
upd
February 23, 2025 19:03 12m 35s
IPT traces: add scripts Nix #581: Commit f59f1c2 pushed by cmovcc
February 18, 2025 15:20 37m 16s tracing
tracing
February 18, 2025 15:20 37m 16s
SystemTap logs: add histograms + script Nix #580: Commit d774380 pushed by cmovcc
February 4, 2025 12:41 37m 23s tracing
tracing
February 4, 2025 12:41 37m 23s
Merge pull request #21 from Inria-Prosecco/upd-readme Nix #579: Commit d234da1 pushed by cmovcc
October 24, 2024 19:45 35m 7s main
main
October 24, 2024 19:45 35m 7s
README.md: update Nix #578: Pull request #21 opened by cmovcc
October 24, 2024 19:44 34m 54s upd-readme
upd-readme
October 24, 2024 19:44 34m 54s
README.md: minor edits Nix #577: Commit f8b67e6 pushed by cmovcc
October 24, 2024 19:44 35m 13s upd-readme
upd-readme
October 24, 2024 19:44 35m 13s
update README Nix #576: Commit 48b2c61 pushed by cmovcc
October 24, 2024 19:41 37m 26s upd-readme
upd-readme
October 24, 2024 19:41 37m 26s
Merge pull request #18 from Inria-Prosecco/areitz/cleaning Nix #575: Commit c5b206b pushed by cmovcc
October 24, 2024 19:40 37m 48s upd-readme
upd-readme
October 24, 2024 19:40 37m 48s
WIP: Extended size classes Nix #574: Pull request #13 synchronize by cmovcc
October 1, 2024 17:46 1h 5m 9s areitz/extended-size-classes
areitz/extended-size-classes
October 1, 2024 17:46 1h 5m 9s
SlabsCommon2.fsti: some cleaning Nix #573: Commit 1173c8d pushed by cmovcc
October 1, 2024 17:46 39m 43s areitz/extended-size-classes
areitz/extended-size-classes
October 1, 2024 17:46 39m 43s
WIP: Extended size classes Nix #572: Pull request #13 synchronize by cmovcc
September 1, 2024 16:18 48m 55s areitz/extended-size-classes
areitz/extended-size-classes
September 1, 2024 16:18 48m 55s
Main.Meta.fst WIP Nix #571: Commit 6f253e1 pushed by cmovcc
September 1, 2024 16:18 24m 20s areitz/extended-size-classes
areitz/extended-size-classes
September 1, 2024 16:18 24m 20s
WIP: Extended size classes Nix #570: Pull request #13 synchronize by cmovcc
August 31, 2024 17:11 49m 23s areitz/extended-size-classes
areitz/extended-size-classes
August 31, 2024 17:11 49m 23s
Main.fst: remove last assumes Nix #569: Commit e34fb85 pushed by cmovcc
August 31, 2024 17:11 24m 36s areitz/extended-size-classes
areitz/extended-size-classes
August 31, 2024 17:11 24m 36s
WIP: Extended size classes Nix #568: Pull request #13 synchronize by cmovcc
August 27, 2024 06:33 49m 33s areitz/extended-size-classes
areitz/extended-size-classes
August 27, 2024 06:33 49m 33s
Main.fst: broad cleaning Nix #567: Commit 003df85 pushed by cmovcc
August 27, 2024 06:33 25m 2s areitz/extended-size-classes
areitz/extended-size-classes
August 27, 2024 06:33 25m 2s
WIP: Extended size classes Nix #566: Pull request #13 synchronize by cmovcc
August 26, 2024 18:24 1h 4m 47s areitz/extended-size-classes
areitz/extended-size-classes
August 26, 2024 18:24 1h 4m 47s
proof: some layout fixes, clean Main.fst Nix #565: Commit 37c691c pushed by cmovcc
August 26, 2024 18:24 40m 27s areitz/extended-size-classes
areitz/extended-size-classes
August 26, 2024 18:24 40m 27s
WIP: large aligned alloc Nix #564: Commit a369b67 pushed by cmovcc
August 2, 2024 05:14 1d 19h 3m 59s areitz/large-aligned-alloc
areitz/large-aligned-alloc
August 2, 2024 05:14 1d 19h 3m 59s
WIP: Extended size classes Nix #563: Pull request #13 synchronize by cmovcc
August 1, 2024 11:28 1d 12h 50m 31s areitz/extended-size-classes
areitz/extended-size-classes
August 1, 2024 11:28 1d 12h 50m 31s