boustrophedon / extrasafe

95%

master: 78%

LAST BUILD ON BRANCH manual_workflow_trigger

branch: manual_workflow_trigger

CHANGE BRANCH

x

Reset

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

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