Skip to content

Actions: ch-systems/petr

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
335 workflow runs
335 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Specific Type Formalization
Rust #103: Pull request #143 synchronize by sezna
July 31, 2024 13:29 1m 26s alex/specific-type-formalization
July 31, 2024 13:29 1m 26s
Specific Type Formalization
CI #138: Pull request #143 synchronize by sezna
July 31, 2024 13:29 1m 5s alex/specific-type-formalization
July 31, 2024 13:29 1m 5s
Specific Type Formalization
Rust #102: Pull request #143 synchronize by sezna
July 30, 2024 23:06 1m 26s alex/specific-type-formalization
July 30, 2024 23:06 1m 26s
Specific Type Formalization
CI #137: Pull request #143 synchronize by sezna
July 30, 2024 23:06 1m 17s alex/specific-type-formalization
July 30, 2024 23:06 1m 17s
Merge pull request #144 from ch-systems/sezna-patch-2
Rust #101: Commit c39db92 pushed by sezna
July 30, 2024 22:55 2m 2s main
July 30, 2024 22:55 2m 2s
Merge pull request #144 from ch-systems/sezna-patch-2
Create issues for TODOs #43: Commit c39db92 pushed by sezna
July 30, 2024 22:55 10s main
July 30, 2024 22:55 10s
Merge pull request #144 from ch-systems/sezna-patch-2
CI #136: Commit c39db92 pushed by sezna
July 30, 2024 22:55 1m 3s main
July 30, 2024 22:55 1m 3s
Update README.md
CI #135: Pull request #144 opened by sezna
July 30, 2024 22:55 1m 8s sezna-patch-2
July 30, 2024 22:55 1m 8s
Update README.md
Rust #100: Pull request #144 opened by sezna
July 30, 2024 22:55 1m 37s sezna-patch-2
July 30, 2024 22:55 1m 37s
Specific Type Formalization
Rust #99: Pull request #143 opened by sezna
July 30, 2024 22:52 1m 20s alex/specific-type-formalization
July 30, 2024 22:52 1m 20s
Merge pull request #134 from ch-systems/alex/constant-types
CI #133: Commit 6c2873b pushed by sezna
July 30, 2024 22:41 1m 3s main
July 30, 2024 22:41 1m 3s
Merge pull request #134 from ch-systems/alex/constant-types
Create issues for TODOs #42: Commit 6c2873b pushed by sezna
July 30, 2024 22:41 28s main
July 30, 2024 22:41 28s
Merge pull request #134 from ch-systems/alex/constant-types
Rust #98: Commit 6c2873b pushed by sezna
July 30, 2024 22:41 1m 24s main
July 30, 2024 22:41 1m 24s
Introduce constant variable value types
Rust #97: Pull request #134 synchronize by sezna
July 30, 2024 22:23 1m 25s alex/constant-types
July 30, 2024 22:23 1m 25s
Introduce constant variable value types
CI #132: Pull request #134 synchronize by sezna
July 30, 2024 22:23 1m 33s alex/constant-types
July 30, 2024 22:23 1m 33s
Introduce constant variable value types
Rust #96: Pull request #134 synchronize by sezna
July 30, 2024 22:11 1m 21s alex/constant-types
July 30, 2024 22:11 1m 21s
Introduce constant variable value types
CI #131: Pull request #134 synchronize by sezna
July 30, 2024 22:11 1m 6s alex/constant-types
July 30, 2024 22:11 1m 6s
Introduce constant variable value types
Rust #95: Pull request #134 synchronize by sezna
July 30, 2024 21:34 1m 26s alex/constant-types
July 30, 2024 21:34 1m 26s
Introduce constant variable value types
CI #130: Pull request #134 synchronize by sezna
July 30, 2024 21:34 38s alex/constant-types
July 30, 2024 21:34 38s
Introduce constant variable value types
CI #129: Pull request #134 synchronize by sezna
July 30, 2024 18:49 36s alex/constant-types
July 30, 2024 18:49 36s
Introduce constant variable value types
Rust #94: Pull request #134 synchronize by sezna
July 30, 2024 18:49 37s alex/constant-types
July 30, 2024 18:49 37s
Introduce constant variable value types
Rust #93: Pull request #134 synchronize by sezna
July 30, 2024 11:43 1m 26s alex/constant-types
July 30, 2024 11:43 1m 26s
Introduce constant variable value types
CI #128: Pull request #134 synchronize by sezna
July 30, 2024 11:43 36s alex/constant-types
July 30, 2024 11:43 36s
Introduce constant variable value types
CI #127: Pull request #134 opened by sezna
July 30, 2024 10:58 38s alex/constant-types
July 30, 2024 10:58 38s