Skip to content

Actions: obi1kenobi/trustfall

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
701 workflow runs
701 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generate invariant-enforcing tests in stubgen adapters.
CI #1033: Pull request #389 synchronize by obi1kenobi
July 20, 2023 18:01 3m 53s stubgen_make_tests
July 20, 2023 18:01 3m 53s
July 20, 2023 16:58 9m 44s
Enable the cli feature in trustfall_stubgen by default. (#388)
CI #1030: Commit cb7ce0a pushed by obi1kenobi
July 20, 2023 16:54 4m 58s main
July 20, 2023 16:54 4m 58s
Add suppressions for a couple of new clippy lints.
CI #1027: Pull request #387 opened by obi1kenobi
July 20, 2023 05:09 6m 32s suppress_clippy
July 20, 2023 05:09 6m 32s
Fix new clippy lints. (#385)
CI #1024: Commit 6488bf5 pushed by obi1kenobi
July 20, 2023 03:42 9m 17s main
July 20, 2023 03:42 9m 17s
Fix new clippy lints.
CI #1023: Pull request #385 synchronize by obi1kenobi
July 20, 2023 03:36 6m 8s clippy_lints
July 20, 2023 03:36 6m 8s
July 20, 2023 03:34 8m 10s
Fix new clippy lints.
CI #1018: Pull request #385 opened by obi1kenobi
July 19, 2023 19:09 5m 58s clippy_lints
July 19, 2023 19:09 5m 58s
Weekly cargo update of primary dependencies
CI #1014: Pull request #383 opened by obi1kenobi
July 17, 2023 03:46 7m 48s main_cargo_update
July 17, 2023 03:46 7m 48s
Weekly cargo update of fuzzing dependencies
CI #1013: Pull request #382 opened by obi1kenobi
July 17, 2023 03:46 5m 13s fuzz_cargo_update
July 17, 2023 03:46 5m 13s
Add more example queries to rustdoc playground. (#381)
CI #1012: Commit 6d6d250 pushed by obi1kenobi
July 15, 2023 20:58 5m 48s main
July 15, 2023 20:58 5m 48s
Add more example queries to rustdoc playground.
CI #1011: Pull request #381 opened by obi1kenobi
July 15, 2023 20:54 4m 17s more_examples
July 15, 2023 20:54 4m 17s
Update rustdoc adapter version in playground. (#380)
CI #1010: Commit d4d9fea pushed by obi1kenobi
July 15, 2023 20:37 11m 13s main
July 15, 2023 20:37 11m 13s
ProTip! You can narrow down the results and go further in time using created:<2023-07-15 or the other filters available.