Skip to content

Actions: Inria-Prosecco/StarMalloc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
470 workflow runs
470 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

realloc optimization v1 Nix #157: Commit 1cf3424 pushed by cmovcc
April 4, 2024 09:45 1h 2m 5s areitz/realloc-optim-v1
areitz/realloc-optim-v1
April 4, 2024 09:45 1h 2m 5s
Add missing inline_for_extraction Nix #156: Commit 1479c97 pushed by R1kM
April 4, 2024 09:42 25m 35s areitz/extended_sc
areitz/extended_sc
April 4, 2024 09:42 25m 35s
fix Nix #155: Commit 04cb8a2 pushed by cmovcc
April 4, 2024 08:30 25m 36s areitz/extended_sc
areitz/extended_sc
April 4, 2024 08:30 25m 36s
kick CI Nix #154: Commit 6097f3c pushed by cmovcc
April 4, 2024 07:17 25m 27s areitz/with_lock
areitz/with_lock
April 4, 2024 07:17 25m 27s
wip: extraction fix? Nix #153: Commit 9a342f6 pushed by cmovcc
April 4, 2024 01:42 52m 39s areitz/extended_sc
areitz/extended_sc
April 4, 2024 01:42 52m 39s
extraction fix? Nix #152: Commit a486f53 pushed by cmovcc
April 4, 2024 01:37 33m 51s areitz/with_lock
areitz/with_lock
April 4, 2024 01:37 33m 51s
WithLock: add interface file Nix #151: Commit cd78f77 pushed by cmovcc
April 4, 2024 01:16 28m 41s areitz/with_lock
areitz/with_lock
April 4, 2024 01:16 28m 41s
extraction fix? Nix #150: Commit 25e49f1 pushed by cmovcc
April 4, 2024 00:53 52m 4s areitz/with_lock
areitz/with_lock
April 4, 2024 00:53 52m 4s
wip: extraction should be ok Nix #149: Commit e8c6d99 pushed by cmovcc
April 4, 2024 00:42 26m 27s areitz/extended_sc
areitz/extended_sc
April 4, 2024 00:42 26m 27s
wip: extraction Nix #148: Commit 6a7b400 pushed by cmovcc
April 3, 2024 09:43 23m 19s areitz/extended_sc
areitz/extended_sc
April 3, 2024 09:43 23m 19s
src/Main.fst: annotate proofs missing parts Nix #147: Commit cae915a pushed by cmovcc
April 3, 2024 09:08 25m 38s areitz/extended_sc
areitz/extended_sc
April 3, 2024 09:08 25m 38s
wip: arenas init Nix #146: Commit 0be0bee pushed by cmovcc
April 2, 2024 23:33 37m 1s areitz/extended_sc
areitz/extended_sc
April 2, 2024 23:33 37m 1s
wip: arenas initialization Nix #145: Commit e5e3b86 pushed by cmovcc
April 2, 2024 23:13 29m 15s areitz/extended_sc
areitz/extended_sc
April 2, 2024 23:13 29m 15s
wip: arenas initialization Nix #144: Commit 56cf8d6 pushed by cmovcc
April 2, 2024 21:29 41m 35s areitz/extended_sc
areitz/extended_sc
April 2, 2024 21:29 41m 35s
wip: nla issues wrt arenas initialization Nix #143: Commit 2064995 pushed by cmovcc
April 2, 2024 15:20 44m 16s areitz/extended_sc
areitz/extended_sc
April 2, 2024 15:20 44m 16s
wip: workaround around TLA splits Nix #142: Commit 5508e75 pushed by cmovcc
April 1, 2024 18:25 23m 33s areitz/extended_sc
areitz/extended_sc
April 1, 2024 18:25 23m 33s
wip: sizeclasses done Nix #141: Commit 914eb3f pushed by cmovcc
March 29, 2024 21:43 34m 21s areitz/extended_sc
areitz/extended_sc
March 29, 2024 21:43 34m 21s
Fix failing file Nix #140: Commit abddf1a pushed by R1kM
March 29, 2024 17:17 23m 12s areitz/extended_sc
areitz/extended_sc
March 29, 2024 17:17 23m 12s
fix Nix #139: Commit 2831401 pushed by cmovcc
March 29, 2024 16:50 24m 31s areitz/extended_sc
areitz/extended_sc
March 29, 2024 16:50 24m 31s
WIP... Nix #138: Commit 5751382 pushed by cmovcc
March 29, 2024 15:44 38m 6s areitz/extended_sc
areitz/extended_sc
March 29, 2024 15:44 38m 6s
CI: update everything Nix #137: Commit 7e0966f pushed by cmovcc
February 21, 2024 21:37 48m 51s main
main
February 21, 2024 21:37 48m 51s
Nix Nix #136: by cmovcc
February 21, 2024 21:26 23m 52s main
main
February 21, 2024 21:26 23m 52s
refresh dist/ Nix #135: Commit 3fa7667 pushed by cmovcc
February 15, 2024 15:00 8m 54s main
main
February 15, 2024 15:00 8m 54s
Attempt fix to tactic CI error Nix #134: Commit 1fcb70f pushed by R1kM
February 15, 2024 13:46 1h 22m 12s afromher_fix
afromher_fix
February 15, 2024 13:46 1h 22m 12s
CI: update everything Nix #133: Commit 0a796ef pushed by cmovcc
February 15, 2024 13:35 1h 5m 14s main
main
February 15, 2024 13:35 1h 5m 14s
ProTip! You can narrow down the results and go further in time using created:<2024-02-15 or the other filters available.