Skip to content

Actions: martinjrobins/diffsl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
225 workflow runs
225 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #8: by github-pages bot
May 28, 2024 16:33 27s gh-pages
gh-pages
May 28, 2024 16:33 27s
bug: remove inkwell version specific import CI #200: Commit 04b2edd pushed by martinjrobins
May 28, 2024 16:33 9m 46s main
main
May 28, 2024 16:33 9m 46s
version 0.1.4 CI #199: Commit 587a11e pushed by martinjrobins
May 15, 2024 16:11 10m 19s main
main
May 15, 2024 16:11 10m 19s
Merge pull request #15 from martinjrobins/has_mass CI #198: Commit 5bb1f8d pushed by martinjrobins
May 15, 2024 16:10 9m 25s main
main
May 15, 2024 16:10 9m 25s
allow mass to be truly optional CI #197: Pull request #15 synchronize by martinjrobins
May 15, 2024 14:22 9m 39s has_mass
has_mass
May 15, 2024 14:22 9m 39s
allow mass to be truly optional CI #196: Pull request #15 opened by martinjrobins
May 15, 2024 13:43 9m 41s has_mass
has_mass
May 15, 2024 13:43 9m 41s
link search for all deps CI #195: Commit 79db33c pushed by martinjrobins
May 9, 2024 10:21 9m 32s main
main
May 9, 2024 10:21 9m 32s
pages build and deployment pages-build-deployment #7: by github-pages bot
May 3, 2024 15:44 22s gh-pages
gh-pages
May 3, 2024 15:44 22s
Merge pull request #14 from martinjrobins/i13-heavyside CI #194: Commit 71ab5f2 pushed by martinjrobins
May 3, 2024 15:43 9m 46s main
main
May 3, 2024 15:43 9m 46s
#13 add heaviside function CI #193: Pull request #14 synchronize by martinjrobins
May 3, 2024 15:30 9m 39s i13-heavyside
i13-heavyside
May 3, 2024 15:30 9m 39s
#13 add heaviside function CI #192: Pull request #14 synchronize by martinjrobins
May 3, 2024 15:29 9m 49s i13-heavyside
i13-heavyside
May 3, 2024 15:29 9m 49s
#13 add heaviside function CI #191: Pull request #14 opened by martinjrobins
May 3, 2024 15:28 9m 44s i13-heavyside
i13-heavyside
May 3, 2024 15:28 9m 44s
version 0.1.3 CI #190: Commit 7c5269f pushed by martinjrobins
April 5, 2024 07:53 9m 51s main
main
April 5, 2024 07:53 9m 51s
fix docs CI #189: Commit fb18fda pushed by martinjrobins
April 5, 2024 07:44 9m 35s main
main
April 5, 2024 07:44 9m 35s
version 0.1.2 CI #188: Commit e746fe3 pushed by martinjrobins
April 4, 2024 17:14 9m 49s main
main
April 4, 2024 17:14 9m 49s
Merge pull request #12 from martinjrobins/bench CI #187: Commit a6232e8 pushed by martinjrobins
April 2, 2024 08:45 9m 30s main
main
April 2, 2024 08:45 9m 30s
add optimisations and benchmarking CI #186: Pull request #12 synchronize by martinjrobins
April 2, 2024 08:34 9m 30s bench
bench
April 2, 2024 08:34 9m 30s
add optimisations and benchmarking CI #185: Pull request #12 opened by martinjrobins
April 2, 2024 08:23 9m 23s bench
bench
April 2, 2024 08:23 9m 23s
pages build and deployment pages-build-deployment #6: by github-pages bot
April 2, 2024 06:23 21s gh-pages
gh-pages
April 2, 2024 06:23 21s
#9 expand contractions CI #184: Commit 4cf2bf5 pushed by martinjrobins
April 2, 2024 06:23 9m 22s main
main
April 2, 2024 06:23 9m 22s
pages build and deployment pages-build-deployment #5: by github-pages bot
April 1, 2024 14:57 37s gh-pages
gh-pages
April 1, 2024 14:57 37s
#9 specify ODE CI #183: Commit c8044fc pushed by martinjrobins
April 1, 2024 14:57 9m 48s main
main
April 1, 2024 14:57 9m 48s
pages build and deployment pages-build-deployment #4: by github-pages bot
April 1, 2024 14:47 31s gh-pages
gh-pages
April 1, 2024 14:47 31s
#9 doc fixes CI #182: Commit 6b39d8b pushed by martinjrobins
April 1, 2024 14:47 9m 33s main
main
April 1, 2024 14:47 9m 33s
#9 minor fixes to README CI #181: Commit de8a0d8 pushed by martinjrobins
April 1, 2024 14:43 9m 28s main
main
April 1, 2024 14:43 9m 28s