Skip to content

Actions: tweag/FawltyDeps

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
723 workflow runs
723 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Progress from Alpha to Beta quality :-)
CI #2543: Commit f9722b7 pushed by jherland
November 16, 2023 16:13 4m 39s jherland/update_metadata
November 16, 2023 16:13 4m 39s
Bump version to v0.13.3
CI #2541: Commit 46bf7ba pushed by jherland
November 16, 2023 14:49 4m 37s v0.13.3
November 16, 2023 14:49 4m 37s
Bump version to v0.13.3
CI #2540: Commit 46bf7ba pushed by jherland
November 16, 2023 14:15 4m 46s main
November 16, 2023 14:15 4m 46s
Bump version to v0.13.3
CI #2539: Pull request #395 opened by jherland
November 16, 2023 13:38 4m 35s jherland/bump_version
November 16, 2023 13:38 4m 35s
Bump version to v0.13.3
CI #2538: Commit 23091fa pushed by jherland
November 16, 2023 13:38 4m 41s jherland/bump_version
November 16, 2023 13:38 4m 41s
Integrate gitignore_parser into FawltyDeps
CI #2535: Pull request #391 synchronize by jherland
November 16, 2023 11:42 6m 43s jherland/integrate_ignore_parser
November 16, 2023 11:42 6m 43s
Support exclude patterns
CI #2533: Pull request #388 synchronize by jherland
November 16, 2023 11:37 6m 27s jherland/ignore-work
November 16, 2023 11:37 6m 27s
Add --ignore option to CLI
CI #2532: Commit 9c0fc72 pushed by jherland
November 16, 2023 11:37 5m 20s jherland/ignore-work
November 16, 2023 11:37 5m 20s
Integrate gitignore_parser into FawltyDeps
CI #2531: Pull request #391 synchronize by jherland
November 16, 2023 11:32 2m 14s jherland/integrate_ignore_parser
November 16, 2023 11:32 2m 14s
Support exclude patterns
CI #2529: Pull request #388 synchronize by jherland
November 16, 2023 11:30 1m 29s jherland/ignore-work
November 16, 2023 11:30 1m 29s
Add --ignore option to CLI
CI #2528: Commit b7104ca pushed by jherland
November 16, 2023 11:30 1m 24s jherland/ignore-work
November 16, 2023 11:30 1m 24s
traverse_project: Stricter typing for attached data
CI #2527: Commit 5377983 pushed by jherland
November 16, 2023 11:06 4m 45s main
November 16, 2023 11:06 4m 45s
Preliminary refactoring before --ignore feature
CI #2526: Pull request #387 synchronize by jherland
November 16, 2023 11:01 4m 40s jherland/ignore-prefactor
November 16, 2023 11:01 4m 40s
Preliminary refactoring before --ignore feature
CI #2522: Pull request #387 synchronize by jherland
November 15, 2023 17:14 4m 52s jherland/ignore-prefactor
November 15, 2023 17:14 4m 52s
ProTip! You can narrow down the results and go further in time using created:<2023-11-15 or the other filters available.