Skip to content

Actions: propensive/panopticon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use Proscenium for stdlib imports instead of Rudiments
Repo Admin #43: Commit 50f6ef0 pushed by propensive
January 26, 2025 12:14 59s main
January 26, 2025 12:14 59s
Changes to whitespace in signatures
Repo Admin #42: Commit b8e5c0d pushed by propensive
January 23, 2025 19:42 1m 16s main
January 23, 2025 19:42 1m 16s
Rename to
Repo Admin #41: Commit 63426cd pushed by propensive
January 23, 2025 18:42 1m 1s main
January 23, 2025 18:42 1m 1s
Replaced remaining with
Repo Admin #40: Commit eeefa3a pushed by propensive
January 23, 2025 17:48 57s main
January 23, 2025 17:48 57s
Started using
Repo Admin #39: Commit 9dec46c pushed by propensive
January 23, 2025 12:48 59s main
January 23, 2025 12:48 59s
Started using
Build #55: Commit 9dec46c pushed by propensive
January 23, 2025 12:48 40s main
January 23, 2025 12:48 40s
Merge branch 'main' of github.com:propensive/panopticon
Build #54: Commit 45534c3 pushed by propensive
January 21, 2025 15:24 39s main
January 21, 2025 15:24 39s
Merge branch 'main' of github.com:propensive/panopticon
Repo Admin #38: Commit 45534c3 pushed by propensive
January 21, 2025 15:24 1m 17s main
January 21, 2025 15:24 1m 17s
Merge branch 'main' of github.com:propensive/panopticon
Build #53: Commit 1173871 pushed by propensive
January 21, 2025 15:22 1m 16s main
January 21, 2025 15:22 1m 16s
Merge branch 'main' of github.com:propensive/panopticon
Repo Admin #37: Commit 1173871 pushed by propensive
January 21, 2025 15:22 1m 12s main
January 21, 2025 15:22 1m 12s
Merge branch 'main' of github.com:propensive/panopticon
Repo Admin #36: Commit adb5dca pushed by propensive
January 21, 2025 15:15 58s main
January 21, 2025 15:15 58s
Merge branch 'main' of github.com:propensive/panopticon
Build #52: Commit adb5dca pushed by propensive
January 21, 2025 15:15 1m 11s main
January 21, 2025 15:15 1m 11s
Merge branch 'main' of github.com:propensive/panopticon
Build #51: Commit a257191 pushed by propensive
January 2, 2025 07:26 1m 7s main
January 2, 2025 07:26 1m 7s
Merge branch 'main' of github.com:propensive/panopticon
Repo Admin #35: Commit a257191 pushed by propensive
January 2, 2025 07:26 1m 14s main
January 2, 2025 07:26 1m 14s
Merge branch 'main' of github.com:propensive/panopticon
Repo Admin #34: Commit 979aa57 pushed by propensive
January 2, 2025 07:19 1m 11s main
January 2, 2025 07:19 1m 11s
Merge branch 'main' of github.com:propensive/panopticon
Build #50: Commit 979aa57 pushed by propensive
January 2, 2025 07:19 1m 5s main
January 2, 2025 07:19 1m 5s
Update Tumult and regenerate
Repo Admin #33: Commit ae9a0c2 pushed by propensive
January 2, 2025 07:01 1m 0s main
January 2, 2025 07:01 1m 0s
Update Tumult and regenerate
Build #49: Commit ae9a0c2 pushed by propensive
January 2, 2025 07:01 1m 8s main
January 2, 2025 07:01 1m 8s
Merge branch 'main' of github.com:propensive/panopticon
Repo Admin #32: Commit c5a5310 pushed by propensive
December 27, 2024 19:34 1m 10s main
December 27, 2024 19:34 1m 10s
Merge branch 'main' of github.com:propensive/panopticon
Build #48: Commit c5a5310 pushed by propensive
December 27, 2024 19:34 1m 0s main
December 27, 2024 19:34 1m 0s
Update Tumult and regenerate
Repo Admin #31: Commit a391ef4 pushed by propensive
December 27, 2024 13:39 1m 5s main
December 27, 2024 13:39 1m 5s
Update Tumult and regenerate
Build #47: Commit a391ef4 pushed by propensive
December 27, 2024 13:39 37s main
December 27, 2024 13:39 37s
Merge branch 'main' of github.com:propensive/panopticon
Build #46: Commit 1c82a25 pushed by propensive
December 14, 2024 14:28 10m 31s main
December 14, 2024 14:28 10m 31s
Merge branch 'main' of github.com:propensive/panopticon
Repo Admin #30: Commit 1c82a25 pushed by propensive
December 14, 2024 14:28 5m 54s main
December 14, 2024 14:28 5m 54s
Update indentation style
Build #45: Commit 9481e99 pushed by propensive
November 11, 2024 10:31 9m 32s main
November 11, 2024 10:31 9m 32s