Skip to content

Actions: ecoricemon/syn-sem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
261 workflow runs
261 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
Add MaybeResult for fallible optional returns check #87: Commit d7cf8c3 pushed by ecoricemon
1m 0s main
main
1m 0s
Add MaybeResult for fallible optional returns test #87: Commit d7cf8c3 pushed by ecoricemon
51s main
main
51s
Add MaybeResult for fallible optional returns safety #87: Commit d7cf8c3 pushed by ecoricemon
3m 37s main
main
3m 37s
Infer types including const expr (#32) safety #86: Commit 8fb0093 pushed by ecoricemon
3m 31s main
main
3m 31s
Infer types including const expr (#32) test #86: Commit 8fb0093 pushed by ecoricemon
53s main
main
53s
Infer types including const expr (#32) check #86: Commit 8fb0093 pushed by ecoricemon
1m 35s main
main
1m 35s
Infer types including const expr check #85: Pull request #32 synchronize by ecoricemon
51s infer-eval
infer-eval
51s
Infer types including const expr safety #85: Pull request #32 synchronize by ecoricemon
3m 19s infer-eval
infer-eval
3m 19s
Infer types including const expr test #85: Pull request #32 synchronize by ecoricemon
1m 9s infer-eval
infer-eval
1m 9s
Infer types including const expr test #84: Pull request #32 opened by ecoricemon
1m 0s infer-eval
infer-eval
1m 0s
Infer types including const expr check #84: Pull request #32 opened by ecoricemon
1m 36s infer-eval
infer-eval
1m 36s
Infer types including const expr safety #84: Pull request #32 opened by ecoricemon
3m 36s infer-eval
infer-eval
3m 36s
Infer more expressions safety #83: Commit 0728e25 pushed by ecoricemon
3m 21s main
main
3m 21s
Infer more expressions check #83: Commit 0728e25 pushed by ecoricemon
1m 13s main
main
1m 13s
Infer more expressions test #83: Commit 0728e25 pushed by ecoricemon
45s main
main
45s
Infer more expressions check #82: Pull request #31 opened by ecoricemon
1m 6s improve-infer
improve-infer
1m 6s
Infer more expressions test #82: Pull request #31 opened by ecoricemon
51s improve-infer
improve-infer
51s
Infer more expressions safety #82: Pull request #31 opened by ecoricemon
3m 31s improve-infer
improve-infer
3m 31s
refactor: Phase-based dir structure safety #81: Commit c99f9c9 pushed by ecoricemon
3m 35s main
main
3m 35s
refactor: Phase-based dir structure test #81: Commit c99f9c9 pushed by ecoricemon
1m 2s main
main
1m 2s
refactor: Phase-based dir structure check #81: Commit c99f9c9 pushed by ecoricemon
5m 12s main
main
5m 12s
refactor: Phase-based dir structure check #80: Pull request #30 opened by ecoricemon
4m 35s structure
structure
4m 35s
refactor: Phase-based dir structure test #80: Pull request #30 opened by ecoricemon
1m 0s structure
structure
1m 0s
refactor: Phase-based dir structure safety #80: Pull request #30 opened by ecoricemon
3m 16s structure
structure
3m 16s
Organize & Improve inference (#29) check #79: Commit 19ab568 pushed by ecoricemon
4m 24s main
main
4m 24s