Skip to content

Actions: abstools/abs-mode

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 snippets for filter, map, foldl, foldr check #33: Commit debb48c pushed by rudi
December 17, 2024 08:39 2m 18s master
master
December 17, 2024 08:39 2m 18s
Support clock limit for Java backend check #32: Commit 94d09d6 pushed by rudi
December 17, 2024 08:27 2m 7s master
master
December 17, 2024 08:27 2m 7s
Specify Model API files when compiling check #31: Commit c3ba646 pushed by rudi
July 23, 2024 14:02 1m 3s master
master
July 23, 2024 14:02 1m 3s
Specify Model API files when compiling check #30: Commit a3d4edc pushed by rudi
July 23, 2024 13:59 59s master
master
July 23, 2024 13:59 59s
Explicitly define list of backends check #29: Commit 33f5151 pushed by rudi
July 18, 2024 10:57 1m 2s master
master
July 18, 2024 10:57 1m 2s
Start Java model API when abs-local-port is set check #28: Commit 005fcf4 pushed by rudi
July 18, 2024 09:15 58s master
master
July 18, 2024 09:15 58s
Rename abs-target-language to abs-backend check #27: Commit 252d9f2 pushed by rudi
July 1, 2024 14:09 1m 6s master
master
July 1, 2024 14:09 1m 6s
Add outline (code folding) support check #26: Commit 2ce6073 pushed by rudi
July 1, 2024 08:51 1m 0s master
master
July 1, 2024 08:51 1m 0s
Release v1.7 check #25: Commit 0132032 pushed by rudi
June 28, 2024 09:39 57s v1.7
v1.7
June 28, 2024 09:39 57s
Release v1.7 check #24: Commit 0132032 pushed by rudi
June 28, 2024 09:39 59s master
master
June 28, 2024 09:39 59s
Test against released emacs but not snapshot check #23: Commit 6e1d675 pushed by rudi
June 22, 2024 18:08 1m 2s master
master
June 22, 2024 18:08 1m 2s