Skip to content

Actions: aaronbembenek/formulog-fork

Actions

Java CI with Maven

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maven.yml
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

v0.8.0 (#95) Java CI with Maven #7: Commit 6f7ecd8 pushed by aaronbembenek
October 18, 2024 04:15 3m 2s master
master
October 18, 2024 04:15 3m 2s
Bump webrick from 1.8.1 to 1.8.2 in /docs (#90) Java CI with Maven #6: Commit 4a4efaa pushed by aaronbembenek
October 17, 2024 05:41 51s master
master
October 17, 2024 05:41 51s
Slim down README (#92) Java CI with Maven #5: Commit 6e5d2fe pushed by aaronbembenek
October 17, 2024 04:50 3m 7s master
master
October 17, 2024 04:50 3m 7s
Document SMT strategies (#87) Java CI with Maven #4: Commit cc91966 pushed by aaronbembenek
October 7, 2024 06:51 52s master
master
October 7, 2024 06:51 52s
Better error reporting for type arity mismatch. (#86) Java CI with Maven #3: Commit bd4b063 pushed by aaronbembenek
October 7, 2024 06:01 3m 7s master
master
October 7, 2024 06:01 3m 7s
Update to match "Making Formulog Fast" artifact (#83) Java CI with Maven #2: Commit 61b699a pushed by aaronbembenek
August 29, 2024 22:52 3m 12s master
master
August 29, 2024 22:52 3m 12s
Update syntax highlighting options. (#76) Java CI with Maven #1: Commit a6138c9 pushed by aaronbembenek
June 28, 2024 01:20 13h 2m 53s master
master
June 28, 2024 01:20 13h 2m 53s