Skip to content

Actions: propensive/adversaria

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of github.com:propensive/adversaria
Repo Admin #32: Commit 2094e9e pushed by propensive
January 26, 2025 12:11 1m 8s main
January 26, 2025 12:11 1m 8s
Removed all remaining long lines
Repo Admin #31: Commit 97e3c86 pushed by propensive
January 25, 2025 14:51 58s main
January 25, 2025 14:51 58s
Removed more long lines
Repo Admin #30: Commit d2b2894 pushed by propensive
January 24, 2025 16:45 1m 4s main
January 24, 2025 16:45 1m 4s
Eliminated long lines
Repo Admin #29: Commit e2e82b2 pushed by propensive
January 23, 2025 20:28 1m 0s main
January 23, 2025 20:28 1m 0s
Changes to whitespace in signatures
Repo Admin #28: Commit 492ae7d pushed by propensive
January 23, 2025 19:28 58s main
January 23, 2025 19:28 58s
Merge branch 'main' of github.com:propensive/adversaria
Repo Admin #27: Commit 6683cd2 pushed by propensive
January 14, 2025 18:34 1m 1s main
January 14, 2025 18:34 1m 1s
Merge branch 'main' of github.com:propensive/adversaria
Build #134: Commit 6683cd2 pushed by propensive
January 14, 2025 18:34 1m 1s main
January 14, 2025 18:34 1m 1s
Merge branch 'main' of github.com:propensive/adversaria
Build #133: Commit a3bcad9 pushed by propensive
January 2, 2025 07:22 59s main
January 2, 2025 07:22 59s
Merge branch 'main' of github.com:propensive/adversaria
Repo Admin #26: Commit a3bcad9 pushed by propensive
January 2, 2025 07:22 1m 1s main
January 2, 2025 07:22 1m 1s
Merge branch 'main' of github.com:propensive/adversaria
Build #132: Commit 6d342ae pushed by propensive
January 2, 2025 07:15 39s main
January 2, 2025 07:15 39s
Merge branch 'main' of github.com:propensive/adversaria
Repo Admin #25: Commit 6d342ae pushed by propensive
January 2, 2025 07:15 1m 9s main
January 2, 2025 07:15 1m 9s
Merge branch 'main' of github.com:propensive/adversaria
Repo Admin #24: Commit 8672a01 pushed by propensive
January 2, 2025 06:57 1m 10s main
January 2, 2025 06:57 1m 10s
Merge branch 'main' of github.com:propensive/adversaria
Build #131: Commit 8672a01 pushed by propensive
January 2, 2025 06:57 58s main
January 2, 2025 06:57 58s
Update Tumult and regenerate
Repo Admin #23: Commit 6028718 pushed by propensive
December 27, 2024 13:34 58s main
December 27, 2024 13:34 58s
Update Tumult and regenerate
Build #130: Commit 6028718 pushed by propensive
December 27, 2024 13:34 45s main
December 27, 2024 13:34 45s
Fully-qualify annotation import
Repo Admin #22: Commit a1f5e6e pushed by propensive
December 14, 2024 14:42 1m 8s main
December 14, 2024 14:42 1m 8s
Fully-qualify annotation import
Build #129: Commit a1f5e6e pushed by propensive
December 14, 2024 14:42 6m 1s main
December 14, 2024 14:42 6m 1s
Reordering of imports
Repo Admin #21: Commit 2b000ff pushed by propensive
December 14, 2024 14:25 1m 39s main
December 14, 2024 14:25 1m 39s
Reordering of imports
Build #128: Commit 2b000ff pushed by propensive
December 14, 2024 14:25 5m 22s main
December 14, 2024 14:25 5m 22s
Whitespace changes
Build #127: Commit 7ed5bca pushed by propensive
December 14, 2024 06:49 5m 29s main
December 14, 2024 06:49 5m 29s
Whitespace changes
Repo Admin #20: Commit 7ed5bca pushed by propensive
December 14, 2024 06:49 53s main
December 14, 2024 06:49 53s
Merge branch 'main' of github.com:propensive/adversaria
Build #126: Commit 1d68421 pushed by propensive
December 12, 2024 09:27 5m 35s main
December 12, 2024 09:27 5m 35s
Merge branch 'main' of github.com:propensive/adversaria
Repo Admin #19: Commit 1d68421 pushed by propensive
December 12, 2024 09:27 1m 9s main
December 12, 2024 09:27 1m 9s
Update indentation style
Build #125: Commit 223d0e3 pushed by propensive
November 11, 2024 10:28 5m 49s main
November 11, 2024 10:28 5m 49s
Update indentation style
Repo Admin #18: Commit 223d0e3 pushed by propensive
November 11, 2024 10:28 53s main
November 11, 2024 10:28 53s