Skip to content

Actions: OpenJML/OpenJML

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
18 workflow runs
18 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
More test fixes Build OpenJML #173: Commit 59c03a3 pushed by davidcok
April 8, 2024 18:52 25m 19s dev-21
dev-21
April 8, 2024 18:52 25m 19s
Adding new tests; cleaning up behaviors test Build OpenJML #172: Commit dd5fcf3 pushed by davidcok
February 23, 2024 19:41 28m 15s dev-21
dev-21
February 23, 2024 19:41 28m 15s
Fixed expected help Build OpenJML #171: Commit dbf952a pushed by davidcok
February 15, 2024 04:10 39m 52s master-21
master-21
February 15, 2024 04:10 39m 52s
Fixing build.yml Build OpenJML #170: Commit 871373f pushed by davidcok
February 15, 2024 03:43 23m 58s master-21
master-21
February 15, 2024 03:43 23m 58s
Hack to fix problem with generic nested model classes Build OpenJML #169: Commit df4ad85 pushed by davidcok
February 1, 2024 13:12 29m 35s dev-21
dev-21
February 1, 2024 13:12 29m 35s
Best yet workflow Build OpenJML #168: Commit af89595 pushed by davidcok
January 28, 2024 01:49 1d 3h 20m 45s dev-21
dev-21
January 28, 2024 01:49 1d 3h 20m 45s
Cleanup build; still no windows build or successful tests Build OpenJML #157: Commit 6a4ea0a pushed by davidcok
October 19, 2023 16:02 35m 47s master-21
master-21
October 19, 2023 16:02 35m 47s
Fixed gitignore Build OpenJML #156: Commit 4c71868 pushed by davidcok
October 19, 2023 15:21 36m 3s master-21
master-21
October 19, 2023 15:21 36m 3s
Debugging windows build Build OpenJML #155: Commit 2acf1a9 pushed by davidcok
October 19, 2023 14:40 32m 5s master-21
master-21
October 19, 2023 14:40 32m 5s
Debugging Build OpenJML #154: Commit e43b1f6 pushed by davidcok
October 19, 2023 14:36 32m 49s master-21
master-21
October 19, 2023 14:36 32m 49s
Editing build Build OpenJML #153: Commit 20a619a pushed by davidcok
October 19, 2023 04:10 29m 7s master-21
master-21
October 19, 2023 04:10 29m 7s
Corrections to windows build; removing macos-14 Build OpenJML #152: Commit 660f2f5 pushed by davidcok
October 19, 2023 02:46 29m 41s master-21
master-21
October 19, 2023 02:46 29m 41s
Adding org.jmlspecs to compilation Build OpenJML #151: Commit c6ff5f7 pushed by davidcok
October 19, 2023 02:25 1d 3h 40m 13s master-21
master-21
October 19, 2023 02:25 1d 3h 40m 13s
attemprint to fix runtime Build OpenJML #150: Commit ec6776d pushed by davidcok
October 19, 2023 01:53 1d 4h 11m 56s master-21
master-21
October 19, 2023 01:53 1d 4h 11m 56s
Fixing typo Build OpenJML #149: Commit 66a393b pushed by davidcok
October 19, 2023 00:41 1d 5h 24m 20s master-21
master-21
October 19, 2023 00:41 1d 5h 24m 20s
Updating github runners Build OpenJML #148: Commit e834417 pushed by davidcok
October 19, 2023 00:39 1d 5h 25m 29s master-21
master-21
October 19, 2023 00:39 1d 5h 25m 29s
Switching to jdk21 Build OpenJML #147: Commit 6f37bdf pushed by davidcok
October 19, 2023 00:32 1d 5h 32m 31s master-21
master-21
October 19, 2023 00:32 1d 5h 32m 31s
Enabling branch master-21 Build OpenJML #146: Commit 2d6e6fd pushed by davidcok
October 19, 2023 00:29 1d 5h 36m 14s master-21
master-21
October 19, 2023 00:29 1d 5h 36m 14s