Skip to content

Actions: codespecs/daikon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,970 workflow runs
1,970 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
Share JAVA_HOME and Java version detection among Makefiles; use JAVA_HOME's tools CI #673: Pull request #897 synchronize by mernst
6h 3m 43s mernst:java-home-detection
mernst:java-home-detection
6h 3m 43s
Share JAVA_HOME and Java version detection among Makefiles; use JAVA_HOME's tools checkbashisms #570: Pull request #897 synchronize by mernst
47m 19s mernst:java-home-detection
mernst:java-home-detection
47m 19s
Share JAVA_HOME and Java version detection among Makefiles; use JAVA_HOME's tools Prek checks #710: Pull request #897 synchronize by mernst
1h 2m 13s mernst:java-home-detection
mernst:java-home-detection
1h 2m 13s
Fix runcluster.pl CI #672: Pull request #856 synchronize by mernst
6h 38m 12s mernst:issue365
mernst:issue365
6h 38m 12s
Fix runcluster.pl checkbashisms #569: Pull request #856 synchronize by mernst
1h 8m 58s mernst:issue365
mernst:issue365
1h 8m 58s
Fix runcluster.pl Prek checks #709: Pull request #856 synchronize by mernst
1h 6m 15s mernst:issue365
mernst:issue365
1h 6m 15s
Split at leaf program points other than numbered exits checkbashisms #568: Pull request #877 synchronize by mernst
1h 4m 41s mernst:dataflow-leaf
mernst:dataflow-leaf
1h 4m 41s
Split at leaf program points other than numbered exits CI #671: Pull request #877 synchronize by mernst
7h 5m 44s mernst:dataflow-leaf
mernst:dataflow-leaf
7h 5m 44s
Split at leaf program points other than numbered exits Prek checks #708: Pull request #877 synchronize by mernst
1h 8m 57s mernst:dataflow-leaf
mernst:dataflow-leaf
1h 8m 57s
Simplify equality-view setup in the ppt hierarchy CI #670: Pull request #875 synchronize by mernst
5h 37m 25s mernst:share-hierarchy
mernst:share-hierarchy
5h 37m 25s
Simplify equality-view setup in the ppt hierarchy Prek checks #707: Pull request #875 synchronize by mernst
49m 20s mernst:share-hierarchy
mernst:share-hierarchy
49m 20s
Simplify equality-view setup in the ppt hierarchy checkbashisms #567: Pull request #875 synchronize by mernst
1h 9m 36s mernst:share-hierarchy
mernst:share-hierarchy
1h 9m 36s
Report a missing JDK only when a command needs it CI #669: Pull request #902 synchronize by mernst
7h 4m 29s mernst:use-java-home-tools
mernst:use-java-home-tools
7h 4m 29s
Report a missing JDK only when a command needs it Prek checks #706: Pull request #902 synchronize by mernst
42m 41s mernst:use-java-home-tools
mernst:use-java-home-tools
42m 41s
Report a missing JDK only when a command needs it checkbashisms #566: Pull request #902 synchronize by mernst
42m 59s mernst:use-java-home-tools
mernst:use-java-home-tools
42m 59s
Support daikon.Quant calls in splitting conditions CI #668: Pull request #869 synchronize by mernst
6h 11m 18s mernst:splitter-quant-calls
mernst:splitter-quant-calls
6h 11m 18s
Support daikon.Quant calls in splitting conditions checkbashisms #565: Pull request #869 synchronize by mernst
56m 49s mernst:splitter-quant-calls
mernst:splitter-quant-calls
56m 49s
Support daikon.Quant calls in splitting conditions Prek checks #705: Pull request #869 synchronize by mernst
33m 37s mernst:splitter-quant-calls
mernst:splitter-quant-calls
33m 37s
Show output of failed Kvasir and DynComp runs, and keep running tests after a failure Prek checks #704: Pull request #890 synchronize by mernst
33m 24s mernst:kvasir-diagnostics
mernst:kvasir-diagnostics
33m 24s
Show output of failed Kvasir and DynComp runs, and keep running tests after a failure CI #667: Pull request #890 synchronize by mernst
6h 10m 41s mernst:kvasir-diagnostics
mernst:kvasir-diagnostics
6h 10m 41s
Show output of failed Kvasir and DynComp runs, and keep running tests after a failure checkbashisms #564: Pull request #890 synchronize by mernst
30m 4s mernst:kvasir-diagnostics
mernst:kvasir-diagnostics
30m 4s
Do not pass unwritten splitter files to javac Prek checks #703: Pull request #870 synchronize by mernst
30m 51s mernst:splitter-unwritten-files
mernst:splitter-unwritten-files
30m 51s
Do not pass unwritten splitter files to javac CI #666: Pull request #870 synchronize by mernst
6h 12m 41s mernst:splitter-unwritten-files
mernst:splitter-unwritten-files
6h 12m 41s
Do not pass unwritten splitter files to javac checkbashisms #563: Pull request #870 synchronize by mernst
34m 58s mernst:splitter-unwritten-files
mernst:splitter-unwritten-files
34m 58s
ExtractConsequent: write splitting conditions that Daikon can use CI #665: Pull request #868 synchronize by mernst
4h 29m 51s mernst:extract-consequent
mernst:extract-consequent
4h 29m 51s