Skip to content

Actions: sysprog21/elfuse

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
858 workflow runs
858 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Run only the CI a pull request can affect Lint #8: Pull request #296 synchronize by jserv
1m 42s ci-refine-proof
ci-refine-proof
1m 42s
Run only the CI a pull request can affect Build #8: Pull request #296 synchronize by jserv
7m 12s ci-refine-proof
ci-refine-proof
7m 12s
Run only the CI a pull request can affect Static analysis #8: Pull request #296 synchronize by jserv
3m 18s ci-refine-proof
ci-refine-proof
3m 18s
Run only the CI a pull request can affect Proofs #8: Pull request #296 synchronize by jserv
Queued ci-refine-proof
ci-refine-proof
Queued
Run only the CI a pull request can affect Proofs #7: Pull request #296 synchronize by jserv
20m 28s ci-refine-proof
ci-refine-proof
20m 28s
Run only the CI a pull request can affect Build #7: Pull request #296 synchronize by jserv
8m 10s ci-refine-proof
ci-refine-proof
8m 10s
Run only the CI a pull request can affect Static analysis #7: Pull request #296 synchronize by jserv
3m 52s ci-refine-proof
ci-refine-proof
3m 52s
Run only the CI a pull request can affect Lint #7: Pull request #296 synchronize by jserv
1m 26s ci-refine-proof
ci-refine-proof
1m 26s
Run only the CI a pull request can affect Proofs #6: Pull request #296 opened by jserv
21m 54s ci-refine-proof
ci-refine-proof
21m 54s
Run only the CI a pull request can affect Lint #6: Pull request #296 opened by jserv
1m 25s ci-refine-proof
ci-refine-proof
1m 25s
Run only the CI a pull request can affect Static analysis #6: Pull request #296 opened by jserv
3m 2s ci-refine-proof
ci-refine-proof
3m 2s
Run only the CI a pull request can affect Build #6: Pull request #296 opened by jserv
7m 7s ci-refine-proof
ci-refine-proof
7m 7s
Merge pull request #289 from open-sources-port/proc-self-fd Proofs #5: Commit 27a8983 pushed by jserv
21m 49s main
main
21m 49s
Merge pull request #289 from open-sources-port/proc-self-fd Static analysis #5: Commit 27a8983 pushed by jserv
2m 56s main
main
2m 56s
Merge pull request #289 from open-sources-port/proc-self-fd Build #5: Commit 27a8983 pushed by jserv
8m 25s main
main
8m 25s
Merge pull request #289 from open-sources-port/proc-self-fd Lint #5: Commit 27a8983 pushed by jserv
1m 24s main
main
1m 24s
Resolve /proc/self/fd/<n> for path-based syscalls Static analysis #4: Pull request #289 synchronize by doanbaotrung
10m 12s open-sources-port:proc-self-fd
open-sources-port:proc-self-fd
10m 12s
Resolve /proc/self/fd/<n> for path-based syscalls Proofs #4: Pull request #289 synchronize by doanbaotrung
26m 7s open-sources-port:proc-self-fd
open-sources-port:proc-self-fd
26m 7s
Resolve /proc/self/fd/<n> for path-based syscalls Build #4: Pull request #289 synchronize by doanbaotrung
7m 53s open-sources-port:proc-self-fd
open-sources-port:proc-self-fd
7m 53s
Resolve /proc/self/fd/<n> for path-based syscalls Lint #4: Pull request #289 synchronize by doanbaotrung
1m 27s open-sources-port:proc-self-fd
open-sources-port:proc-self-fd
1m 27s
Merge pull request #294 from henrybear327/build/split-analysis-and-ci Build #3: Commit 9b33244 pushed by jserv
14m 15s main
main
14m 15s
Merge pull request #294 from henrybear327/build/split-analysis-and-ci Proofs #3: Commit 9b33244 pushed by jserv
48m 19s main
main
48m 19s
Merge pull request #294 from henrybear327/build/split-analysis-and-ci Static analysis #3: Commit 9b33244 pushed by jserv
13m 14s main
main
13m 14s
Merge pull request #294 from henrybear327/build/split-analysis-and-ci Lint #3: Commit 9b33244 pushed by jserv
1m 27s main
main
1m 27s
Add --env and --clear-env launch flag support. CI #994: Pull request #295 opened by henrybear327
52m 47s henrybear327:oci/add_env_clear_env_launch_flags
henrybear327:oci/add_env_clear_env_launch_flags
52m 47s