Skip to content

Actions: plctlab/mzi-lang

Actions

test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gradle-check.yaml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

merge: More things in the lib, handle empty patterns (#1095) test #4: Commit d6624a9 pushed by ice1000
June 4, 2024 17:53 1m 53s main
main
June 4, 2024 17:53 1m 53s
merge: data -> inductive (#1070) test #3: Commit 2015fd5 pushed by ice1000
May 31, 2024 21:10 2m 2s main
main
May 31, 2024 21:10 2m 2s
version: release 0.30 (#1025) test #2: Commit 6c5ec7f pushed by ice1000
January 4, 2024 03:56 2m 9s main
main
January 4, 2024 03:56 2m 9s
merge: split tools, upgrade to Java 21 (#1022) test #1: Commit 808d4ef pushed by ice1000
December 13, 2023 07:40 2m 9s main
main
December 13, 2023 07:40 2m 9s