Skip to content

Actions: proof-ninja/rocq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
48 workflow runs
48 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Generate per-file top-level Java class names instead of hardcoded Main Github CI #48: Pull request #25 opened by hiroshi-cl
17m 20s java-classname-per-file
java-classname-per-file
17m 20s
Thread module Id.t through pp_struct instead of a ref side channel Github CI #47: Commit 4201dc0 pushed by hiroshi-cl
21m 4s java-classname-per-file
java-classname-per-file
21m 4s
Tvar を Object に一律消去し、ローカル型伝播でキャストを挿入する (#22) Github CI #46: Pull request #23 synchronize by cedretaber
11m 58s feat/java-erase-tvar
feat/java-erase-tvar
11m 58s
Add a test extracting Corelib's polymorphic list, option and prod Github CI #45: Commit 3cde1f3 pushed by cedretaber
13m 33s feat/java-erase-tvar
feat/java-erase-tvar
13m 33s
Tvar を Object に一律消去し、ローカル型伝播でキャストを挿入する (#22) Github CI #44: Pull request #23 opened by cedretaber
9m 10s feat/java-erase-tvar
feat/java-erase-tvar
9m 10s
Erase type variables to Object and insert casts via local type propag… Github CI #43: Commit 14ade18 pushed by cedretaber
9m 56s feat/java-erase-tvar
feat/java-erase-tvar
9m 56s
Merge pull request #20 from proof-ninja/feat/java-simple-recursion Github CI #42: Commit 1e9347c pushed by hiroshi-cl
14m 14s java_extraction
java_extraction
14m 14s
Extract local MLfix as valid Java expressions via fixK helpers Github CI #41: Pull request #20 synchronize by hiroshi-cl
9m 40s feat/java-simple-recursion
feat/java-simple-recursion
9m 40s
Add test coverage for the fix0/fix1 Java extraction helpers Github CI #40: Commit 4fb2cd0 pushed by hiroshi-cl
14m 46s feat/java-simple-recursion
feat/java-simple-recursion
14m 46s
Extract local MLfix as valid Java expressions via fixK helpers Github CI #39: Pull request #20 synchronize by hiroshi-cl
29m 34s feat/java-simple-recursion
feat/java-simple-recursion
29m 34s
Document the duplication risk in Java MLletin printing for applied fixes Github CI #38: Commit 6440af5 pushed by hiroshi-cl
14m 37s feat/java-simple-recursion
feat/java-simple-recursion
14m 37s
Extract local MLfix as valid Java expressions via fixK helpers Github CI #37: Pull request #20 synchronize by hiroshi-cl
13m 24s feat/java-simple-recursion
feat/java-simple-recursion
13m 24s
Use user_err instead of assert for unsupported mutual recursion in pp… Github CI #36: Commit d49e4f8 pushed by hiroshi-cl
14m 7s feat/java-simple-recursion
feat/java-simple-recursion
14m 7s
Extract local MLfix as valid Java expressions via fixK helpers Github CI #35: Pull request #20 synchronize by hiroshi-cl
1m 42s feat/java-simple-recursion
feat/java-simple-recursion
1m 42s
Avoid silently duplicating recursive computation in Java MLletin prin… Github CI #34: Commit c7ab6a0 pushed by hiroshi-cl
1m 53s feat/java-simple-recursion
feat/java-simple-recursion
1m 53s
Extract local MLfix as valid Java expressions via fixK helpers Github CI #33: Pull request #20 synchronize by hiroshi-cl
9m 35s feat/java-simple-recursion
feat/java-simple-recursion
9m 35s
Use user_err instead of assert for unsupported mutual recursion in pp… Github CI #32: Commit d49e4f8 pushed by hiroshi-cl
15m 43s feat/java-simple-recursion
feat/java-simple-recursion
15m 43s
Merge pull request #21 from proof-ninja/feat/ci-jdk25 Github CI #31: Commit 4346cc8 pushed by hiroshi-cl
25m 11s java_extraction
java_extraction
25m 11s
Emit a benign dummy value for MLdummy (#17) (#18) Github CI #30: Commit d375157 pushed by cedretaber
15m 25s java_extraction
java_extraction
15m 25s
CI: pin Java to JDK 25 via actions/setup-java Github CI #29: Pull request #21 opened by hiroshi-cl
12m 31s feat/ci-jdk25
feat/ci-jdk25
12m 31s
CI: pin Java to JDK 25 via actions/setup-java Github CI #28: Commit 6f7362f pushed by hiroshi-cl
13m 27s feat/ci-jdk25
feat/ci-jdk25
13m 27s
Extract local MLfix as valid Java expressions via fixK helpers Github CI #27: Pull request #20 synchronize by hiroshi-cl
13m 45s feat/java-simple-recursion
feat/java-simple-recursion
13m 45s
Use user_err instead of assert for unsupported mutual recursion in pp… Github CI #26: Commit 070c0b4 pushed by hiroshi-cl
12m 20s feat/java-simple-recursion
feat/java-simple-recursion
12m 20s
Extract local MLfix as valid Java expressions via fixK helpers Github CI #25: Pull request #20 opened by hiroshi-cl
13m 28s feat/java-simple-recursion
feat/java-simple-recursion
13m 28s
Extract local MLfix as valid Java expressions via fixK helpers Github CI #24: Commit f2bda00 pushed by hiroshi-cl
12m 41s feat/java-simple-recursion
feat/java-simple-recursion
12m 41s