Skip to content

Actions: womeier/certicoqwasm

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
445 workflow runs
445 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update README
Compile and bench #507: Commit ab6668a pushed by womeier
December 6, 2024 13:25 47m 28s master
December 6, 2024 13:25 47m 28s
update link to CPP paper
Compile and bench #506: Commit 3105e82 pushed by womeier
December 6, 2024 12:14 47m 32s master
December 6, 2024 12:14 47m 32s
cleanup II
Compile and bench #505: Commit 3ad7b9a pushed by womeier
November 21, 2024 21:10 48m 49s master
November 21, 2024 21:10 48m 49s
cleanup
Compile and bench #504: Commit cf70aed pushed by womeier
November 20, 2024 10:49 47m 51s master
November 20, 2024 10:49 47m 51s
update CI config, revert unintended changes
Compile and bench #503: Commit d2efe51 pushed by womeier
November 1, 2024 10:19 50m 19s upstream-pr
November 1, 2024 10:19 50m 19s
update CI config, revert ocaml bounds
Compile and bench #502: Commit 0056d6f pushed by womeier
November 1, 2024 10:12 47m 36s upstream-pr
November 1, 2024 10:12 47m 36s
update CI config
Compile and bench #501: Commit 28b17a2 pushed by womeier
November 1, 2024 08:29 48m 3s upstream-pr
November 1, 2024 08:29 48m 3s
wasm backend for certicoq
Compile and bench #500: Commit 0eef4dc pushed by womeier
November 1, 2024 08:22 48m 30s upstream-pr
November 1, 2024 08:22 48m 30s
cleanup imports
Compile and bench #499: Commit e9a9f50 pushed by womeier
October 31, 2024 11:13 47m 54s master
October 31, 2024 11:13 47m 54s
cleanup local/global get/set
Compile and bench #498: Commit 1b01d37 pushed by womeier
October 31, 2024 10:08 48m 29s master
October 31, 2024 10:08 48m 29s
fix cplugin
Compile and bench #497: Commit 89059f3 pushed by womeier
October 30, 2024 22:07 47m 59s master
October 30, 2024 22:07 47m 59s
WIP Primitives clean up (experimental) (#54)
Compile and bench #496: Commit 772f42b pushed by mkarup
October 30, 2024 16:39 48m 25s master
October 30, 2024 16:39 48m 25s
WIP Primitives clean up (experimental)
Compile and bench #495: Pull request #54 synchronize by mkarup
October 30, 2024 15:51 48m 12s primitives-clean-up
October 30, 2024 15:51 48m 12s
WIP Primitives clean up (experimental)
Compile and bench #494: Pull request #54 synchronize by womeier
October 30, 2024 15:18 42s primitives-clean-up
October 30, 2024 15:18 42s
improve comments
Compile and bench #493: Commit aea0579 pushed by womeier
October 30, 2024 15:15 49m 16s master
October 30, 2024 15:15 49m 16s
WIP Primitives clean up (experimental)
Compile and bench #492: Pull request #54 synchronize by mkarup
October 30, 2024 14:06 48m 6s primitives-clean-up
October 30, 2024 14:06 48m 6s
WIP Primitives clean up (experimental)
Compile and bench #491: Pull request #54 synchronize by mkarup
October 30, 2024 13:23 48m 3s primitives-clean-up
October 30, 2024 13:23 48m 3s
WIP Primitives clean up (experimental)
Compile and bench #490: Pull request #54 synchronize by mkarup
October 30, 2024 12:17 48m 8s primitives-clean-up
October 30, 2024 12:17 48m 8s
wasm backend for certicoq
Compile and bench #489: Commit 554576f pushed by womeier
October 30, 2024 12:09 49m 16s upstream
October 30, 2024 12:09 49m 16s
wasm backend for certicoq
Compile and bench #488: Commit 3dbdc45 pushed by womeier
October 30, 2024 12:08 1m 27s upstream
October 30, 2024 12:08 1m 27s
prepare for upstream PR
Compile and bench #487: Commit d1d99bd pushed by womeier
October 30, 2024 11:45 48m 11s master
October 30, 2024 11:45 48m 11s
add back upstream benchmark setup
Compile and bench #486: Commit 2673a55 pushed by womeier
October 30, 2024 11:41 44m 27s master
October 30, 2024 11:41 44m 27s
move benchmarks to subfolder, forgotten fix for bools
Compile and bench #485: Commit 1320f27 pushed by womeier
October 30, 2024 11:21 20s master
October 30, 2024 11:21 20s
update README
Compile and bench #484: Commit c7278f9 pushed by womeier
October 30, 2024 09:12 27m 59s master
October 30, 2024 09:12 27m 59s
WIP Primitives clean up (experimental)
Compile and bench #483: Pull request #54 opened by mkarup
October 22, 2024 18:48 19s primitives-clean-up
October 22, 2024 18:48 19s