Skip to content

Actions: JuliaReach/JuliaReachTemplatePkg.jl

Spell check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Count invalidations on latest Julia version
Spell check #12: Pull request #40 opened by schillic
November 27, 2024 22:12 3m 52s schillic/invalidations
November 27, 2024 22:12 3m 52s
Add commits since last release to README
Spell check #10: Pull request #38 opened by schillic
October 19, 2024 08:04 12s schillic/readme
October 19, 2024 08:04 12s
Fix invalidations CI run
Spell check #9: Pull request #37 opened by schillic
October 18, 2024 21:41 22s schillic/invalidations
October 18, 2024 21:41 22s
Add Aqua badge and fix Codecov
Spell check #5: Pull request #33 opened by schillic
February 29, 2024 11:09 1m 29s schillic/codecov
February 29, 2024 11:09 1m 29s
Add Aqua to tests
Spell check #4: Pull request #31 synchronize by schillic
February 27, 2024 19:15 18s schillic/aqua
February 27, 2024 19:15 18s
Remove default code
Spell check #3: Pull request #32 opened by schillic
February 26, 2024 22:13 19s schillic/cleanup
February 26, 2024 22:13 19s
Add Aqua to tests
Spell check #2: Pull request #31 opened by schillic
February 23, 2024 21:43 15s schillic/aqua
February 23, 2024 21:43 15s
Revise CI scripts
Spell check #1: Pull request #30 opened by schillic
February 9, 2024 22:07 16s schillic/ci
February 9, 2024 22:07 16s