Skip to content

Actions: AaronC81/parlour

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
919 workflow runs
919 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cast initialiser blocks to more abstract T.proc types Run tests #724: Commit 97128d1 pushed by AaronC81
January 2, 2024 13:45 1m 37s fix-initialiser-proc-type-checking
fix-initialiser-proc-type-checking
January 2, 2024 13:45 1m 37s
Disabled --typed-super Run tests #723: Commit 722b9d0 pushed by AaronC81
January 2, 2024 13:33 49s disable-typed-super
disable-typed-super
January 2, 2024 13:33 49s
pages build and deployment pages-build-deployment #637: by github-pages bot
January 1, 2024 18:24 44s gh-pages
gh-pages
January 1, 2024 18:24 44s
Run tests Run tests #722: Scheduled
January 1, 2024 18:23 50s master
master
January 1, 2024 18:23 50s
pages build and deployment pages-build-deployment #636: by github-pages bot
December 31, 2023 18:23 40s gh-pages
gh-pages
December 31, 2023 18:23 40s
Run tests Run tests #721: Scheduled
December 31, 2023 18:22 47s master
master
December 31, 2023 18:22 47s
pages build and deployment pages-build-deployment #635: by github-pages bot
December 30, 2023 18:23 38s gh-pages
gh-pages
December 30, 2023 18:23 38s
Run tests Run tests #720: Scheduled
December 30, 2023 18:23 49s master
master
December 30, 2023 18:23 49s
pages build and deployment pages-build-deployment #634: by github-pages bot
December 29, 2023 18:23 41s gh-pages
gh-pages
December 29, 2023 18:23 41s
Run tests Run tests #719: Scheduled
December 29, 2023 18:23 49s master
master
December 29, 2023 18:23 49s
pages build and deployment pages-build-deployment #633: by github-pages bot
December 28, 2023 18:23 47s gh-pages
gh-pages
December 28, 2023 18:23 47s
Run tests Run tests #718: Scheduled
December 28, 2023 18:23 51s master
master
December 28, 2023 18:23 51s
pages build and deployment pages-build-deployment #632: by github-pages bot
December 27, 2023 18:23 42s gh-pages
gh-pages
December 27, 2023 18:23 42s
Run tests Run tests #717: Scheduled
December 27, 2023 18:23 50s master
master
December 27, 2023 18:23 50s
pages build and deployment pages-build-deployment #631: by github-pages bot
December 26, 2023 18:23 38s gh-pages
gh-pages
December 26, 2023 18:23 38s
Run tests Run tests #716: Scheduled
December 26, 2023 18:22 54s master
master
December 26, 2023 18:22 54s
pages build and deployment pages-build-deployment #630: by github-pages bot
December 25, 2023 18:23 40s gh-pages
gh-pages
December 25, 2023 18:23 40s
Run tests Run tests #715: Scheduled
December 25, 2023 18:22 54s master
master
December 25, 2023 18:22 54s
pages build and deployment pages-build-deployment #629: by github-pages bot
December 24, 2023 18:23 43s gh-pages
gh-pages
December 24, 2023 18:23 43s
Run tests Run tests #714: Scheduled
December 24, 2023 18:22 47s master
master
December 24, 2023 18:22 47s
pages build and deployment pages-build-deployment #628: by github-pages bot
December 23, 2023 18:23 49s gh-pages
gh-pages
December 23, 2023 18:23 49s
Run tests Run tests #713: Scheduled
December 23, 2023 18:22 53s master
master
December 23, 2023 18:22 53s
pages build and deployment pages-build-deployment #627: by github-pages bot
December 22, 2023 18:23 44s gh-pages
gh-pages
December 22, 2023 18:23 44s
Run tests Run tests #712: Scheduled
December 22, 2023 18:23 51s master
master
December 22, 2023 18:23 51s
pages build and deployment pages-build-deployment #626: by github-pages bot
December 21, 2023 18:23 45s gh-pages
gh-pages
December 21, 2023 18:23 45s
ProTip! You can narrow down the results and go further in time using created:<2023-12-21 or the other filters available.