Skip to content

Actions: Seelengrab/PropCheck.jl

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

pages build and deployment pages-build-deployment #23: by Seelengrab
March 13, 2024 08:56 38s
March 13, 2024 08:56 38s
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
Fixing CI on nightly broke regular CI on older versions - whoops! Nightly #44: Commit c00aa87 pushed by Seelengrab
March 13, 2024 08:54 4m 20s main
main
March 13, 2024 08:54 4m 20s
pages build and deployment pages-build-deployment #22: by Seelengrab
March 8, 2024 09:55 48s
March 8, 2024 09:55 48s
Fix tests on nightly Nightly #43: Commit 7e3cbc1 pushed by Seelengrab
March 8, 2024 09:53 3m 23s main
main
March 8, 2024 09:53 3m 23s
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
pages build and deployment pages-build-deployment #21: by Seelengrab
March 8, 2024 08:59 47s
March 8, 2024 08:59 47s
Add maintenance notice to README Nightly #42: Commit ef65810 pushed by Seelengrab
March 8, 2024 08:57 5m 35s main
main
March 8, 2024 08:57 5m 35s
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
pages build and deployment pages-build-deployment #20: by Seelengrab
September 11, 2023 09:41 50s
September 11, 2023 09:41 50s
Add basic tests for IntegratedBoundedRec Nightly #40: Commit d43a3a6 pushed by Seelengrab
September 11, 2023 09:38 2m 46s main
main
September 11, 2023 09:38 2m 46s
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
pages build and deployment pages-build-deployment #19: by Seelengrab
August 13, 2023 10:49 54s
August 13, 2023 10:49 54s
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 Nightly #39: Commit 7b85661 pushed by Seelengrab
August 13, 2023 10:46 5m 31s v0.10.1
v0.10.1
August 13, 2023 10:46 5m 31s
pages build and deployment pages-build-deployment #18: by Seelengrab
August 13, 2023 09:50 56s
August 13, 2023 09:50 56s
Bump version Nightly #38: Commit 7b85661 pushed by Seelengrab
August 13, 2023 09:47 4m 39s main
main
August 13, 2023 09:47 4m 39s
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
pages build and deployment pages-build-deployment #17: by Seelengrab
August 13, 2023 08:59 55s
August 13, 2023 08:59 55s
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
Add test for type stability using @inferred Nightly #37: Commit 928eb43 pushed by Seelengrab
August 13, 2023 08:56 5m 47s main
main
August 13, 2023 08:56 5m 47s
pages build and deployment pages-build-deployment #16: by Seelengrab
August 12, 2023 17:14 56s
August 12, 2023 17:14 56s
Bump version Nightly #36: Commit d974086 pushed by Seelengrab
August 12, 2023 17:11 4m 26s v0.10.0
v0.10.0
August 12, 2023 17:11 4m 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
pages build and deployment pages-build-deployment #15: by Seelengrab
August 12, 2023 16:36 59s
August 12, 2023 16:36 59s