Skip to content

Actions: bodil/higher

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
40 workflow runs
40 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Continuous Integration Continuous Integration #92: Scheduled
May 15, 2023 00:18 1m 46s master
master
May 15, 2023 00:18 1m 46s
Continuous Integration Continuous Integration #91: Scheduled
May 1, 2023 00:19 1m 55s master
master
May 1, 2023 00:19 1m 55s
Continuous Integration Continuous Integration #90: Scheduled
April 15, 2023 00:18 2m 8s master
master
April 15, 2023 00:18 2m 8s
pages build and deployment pages-build-deployment #17: by github-pages bot
April 13, 2023 10:10 38s
April 13, 2023 10:10 38s
Merge pull request #7 from soulsource/feature/explicit-clone-in-run Rustdoc #17: Commit 9f48c7d pushed by bodil
April 13, 2023 10:08 1m 30s master
master
April 13, 2023 10:08 1m 30s
Merge pull request #7 from soulsource/feature/explicit-clone-in-run Continuous Integration #89: Commit 9f48c7d pushed by bodil
April 13, 2023 10:08 1m 13s master
master
April 13, 2023 10:08 1m 13s
Add explicit clone support to do-notation Continuous Integration #88: Pull request #7 opened by soulsource
April 3, 2023 21:33 1m 52s soulsource:feature/explicit-clone-in-run
soulsource:feature/explicit-clone-in-run
April 3, 2023 21:33 1m 52s
pages build and deployment pages-build-deployment #16: by github-pages bot
April 3, 2023 10:03 47s
April 3, 2023 10:03 47s
Appease Clippy. Continuous Integration #87: Commit 427ae25 pushed by bodil
April 3, 2023 10:00 2m 22s master
master
April 3, 2023 10:00 2m 22s
Appease Clippy. Rustdoc #16: Commit 427ae25 pushed by bodil
April 3, 2023 10:00 2m 49s master
master
April 3, 2023 10:00 2m 49s
pages build and deployment pages-build-deployment #15: by github-pages bot
April 1, 2023 11:24 43s
April 1, 2023 11:24 43s
Merge pull request #5 from soulsource/feature/patterns-in-run Rustdoc #15: Commit 0e8154f pushed by bodil
April 1, 2023 11:21 2m 46s master
master
April 1, 2023 11:21 2m 46s
Merge pull request #5 from soulsource/feature/patterns-in-run Continuous Integration #86: Commit 0e8154f pushed by bodil
April 1, 2023 11:21 4m 56s master
master
April 1, 2023 11:21 4m 56s
Continuous Integration Continuous Integration #85: Scheduled
April 1, 2023 00:18 26m 14s master
master
April 1, 2023 00:18 26m 14s
Change run!{} macro to accept patterns instead of identifiers. Continuous Integration #84: Pull request #5 synchronize by soulsource
March 29, 2023 21:26 2m 20s soulsource:feature/patterns-in-run
soulsource:feature/patterns-in-run
March 29, 2023 21:26 2m 20s