Skip to content

Actions: HarvardPL/formulog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Update formatting Java CI with Maven #29: Pull request #84 synchronize by aaronbembenek
August 27, 2024 02:33 3m 14s update-formatting
update-formatting
August 27, 2024 02:33 3m 14s
Update formatting Java CI with Maven #28: Pull request #84 synchronize by aaronbembenek
August 27, 2024 00:52 54s update-formatting
update-formatting
August 27, 2024 00:52 54s
Update formatting Java CI with Maven #27: Pull request #84 opened by aaronbembenek
August 27, 2024 00:24 47s update-formatting
update-formatting
August 27, 2024 00:24 47s
Update to match "Making Formulog Fast" artifact Java CI with Maven #26: Pull request #83 synchronize by aaronbembenek
August 26, 2024 07:03 1m 5s aaronbembenek:mff-artifact
aaronbembenek:mff-artifact
August 26, 2024 07:03 1m 5s
Update to match "Making Formulog Fast" artifact Java CI with Maven #25: Pull request #83 opened by aaronbembenek
August 26, 2024 06:56 42s aaronbembenek:mff-artifact
aaronbembenek:mff-artifact
August 26, 2024 06:56 42s
Automatically format PRs. (#82) Java CI with Maven #24: Commit 171c5bd pushed by aaronbembenek
August 26, 2024 06:41 3m 8s master
master
August 26, 2024 06:41 3m 8s
Automatically format PRs. Java CI with Maven #23: Pull request #82 opened by aaronbembenek
August 26, 2024 06:35 3m 7s format-pull-requests
format-pull-requests
August 26, 2024 06:35 3m 7s
Fix lexing of arithmetic expressions without spaces (#81) Java CI with Maven #22: Commit e645eb5 pushed by aaronbembenek
August 16, 2024 09:44 3m 7s master
master
August 16, 2024 09:44 3m 7s
Fix lexing of arithmetic expressions without spaces Java CI with Maven #21: Pull request #81 synchronize by aaronbembenek
August 16, 2024 09:38 51s issue-80
issue-80
August 16, 2024 09:38 51s
Fix lexing of arithmetic expressions without spaces Java CI with Maven #20: Pull request #81 synchronize by aaronbembenek
August 16, 2024 09:34 45s issue-80
issue-80
August 16, 2024 09:34 45s
Fix lexing of arithmetic expressions without spaces Java CI with Maven #19: Pull request #81 synchronize by aaronbembenek
August 16, 2024 09:27 43s issue-80
issue-80
August 16, 2024 09:27 43s
Fix lexing of arithmetic expressions without spaces Java CI with Maven #18: Pull request #81 opened by aaronbembenek
August 16, 2024 09:25 3m 4s issue-80
issue-80
August 16, 2024 09:25 3m 4s
Update syntax highlighting options. (#76) Java CI with Maven #17: Commit a6138c9 pushed by aaronbembenek
October 15, 2023 22:50 1m 2s master
master
October 15, 2023 22:50 1m 2s