aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
AgeCommit message (Collapse)Author
2020-10-26Adjust the benchmark message argument, again.Crozet Sébastien
2020-10-26Adjust the benchmark message argument.Crozet Sébastien
2020-10-26Fix testbed compilation with other backends.Crozet Sébastien
2020-10-06CI: Conditionally set the commit for the bench message.Crozet Sébastien
2020-09-28Add branch selector to the CI bench workflow.Crozet Sébastien
2020-09-28Attemt to fix benchmark workflow.Crozet Sébastien
2020-09-28Add a workflow for sending benchmark requests.Crozet Sébastien
2020-09-28Actions: add fmt checks and WASM build.Crozet Sébastien
2020-09-28Actions: fix spurious space.Crozet Sébastien
2020-09-28Actions: use sudo.Crozet Sébastien
2020-09-28Actions: use run instead of command.Crozet Sébastien
2020-09-28Actions: install dependencies.Crozet Sébastien
2020-09-28Start setting-up a github-action workflow.Sébastien Crozet