Skip to content

Actions: janestreet/magic-trace

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
134 workflow runs
134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for compressed output files, whether gzip (supported by Pe… build #877: Pull request #306 synchronize by Xyene
October 4, 2024 18:50 42s bnigito:compressed-file-output
bnigito:compressed-file-output
October 4, 2024 18:50 42s
Add support for compressed output files, whether gzip (supported by Pe… build #876: Pull request #306 synchronize by Xyene
October 4, 2024 18:30 1m 9s bnigito:compressed-file-output
bnigito:compressed-file-output
October 4, 2024 18:30 1m 9s
Add support for compressed output files, whether gzip (supported by Pe… build #875: Pull request #306 synchronize by Xyene
October 4, 2024 18:30 1m 12s bnigito:compressed-file-output
bnigito:compressed-file-output
October 4, 2024 18:30 1m 12s
Add support for compressed output files, whether gzip (supported by Pe… build #874: Pull request #306 synchronize by Xyene
October 4, 2024 18:24 1m 28s bnigito:compressed-file-output
bnigito:compressed-file-output
October 4, 2024 18:24 1m 28s
Add support for compressed output files, whether gzip (supported by Pe… build #873: Pull request #306 synchronize by Xyene
October 4, 2024 18:23 47s bnigito:compressed-file-output
bnigito:compressed-file-output
October 4, 2024 18:23 47s
Add support for compressed output files, whether gzip (supported by Pe… build #872: Pull request #306 synchronize by Xyene
October 4, 2024 18:21 1m 12s bnigito:compressed-file-output
bnigito:compressed-file-output
October 4, 2024 18:21 1m 12s
Add support for compressed output files, whether gzip (supported by Pe… build #871: Pull request #306 synchronize by Xyene
October 4, 2024 18:18 1m 36s bnigito:compressed-file-output
bnigito:compressed-file-output
October 4, 2024 18:18 1m 36s
Add support for compressed output files, whether gzip (supported by Pe… build #870: Pull request #306 synchronize by Xyene
October 4, 2024 18:13 1m 24s bnigito:compressed-file-output
bnigito:compressed-file-output
October 4, 2024 18:13 1m 24s
Add support for compressed output files, whether gzip (supported by Pe… build #869: Pull request #306 synchronize by Xyene
October 4, 2024 18:11 1m 38s bnigito:compressed-file-output
bnigito:compressed-file-output
October 4, 2024 18:11 1m 38s
Add support for compressed output files, whether gzip (supported by Pe… build #868: Pull request #306 synchronize by Xyene
October 4, 2024 18:08 1m 14s bnigito:compressed-file-output
bnigito:compressed-file-output
October 4, 2024 18:08 1m 14s
Add support for compressed output files, whether gzip (supported by Pe… build #867: Pull request #306 synchronize by Xyene
October 4, 2024 18:06 1m 1s bnigito:compressed-file-output
bnigito:compressed-file-output
October 4, 2024 18:06 1m 1s
Add support for compressed output files, whether gzip (supported by Pe… build #866: Pull request #306 synchronize by Xyene
October 4, 2024 18:03 1m 12s bnigito:compressed-file-output
bnigito:compressed-file-output
October 4, 2024 18:03 1m 12s
Add support for compressed output files, whether gzip (supported by Pe… build #865: Pull request #306 synchronize by Xyene
October 4, 2024 17:56 3m 17s bnigito:compressed-file-output
bnigito:compressed-file-output
October 4, 2024 17:56 3m 17s
Add support for compressed output files, whether gzip (supported by Pe… build #864: Pull request #306 synchronize by Xyene
October 4, 2024 17:55 1m 27s bnigito:compressed-file-output
bnigito:compressed-file-output
October 4, 2024 17:55 1m 27s
Add support for compressed output files, whether gzip (supported by Pe… build #863: Pull request #306 synchronize by Xyene
October 4, 2024 17:26 9m 36s bnigito:compressed-file-output
bnigito:compressed-file-output
October 4, 2024 17:26 9m 36s
Add support for compressed output files, whether gzip (supported by Pe… build #862: Pull request #306 synchronize by Xyene
October 4, 2024 17:26 1m 10s bnigito:compressed-file-output
bnigito:compressed-file-output
October 4, 2024 17:26 1m 10s
Add support for compressed output files, whether gzip (supported by Pe… build #861: Pull request #306 synchronize by bnigito
October 4, 2024 16:52 1m 13s bnigito:compressed-file-output
bnigito:compressed-file-output
October 4, 2024 16:52 1m 13s
Add support for compressed output files, whether gzip (supported by Pe… build #860: Pull request #306 synchronize by bnigito
October 4, 2024 15:20 1m 16s bnigito:compressed-file-output
bnigito:compressed-file-output
October 4, 2024 15:20 1m 16s
Add support for compressed output files, whether gzip (supported by Pe… build #859: Pull request #306 opened by bnigito
October 4, 2024 14:21 1m 17s bnigito:compressed-file-output
bnigito:compressed-file-output
October 4, 2024 14:21 1m 17s
Add an environment variable to skip specialized OCaml exception proce… build #858: Commit ce4319e pushed by Xyene
October 3, 2024 17:31 15m 54s master
master
October 3, 2024 17:31 15m 54s
Add an environment variable to skip specialized OCaml exception proce… build-deb #252: Commit ce4319e pushed by Xyene
October 3, 2024 17:31 14m 11s master
master
October 3, 2024 17:31 14m 11s
Add a MAGIC_TRACE_NO_OCAML_EXCEPTION_DEBUG_INFO environment variable build #857: Pull request #305 synchronize by bnigito
October 3, 2024 13:55 16m 34s bnigito:add-legacy-ocaml-exception-envvar
bnigito:add-legacy-ocaml-exception-envvar
October 3, 2024 13:55 16m 34s
Truncate instead failing if string is too long in writer build #855: Pull request #304 synchronize by zoltanjuhasz
October 1, 2024 02:04 16m 21s zoltanjuhasz:allow_long_sym_names
zoltanjuhasz:allow_long_sym_names
October 1, 2024 02:04 16m 21s
Add an override to avoid using --kcore build-deb #251: Commit 42b7c90 pushed by Xyene
June 4, 2024 20:15 14m 45s v1.2.3
v1.2.3
June 4, 2024 20:15 14m 45s
Add an override to avoid using --kcore build #853: Commit 42b7c90 pushed by Xyene
June 4, 2024 20:15 1m 51s v1.2.3
v1.2.3
June 4, 2024 20:15 1m 51s