Skip to content

Actions: Seelengrab/PropCheck.jl

Actions

Nightly

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nightly.yml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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 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