Skip to content

Actions: shym/gospel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add explicit .gospel targets in test dune rules local documentation #45: Commit 4c56f2f pushed by shym
February 15, 2024 16:38 1m 7s drop-ok
drop-ok
February 15, 2024 16:38 1m 7s
Add explicit .gospel targets in test dune rules Build and test #66: Commit 4c56f2f pushed by shym
February 15, 2024 16:38 4m 9s drop-ok
drop-ok
February 15, 2024 16:38 4m 9s
Remove obsolete handling of "OK" messages on success Build and test #65: Commit 525c14a pushed by shym
February 15, 2024 16:04 8m 21s drop-ok
drop-ok
February 15, 2024 16:04 8m 21s
Remove obsolete handling of "OK" messages on success local documentation #44: Commit 525c14a pushed by shym
February 15, 2024 16:04 1m 19s drop-ok
drop-ok
February 15, 2024 16:04 1m 19s
Add a changelog entry Build and test #64: Commit a4a8e0e pushed by shym
November 8, 2023 10:15 8m 29s test-skip-ok
test-skip-ok
November 8, 2023 10:15 8m 29s
Drop the Sys.remove in the testchecker Build and test #63: Commit 7a47bed pushed by shym
November 8, 2023 10:10 6m 18s test-skip-ok
test-skip-ok
November 8, 2023 10:10 6m 18s
Drop the Sys.remove in the testchecker Build and test #62: Commit 2970b1f pushed by shym
November 6, 2023 17:17 10m 26s test-skip-ok
test-skip-ok
November 6, 2023 17:17 10m 26s
Run tests on the new example Build and test #61: Commit 2c060f6 pushed by shym
October 30, 2023 13:41 15m 21s test-examples
test-examples
October 30, 2023 13:41 15m 21s
Merge pull request #359 from shym/stdlib-doc local documentation #43: Commit 39866cb pushed by shym
October 17, 2023 17:47 1m 20s main
main
October 17, 2023 17:47 1m 20s
Merge pull request #359 from shym/stdlib-doc documentation #1: Commit 39866cb pushed by shym
October 17, 2023 17:47 20s main
main
October 17, 2023 17:47 20s
Merge pull request #359 from shym/stdlib-doc Build and test #60: Commit 39866cb pushed by shym
October 17, 2023 17:47 12m 45s main
main
October 17, 2023 17:47 12m 45s