boustrophedon / extrasafe

95%

master: 78%

LAST BUILD ON BRANCH manual_workflow_trigger

branch: manual_workflow_trigger

CHANGE BRANCH

x

Reset

• manual_workflow_trigger
• github-actions
• master
• tarpaulin_missing_coverage_subprocess
• bundled
• ci_run_examples
• pedantic_clippy
• warn_fd_close
• remove_time_set
• time_test
• ipc_coverage
• user-guide
• clippy-no-deps
• tarpaulin-conf
• ipc_coverage-rebase
• llvm-cov-coverage
• networking_coverage
• rel_v0.1.4
• refs/tags/v0.1.4
• reexport_syscalls
• cleanups
• v0.2.0
• refs/tags/v0.2.0
• use_seccompiler
• release-0.3
• refs/tags/v0.3.0
• landlock
• release-v0.4.0
• refs/tags/v0.4.0
• docupdate
• isolate
• refs/tags/v0.5.0
• ipc_server_ci
• ci_fixup
• userguide-update
• release-v0.5.1
• refs/tags/v0.5.1
• bindmounts_in_newroot
• capabilities

Build # 5138188408

Build Type

push

github

Committed by boustrophedon

Commit Message

Add github workflow manual trigger

This is apparently necessary to be able to trigger a workflow manually

Run Details

537 of 567 relevant lines covered (94.71%)

79.54 hits per line