Skip to content

Actions: tweag/FawltyDeps

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
898 workflow runs
898 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md CI #2273: Commit f890ca4 pushed by mknorps
July 31, 2023 14:12 6m 28s 266-add-mapping-options-to-cli-eg-install-deps
266-add-mapping-options-to-cli-eg-install-deps
July 31, 2023 14:12 6m 28s
Bump version to 0.12.1 CI #2272: Commit 70741ab pushed by jherland
July 31, 2023 13:11 6m 31s v0.12.1
v0.12.1
July 31, 2023 13:11 6m 31s
Bump version to 0.12.1 CI #2271: Commit 70741ab pushed by jherland
July 31, 2023 13:08 5m 28s main
main
July 31, 2023 13:08 5m 28s
Bump version to 0.12.1 CI #2270: Pull request #345 opened by jherland
July 31, 2023 12:53 7m 3s jherland/bump_version
jherland/bump_version
July 31, 2023 12:53 7m 3s
Bump version to 0.12.1 CI #2269: Commit 24824a0 pushed by jherland
July 31, 2023 12:53 4m 57s jherland/bump_version
jherland/bump_version
July 31, 2023 12:53 4m 57s
Fix Settings.pyenvs to _actually_ use basepath by default CI #2268: Commit 04c5b69 pushed by jherland
July 31, 2023 12:48 6m 29s main
main
July 31, 2023 12:48 6m 29s
Fix Settings.pyenvs to _actually_ use basepath by default CI #2267: Pull request #344 opened by jherland
July 28, 2023 11:07 5m 55s jherland/fix-pyenvs-default
jherland/fix-pyenvs-default
July 28, 2023 11:07 5m 55s
Fix Settings.pyenvs to _actually_ use basepath by default CI #2266: Commit 804a832 pushed by jherland
July 28, 2023 11:07 6m 27s jherland/fix-pyenvs-default
jherland/fix-pyenvs-default
July 28, 2023 11:07 6m 27s
ADD CLI option for --install-deps CI #2265: Pull request #341 synchronize by mknorps
July 28, 2023 06:23 6m 57s 266-add-mapping-options-to-cli-eg-install-deps
266-add-mapping-options-to-cli-eg-install-deps
July 28, 2023 06:23 6m 57s
ADD CLI option for --install-deps CI #2264: Commit 4644fcf pushed by mknorps
July 28, 2023 06:23 6m 24s 266-add-mapping-options-to-cli-eg-install-deps
266-add-mapping-options-to-cli-eg-install-deps
July 28, 2023 06:23 6m 24s
ADD CLI option for --install-deps CI #2263: Pull request #341 synchronize by mknorps
July 28, 2023 05:53 1m 31s 266-add-mapping-options-to-cli-eg-install-deps
266-add-mapping-options-to-cli-eg-install-deps
July 28, 2023 05:53 1m 31s
ADD CLI option for --install-deps CI #2262: Commit f7f4267 pushed by mknorps
July 28, 2023 05:53 1m 27s 266-add-mapping-options-to-cli-eg-install-deps
266-add-mapping-options-to-cli-eg-install-deps
July 28, 2023 05:53 1m 27s
ADD CLI option for --install-deps CI #2261: Pull request #341 synchronize by mknorps
July 28, 2023 05:50 1m 46s 266-add-mapping-options-to-cli-eg-install-deps
266-add-mapping-options-to-cli-eg-install-deps
July 28, 2023 05:50 1m 46s
ADD CLI option for --install-deps CI #2260: Commit 88658db pushed by mknorps
July 28, 2023 05:50 1m 36s 266-add-mapping-options-to-cli-eg-install-deps
266-add-mapping-options-to-cli-eg-install-deps
July 28, 2023 05:50 1m 36s
Update order of options in the Configuration section of the documenta… CI #2259: Commit da47cba pushed by mknorps
July 27, 2023 18:50 5m 57s main
main
July 27, 2023 18:50 5m 57s
Documentation polishes: Update the order of options in the Configuration section of the documentation. CI #2258: Pull request #342 synchronize by mknorps
July 27, 2023 18:43 6m 31s maria/doc-fix-order-of-options
maria/doc-fix-order-of-options
July 27, 2023 18:43 6m 31s
Update order of options in the Configuration section of the documenta… CI #2257: Commit d49b5de pushed by mknorps
July 27, 2023 18:43 6m 7s maria/doc-fix-order-of-options
maria/doc-fix-order-of-options
July 27, 2023 18:43 6m 7s
Add pre-commit metadata (#343) CI #2256: Commit 9ccfaab pushed by jherland
July 27, 2023 10:43 7m 34s main
main
July 27, 2023 10:43 7m 34s
Add pre commit metadata CI #2255: Pull request #343 opened by multimeric
July 27, 2023 04:14 7m 33s multimeric:pre-commit
multimeric:pre-commit
July 27, 2023 04:14 7m 33s
Documentation polishes: Update the order of options in the Configuration section of the documentation. CI #2254: Pull request #342 opened by mknorps
July 25, 2023 10:20 5m 48s maria/doc-fix-order-of-options
maria/doc-fix-order-of-options
July 25, 2023 10:20 5m 48s
Update order of options in the Configuration section of the documenta… CI #2253: Commit ef121bf pushed by mknorps
July 25, 2023 10:19 7m 21s maria/doc-fix-order-of-options
maria/doc-fix-order-of-options
July 25, 2023 10:19 7m 21s
ADD CLI option for --install-deps CI #2252: Pull request #341 opened by mknorps
July 25, 2023 09:34 8m 49s 266-add-mapping-options-to-cli-eg-install-deps
266-add-mapping-options-to-cli-eg-install-deps
July 25, 2023 09:34 8m 49s
ADD CLI option for --install-deps CI #2251: Commit a089761 pushed by mknorps
July 25, 2023 09:34 5m 43s 266-add-mapping-options-to-cli-eg-install-deps
266-add-mapping-options-to-cli-eg-install-deps
July 25, 2023 09:34 5m 43s
ProTip! You can narrow down the results and go further in time using created:<2023-07-25 or the other filters available.