Skip to content

Actions: econ-ark/HARK

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
747 workflow run results
747 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add edit buttons in docs Documentation #166: Pull request #1318 opened by MridulS
July 24, 2023 11:07 2m 2s MridulS:edit-sidebar
MridulS:edit-sidebar
July 24, 2023 11:07 2m 2s
pages build and deployment pages-build-deployment #28: by github-pages bot
July 24, 2023 10:50 34s
July 24, 2023 10:50 34s
auto fix copyright bit (#1317) Documentation #165: Commit af2054a pushed by MridulS
July 24, 2023 10:47 2m 30s master
master
July 24, 2023 10:47 2m 30s
auto fix copyright bit Documentation #164: Pull request #1317 opened by MridulS
July 24, 2023 10:47 2m 10s MridulS:docsfix
MridulS:docsfix
July 24, 2023 10:47 2m 10s
pages build and deployment pages-build-deployment #27: by github-pages bot
July 24, 2023 10:40 34s
July 24, 2023 10:40 34s
Add a grid of links to the landing page (#1314) Documentation #163: Commit aae9548 pushed by MridulS
July 24, 2023 10:37 2m 41s master
master
July 24, 2023 10:37 2m 41s
Add a grid of links to the landing page Chatops Binder #2375: Issue comment #1314 (comment) created by MridulS
July 24, 2023 10:37 3s
July 24, 2023 10:37 3s
pages build and deployment pages-build-deployment #26: by github-pages bot
July 24, 2023 10:19 36s
July 24, 2023 10:19 36s
pages build and deployment pages-build-deployment #25: by github-pages bot
July 24, 2023 10:19 41s
July 24, 2023 10:19 41s
pages build and deployment pages-build-deployment #24: by github-pages bot
July 24, 2023 10:18 33s
July 24, 2023 10:18 33s
Preparatory configuration updates (#1313) HARK build on MacOS, Ubuntu and Windows #2225: Commit 001db3e pushed by MridulS
July 24, 2023 10:17 25m 35s master
master
July 24, 2023 10:17 25m 35s
Preparatory configuration updates (#1313) Test examples as a cron job #1936: Commit 001db3e pushed by MridulS
July 24, 2023 10:17 19m 18s master
master
July 24, 2023 10:17 19m 18s
Preparatory configuration updates (#1313) Documentation #162: Commit 001db3e pushed by MridulS
July 24, 2023 10:17 3m 18s master
master
July 24, 2023 10:17 3m 18s
Preparatory configuration updates (#1313) Generate coverage report #1147: Commit 001db3e pushed by MridulS
July 24, 2023 10:17 12m 22s master
master
July 24, 2023 10:17 12m 22s
Add icons to documentation (#1316) Documentation #161: Commit 4b8754c pushed by MridulS
July 24, 2023 10:16 2m 27s master
master
July 24, 2023 10:16 2m 27s
Add logo to online documentation (#1315) Documentation #160: Commit 3b590b3 pushed by MridulS
July 24, 2023 10:16 2m 18s master
master
July 24, 2023 10:16 2m 18s
Add a grid of links to the landing page Chatops Binder #2374: Issue comment #1314 (comment) created by codecov bot
July 24, 2023 00:27 2s
July 24, 2023 00:27 2s
Preparatory configuration updates Chatops Binder #2373: Issue comment #1313 (comment) created by codecov bot
July 24, 2023 00:26 2s
July 24, 2023 00:26 2s
Add icons-links to the documentation header Documentation #159: Pull request #1316 opened by AA-Turner
July 24, 2023 00:19 3m 22s AA-Turner:docs-links
AA-Turner:docs-links
July 24, 2023 00:19 3m 22s
Test examples as a cron job Test examples as a cron job #1935: Scheduled
July 24, 2023 00:17 20m 0s master
master
July 24, 2023 00:17 20m 0s
Add logo to online documentation Documentation #158: Pull request #1315 opened by AA-Turner
July 24, 2023 00:16 3m 16s AA-Turner:docs-logo
AA-Turner:docs-logo
July 24, 2023 00:16 3m 16s
Add a grid of links to the landing page Test examples as a cron job #1934: Pull request #1314 opened by AA-Turner
July 24, 2023 00:16 18m 27s AA-Turner:landing-grid
AA-Turner:landing-grid
July 24, 2023 00:16 18m 27s
Add a grid of links to the landing page Documentation #157: Pull request #1314 opened by AA-Turner
July 24, 2023 00:16 4m 14s AA-Turner:landing-grid
AA-Turner:landing-grid
July 24, 2023 00:16 4m 14s
Add a grid of links to the landing page HARK build on MacOS, Ubuntu and Windows #2224: Pull request #1314 opened by AA-Turner
July 24, 2023 00:16 23m 23s AA-Turner:landing-grid
AA-Turner:landing-grid
July 24, 2023 00:16 23m 23s
Add a grid of links to the landing page Generate coverage report #1146: Pull request #1314 opened by AA-Turner
July 24, 2023 00:16 10m 59s AA-Turner:landing-grid
AA-Turner:landing-grid
July 24, 2023 00:16 10m 59s
ProTip! You can narrow down the results and go further in time using created:<2023-07-24 or the other filters available.