Skip to content

Activity

build based on f6a6ef8

schillicpushed 1 commit to gh-pages • ea86ae5…3551eee • 
29 days ago

delete history

Force push
github-actions[bot]force pushed to gh-pages • 61e1a3f…ea86ae5 • 
29 days ago

Deleted branch

schillicdeleted schillic/bibliography • 
29 days ago

Merge pull request #74 from JuliaReach/schillic/bibliography

Pull request merge
schillicpushed 2 commits to master • 2e895f0…f6a6ef8 • 
29 days ago

build based on 4fee97b

schillicpushed 1 commit to gh-pages • a58412e…61e1a3f • 
29 days ago

use DocumenterCitations for bibliography

Force push
schillicforce pushed to schillic/bibliography • 646f91f…1375743 • 
29 days ago

use DocumenterCitations for bibliography

Force push
schillicforce pushed to schillic/bibliography • d8c4c2e…646f91f • 
29 days ago

use DocumenterCitations for bibliography

schilliccreated schillic/bibliography • d8c4c2e • 
29 days ago

build based on 2e895f0

schillicpushed 1 commit to gh-pages • 6a6391b…a58412e • 
on Nov 27, 2024

Deleted branch

schillicdeleted schillic/invalidations • 
on Nov 27, 2024

Merge pull request #73 from JuliaReach/schillic/invalidations

Pull request merge
schillicpushed 2 commits to master • d3d1a13…2e895f0 • 
on Nov 27, 2024

count invalidations on latest Julia version

schilliccreated schillic/invalidations • 58121ae • 
on Nov 27, 2024

build based on d3d1a13

schillicpushed 1 commit to gh-pages • 461dba1…6a6391b • 
on Nov 18, 2024

delete history

Force push
github-actions[bot]force pushed to gh-pages • 2a214be…461dba1 • 
on Nov 18, 2024

Deleted branch

Merge pull request #72 from JuliaReach/dependabot/github_actions/code…

Pull request merge
schillicpushed 2 commits to master • 1f61d93…d3d1a13 • 
on Nov 18, 2024

build based on 7b22dda

schillicpushed 1 commit to gh-pages • f0f0528…2a214be • 
on Nov 18, 2024

Bump codecov/codecov-action from 4 to 5

dependabot[bot]created dependabot/github_actions/codecov/codecov-action-5 • 5ddad26 • 
on Nov 18, 2024

Deleted branch

schillicdeleted schillic/readme • 
on Oct 19, 2024

Merge pull request #71 from JuliaReach/schillic/readme

Pull request merge
schillicpushed 2 commits to master • d24fc97…1f61d93 • 
on Oct 19, 2024

add commits since last release to README

schilliccreated schillic/readme • 5bf0fa5 • 
on Oct 19, 2024

build based on d24fc97

schillicpushed 1 commit to gh-pages • a6d1736…f0f0528 • 
on Oct 18, 2024

delete history

Force push
github-actions[bot]force pushed to gh-pages • 837b4e7…a6d1736 • 
on Oct 18, 2024

Deleted branch

schillicdeleted schillic/invalidations • 
on Oct 18, 2024

Merge pull request #70 from JuliaReach/schillic/invalidations

Pull request merge
schillicpushed 2 commits to master • e30f5c4…d24fc97 • 
on Oct 18, 2024

build based on c685cdc

schillicpushed 1 commit to gh-pages • a789935…837b4e7 • 
on Oct 18, 2024

fix invalidations CI run

schilliccreated schillic/invalidations • c3f71e6 • 
on Oct 18, 2024

build based on e30f5c4

schillicpushed 1 commit to gh-pages • a80c76a…a789935 • 
on Oct 18, 2024

delete history

Force push
github-actions[bot]force pushed to gh-pages • 5f5eddf…a80c76a • 
on Oct 18, 2024

Deleted branch

schillicdeleted schillic/aqua • 
on Oct 18, 2024