Skip to content

Actions: JuliaIntervals/IntervalBoxes.jl

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Project.toml
CI #26: Commit ec02cd2 pushed by dpsanders
August 25, 2024 00:08 6m 7s main
August 25, 2024 00:08 6m 7s
Generalise contractors to bareinterval (#6)
CI #25: Commit b239a83 pushed by dpsanders
August 25, 2024 00:08 3m 17s main
August 25, 2024 00:08 3m 17s
Generalise contractors to bareinterval
CI #24: Pull request #6 synchronize by dpsanders
August 24, 2024 23:42 3m 27s dps-generalise-contractors
August 24, 2024 23:42 3m 27s
Change to square intersection and union symbols (#4)
CI #22: Commit efaa4a4 pushed by dpsanders
July 14, 2024 00:32 3m 6s main
July 14, 2024 00:32 3m 6s
Change to square intersection and union symbols
CI #21: Pull request #4 synchronize by dpsanders
July 14, 2024 00:23 3m 5s dps-intersection-union
July 14, 2024 00:23 3m 5s
Change to square intersection and union symbols
CI #20: Pull request #4 synchronize by dpsanders
July 14, 2024 00:03 3m 4s dps-intersection-union
July 14, 2024 00:03 3m 4s
Change to square intersection and union symbols
CI #19: Pull request #4 synchronize by dpsanders
July 14, 2024 00:01 2m 4s dps-intersection-union
July 14, 2024 00:01 2m 4s
Bump version
CI #17: Commit 8cf8cf3 pushed by dpsanders
May 22, 2024 01:43 54s main
May 22, 2024 01:43 54s
Fix tests
CI #16: Commit 5536c34 pushed by dpsanders
May 22, 2024 01:42 54s main
May 22, 2024 01:42 54s
Fix more tests
CI #15: Commit 6939612 pushed by dpsanders
May 21, 2024 20:22 1m 8s main
May 21, 2024 20:22 1m 8s
May 19, 2024 23:31 57s
Update README.md
CI #13: Commit 27e0da0 pushed by dpsanders
May 19, 2024 03:34 58s main
May 19, 2024 03:34 58s
Update README.md
CI #12: Commit ad705e6 pushed by dpsanders
May 19, 2024 02:25 2m 4s main
May 19, 2024 02:25 2m 4s
Update README.md
CI #11: Commit 526939b pushed by dpsanders
May 19, 2024 01:20 1m 39s main
May 19, 2024 01:20 1m 39s
Update README.md
CI #10: Commit d0329f9 pushed by dpsanders
May 19, 2024 01:19 1m 38s main
May 19, 2024 01:19 1m 38s
Update README.md
CI #9: Commit 8c5f537 pushed by dpsanders
May 19, 2024 01:18 1m 26s main
May 19, 2024 01:18 1m 26s
Flesh out README a bit
CI #8: Commit 6b1b220 pushed by dpsanders
May 19, 2024 01:18 55s main
May 19, 2024 01:18 55s
Bound deps
CI #7: Commit e28a43c pushed by dpsanders
May 19, 2024 00:02 1m 0s main
May 19, 2024 00:02 1m 0s
Fix version
CI #6: Commit 7a64a6b pushed by dpsanders
May 18, 2024 23:50 57s main
May 18, 2024 23:50 57s
Add basic usage to README
CI #5: Commit 4085318 pushed by dpsanders
May 18, 2024 23:47 56s main
May 18, 2024 23:47 56s
Update README.md
CI #4: Commit 8211259 pushed by dpsanders
May 18, 2024 23:28 55s main
May 18, 2024 23:28 55s