Skip to content

Actions: HarvardPL/formulog

Actions

Java CI with Maven

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maven.yml
39 workflow runs
39 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

v0.8.0 (#95) Java CI with Maven #54: Commit 6f7ecd8 pushed by aaronbembenek
October 18, 2024 02:48 3m 0s master
master
October 18, 2024 02:48 3m 0s
v0.8.0 Java CI with Maven #53: Pull request #95 opened by aaronbembenek
October 18, 2024 02:42 3m 14s aaronbembenek:v0.8.0
aaronbembenek:v0.8.0
October 18, 2024 02:42 3m 14s
Bump webrick from 1.8.1 to 1.8.2 in /docs (#90) Java CI with Maven #52: Commit 4a4efaa pushed by aaronbembenek
October 17, 2024 04:52 47s master
master
October 17, 2024 04:52 47s
Bump google-protobuf from 4.28.1 to 4.28.2 in /docs (#91) Java CI with Maven #51: Commit 5afc652 pushed by aaronbembenek
October 17, 2024 04:52 53s master
master
October 17, 2024 04:52 53s
Slim down README (#92) Java CI with Maven #50: Commit 6e5d2fe pushed by aaronbembenek
October 17, 2024 04:49 44s master
master
October 17, 2024 04:49 44s
Slim down README Java CI with Maven #49: Pull request #92 opened by aaronbembenek
October 17, 2024 04:48 44s aaronbembenek:slim-readme
aaronbembenek:slim-readme
October 17, 2024 04:48 44s
Tweak to trigger GH Action Java CI with Maven #48: Commit c5e4386 pushed by aaronbembenek
October 17, 2024 04:35 48s master
master
October 17, 2024 04:35 48s
Update GH Action Java CI with Maven #47: Commit f7a51b9 pushed by aaronbembenek
October 17, 2024 04:33 47s master
master
October 17, 2024 04:33 47s
Tweak to trigger GH Actions Java CI with Maven #46: Commit 9404467 pushed by aaronbembenek
October 17, 2024 04:28 44s master
master
October 17, 2024 04:28 44s
Bump google-protobuf from 4.28.1 to 4.28.2 in /docs Java CI with Maven #45: Pull request #91 opened by dependabot bot
October 17, 2024 04:20 44s dependabot/bundler/docs/google-protobuf-4.28.2
dependabot/bundler/docs/google-protobuf-4.28.2
October 17, 2024 04:20 44s
Bump webrick from 1.8.1 to 1.8.2 in /docs Java CI with Maven #44: Pull request #90 opened by dependabot bot
October 17, 2024 04:20 46s dependabot/bundler/docs/webrick-1.8.2
dependabot/bundler/docs/webrick-1.8.2
October 17, 2024 04:20 46s
Nicer Documentation (#89) Java CI with Maven #43: Commit 7261f0a pushed by aaronbembenek
October 17, 2024 04:19 42s master
master
October 17, 2024 04:19 42s
Nicer Documentation Java CI with Maven #42: Pull request #89 opened by aaronbembenek
October 17, 2024 04:18 56s aaronbembenek:nice-docs
aaronbembenek:nice-docs
October 17, 2024 04:18 56s
Fix typos in tutorial Java CI with Maven #41: Commit 9375e6d pushed by aaronbembenek
October 11, 2024 04:29 49s master
master
October 11, 2024 04:29 49s
Fix typo in README Java CI with Maven #40: Commit 7df0429 pushed by aaronbembenek
October 11, 2024 01:29 50s master
master
October 11, 2024 01:29 50s
Add tutorial (refinement type checking) (#88) Java CI with Maven #39: Commit c4752db pushed by aaronbembenek
October 11, 2024 01:25 53s master
master
October 11, 2024 01:25 53s
Add tutorial (refinement type checking) Java CI with Maven #38: Pull request #88 opened by aaronbembenek
October 11, 2024 01:22 43s aaronbembenek:tutorial
aaronbembenek:tutorial
October 11, 2024 01:22 43s
Document SMT strategies (#87) Java CI with Maven #37: Commit cc91966 pushed by aaronbembenek
October 7, 2024 06:50 3m 6s master
master
October 7, 2024 06:50 3m 6s
Document SMT strategies Java CI with Maven #36: Pull request #87 opened by aaronbembenek
October 7, 2024 06:46 3m 11s aaronbembenek:issue-7
aaronbembenek:issue-7
October 7, 2024 06:46 3m 11s
Better error reporting for type arity mismatch. (#86) Java CI with Maven #35: Commit bd4b063 pushed by aaronbembenek
September 2, 2024 02:01 50s master
master
September 2, 2024 02:01 50s
Better error reporting for type arity mismatch. Java CI with Maven #34: Pull request #86 opened by aaronbembenek
September 2, 2024 01:54 49s aaronbembenek:issue-85
aaronbembenek:issue-85
September 2, 2024 01:54 49s
Update to match "Making Formulog Fast" artifact (#83) Java CI with Maven #33: Commit 61b699a pushed by aaronbembenek
August 27, 2024 05:43 50s master
master
August 27, 2024 05:43 50s
Update to match "Making Formulog Fast" artifact Java CI with Maven #32: Pull request #83 synchronize by aaronbembenek
August 27, 2024 05:41 50s aaronbembenek:mff-artifact
aaronbembenek:mff-artifact
August 27, 2024 05:41 50s
Update to match "Making Formulog Fast" artifact Java CI with Maven #31: Pull request #83 synchronize by aaronbembenek
August 27, 2024 05:11 55s aaronbembenek:mff-artifact
aaronbembenek:mff-artifact
August 27, 2024 05:11 55s
Update formatting (#84) Java CI with Maven #30: Commit 55d30a7 pushed by aaronbembenek
August 27, 2024 02:44 3m 17s master
master
August 27, 2024 02:44 3m 17s