Skip to content

Actions: mrc-ide/dopri-js

All workflows

Actions

Loading...

Showing runs from all workflows
7 workflow runs
7 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

pages build and deployment
pages-build-deployment #5: by github-pages bot
July 31, 2023 09:27 30s
July 31, 2023 09:27 30s
Merge pull request #22 from mrc-ide/mrc-4432
build-and-test #33: Commit e0c4790 pushed by richfitz
July 31, 2023 09:26 1m 14s master
July 31, 2023 09:26 1m 14s
Merge pull request #22 from mrc-ide/mrc-4432
docs #5: Commit e0c4790 pushed by richfitz
July 31, 2023 09:26 47s master
July 31, 2023 09:26 47s
Allow vector of critical times
build-and-test #32: Pull request #22 synchronize by richfitz
July 31, 2023 08:36 1m 2s mrc-4432
July 31, 2023 08:36 1m 2s
Allow vector of critical times
build-and-test #31: Pull request #22 synchronize by richfitz
July 28, 2023 11:35 7m 40s mrc-4432
July 28, 2023 11:35 7m 40s
Allow vector of critical times
build-and-test #30: Pull request #22 synchronize by richfitz
July 28, 2023 11:34 1m 11s mrc-4432
July 28, 2023 11:34 1m 11s
Allow vector of critical times
build-and-test #29: Pull request #22 opened by richfitz
July 28, 2023 11:30 1m 19s mrc-4432
July 28, 2023 11:30 1m 19s