Skip to content

Actions: Seelengrab/PropCheck.jl

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
42 workflow runs
42 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Fixing CI on nightly broke regular CI on older versions - whoops! CI #44: Commit c00aa87 pushed by Seelengrab
March 13, 2024 08:54 5m 13s main
main
March 13, 2024 08:54 5m 13s
Fix tests on nightly CI #43: Commit 7e3cbc1 pushed by Seelengrab
March 8, 2024 09:53 16m 4s main
main
March 8, 2024 09:53 16m 4s
Add maintenance notice to README CI #42: Commit ef65810 pushed by Seelengrab
March 8, 2024 08:57 15m 24s main
main
March 8, 2024 08:57 15m 24s
Add basic tests for IntegratedBoundedRec CI #40: Commit d43a3a6 pushed by Seelengrab
September 11, 2023 09:38 8m 22s main
main
September 11, 2023 09:38 8m 22s
Bump version CI #39: Commit 7b85661 pushed by Seelengrab
August 13, 2023 10:46 14m 0s v0.10.1
v0.10.1
August 13, 2023 10:46 14m 0s
Bump version CI #38: Commit 7b85661 pushed by Seelengrab
August 13, 2023 09:47 11m 9s main
main
August 13, 2023 09:47 11m 9s
Add test for type stability using @inferred CI #37: Commit 928eb43 pushed by Seelengrab
August 13, 2023 08:56 7m 26s main
main
August 13, 2023 08:56 7m 26s
Bump version CI #36: Commit d974086 pushed by Seelengrab
August 12, 2023 17:11 11m 18s v0.10.0
v0.10.0
August 12, 2023 17:11 11m 18s
Bump version CI #35: Commit d974086 pushed by Seelengrab
August 12, 2023 16:33 10m 4s main
main
August 12, 2023 16:33 10m 4s
Use @testset syntax supported on 1.6+ CI #34: Commit aeca6c8 pushed by Seelengrab
August 12, 2023 16:01 9m 10s main
main
August 12, 2023 16:01 9m 10s
Update docs to include finite generation CI #33: Commit b8f65be pushed by Seelengrab
August 12, 2023 15:47 4m 24s main
main
August 12, 2023 15:47 4m 24s
Bump version, adjust [compat] CI #32: Commit c3a95e5 pushed by Seelengrab
July 16, 2023 12:10 8m 22s v0.9.2
v0.9.2
July 16, 2023 12:10 8m 22s
Bump version, adjust [compat] CI #31: Commit c3a95e5 pushed by Seelengrab
July 16, 2023 11:29 9m 56s main
main
July 16, 2023 11:29 9m 56s
Fix wrong argument checking in @constfield macro CI #30: Commit 8272656 pushed by Seelengrab
July 15, 2023 22:27 1h 5m 13s feat/support_1.6
feat/support_1.6
July 15, 2023 22:27 1h 5m 13s
Preliminary support for 1.6 CI #29: Commit a52b59b pushed by Seelengrab
July 15, 2023 22:22 5m 22s feat/support_1.6
feat/support_1.6
July 15, 2023 22:22 5m 22s
Fix doc link in README, explicitly mention feature label CI #28: Commit 1f85fdd pushed by Seelengrab
July 10, 2023 15:25 4m 50s main
main
July 10, 2023 15:25 4m 50s
Link issues for planned features from docs CI #27: Commit 0c04818 pushed by Seelengrab
July 10, 2023 15:22 3m 5s main
main
July 10, 2023 15:22 3m 5s
CI CI #26: by Seelengrab
July 10, 2023 15:22 3m 22s v0.9.1+doc1
v0.9.1+doc1
July 10, 2023 15:22 3m 22s
Add compat for Julia & RequiredInterfaces CI #25: Commit 5dc0f6b pushed by Seelengrab
July 10, 2023 15:20 29m 30s v0.9.1
v0.9.1
July 10, 2023 15:20 29m 30s
Add compat for Julia & RequiredInterfaces CI #24: Commit 5dc0f6b pushed by Seelengrab
July 7, 2023 14:32 4m 34s main
main
July 7, 2023 14:32 4m 34s
Bump version CI #23: Commit 156356d pushed by Seelengrab
July 7, 2023 13:40 2m 48s main
main
July 7, 2023 13:40 2m 48s
Expand on the provided interfaces & some minor doc fixups CI #22: Commit 72b7dbe pushed by Seelengrab
July 7, 2023 08:26 30m 31s feat/abstract_docs
feat/abstract_docs
July 7, 2023 08:26 30m 31s
Expand documentation & document more objects CI #21: Commit 65d975d pushed by Seelengrab
July 3, 2023 21:35 6m 38s feat/abstract_docs
feat/abstract_docs
July 3, 2023 21:35 6m 38s
Change docs link to dev, and fix mention of TODO list CI #20: Commit b41701c pushed by Seelengrab
June 12, 2023 08:07 22m 1s main
main
June 12, 2023 08:07 22m 1s
Fix wrong size of crossproduct of two Int64 in the docs CI #18: Commit ab0a33a pushed by Seelengrab
June 6, 2023 15:26 2m 50s main
main
June 6, 2023 15:26 2m 50s