Skip to content

Actions: dfed/SafeDI

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
913 workflow runs
913 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve test coverage
CI #201: Pull request #13 opened by dfed
January 13, 2024 18:50 13m 52s dfed--improve-coverage
January 13, 2024 18:50 13m 52s
Suggest depending on 0.2.0
CI #200: Commit 41bab0c pushed by dfed
January 13, 2024 02:34 22m 2s main
January 13, 2024 02:34 22m 2s
Point ExampleProjectIntegration at latest 'main'
CI #199: Commit 3be83ad pushed by dfed
January 13, 2024 02:33 17m 49s main
January 13, 2024 02:33 17m 49s
Enable non-lexigraphic equivalence checking for Compositions (#6)
CI #198: Commit 2697747 pushed by dfed
January 13, 2024 02:32 13m 29s main
January 13, 2024 02:32 13m 29s
Add 'nonisolated' to generated initializers (#12)
CI #196: Commit b3f0773 pushed by dfed
January 13, 2024 02:17 13m 11s main
January 13, 2024 02:17 13m 11s
Add 'nonisolated' to generated initializers
CI #193: Pull request #12 synchronize by dfed
January 13, 2024 01:58 18m 21s dfed--nonisolated
January 13, 2024 01:58 18m 21s
Add 'nonisolated' to generated initializers
CI #192: Pull request #12 synchronize by dfed
January 13, 2024 01:11 36m 58s dfed--nonisolated
January 13, 2024 01:11 36m 58s
Enable forwarding multiple properties (#11)
CI #190: Commit 58d9116 pushed by dfed
January 13, 2024 01:11 28m 55s main
January 13, 2024 01:11 28m 55s
Enable forwarding multiple properties
CI #185: Pull request #11 synchronize by dfed
January 13, 2024 00:57 13m 0s dfed--multiple-forwards
January 13, 2024 00:57 13m 0s
Add 'nonisolated' to generated initializers
CI #184: Pull request #12 opened by dfed
January 13, 2024 00:56 12m 42s dfed--nonisolated
January 13, 2024 00:56 12m 42s
Enable forwarding multiple properties
CI #183: Pull request #11 synchronize by dfed
January 12, 2024 23:29 29m 35s dfed--multiple-forwards
January 12, 2024 23:29 29m 35s
Enable forwarding multiple properties
CI #182: Pull request #11 synchronize by dfed
January 12, 2024 23:27 28m 12s dfed--multiple-forwards
January 12, 2024 23:27 28m 12s
Add Linux support (#9)
CI #180: Commit 4c83c05 pushed by dfed
January 12, 2024 23:26 18m 34s main
January 12, 2024 23:26 18m 34s
Enable forwarding multiple properties
CI #178: Pull request #11 synchronize by dfed
January 12, 2024 23:22 14m 45s dfed--multiple-forwards
January 12, 2024 23:22 14m 45s
Enable forwarding multiple properties
CI #177: Pull request #11 synchronize by dfed
January 12, 2024 23:10 12m 37s dfed--multiple-forwards
January 12, 2024 23:10 12m 37s
ProTip! You can narrow down the results and go further in time using created:<2024-01-12 or the other filters available.