Skip to content

Actions: pcminer-tools/pcminer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
109 workflow runs
109 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ECOOP 2021-2025 redux: fix unicode (#91) Continuous integration #176: Commit 90d44b5 pushed by msridhar
1m 20s master
master
1m 20s
ECOOP 2021-2025 redux: fix unicode Continuous integration #175: Pull request #91 opened by ulysses4ever
54s ulysses4ever:robbert/ecoop
ulysses4ever:robbert/ecoop
54s
Other changes (#90) Continuous integration #174: Commit 460dca3 pushed by msridhar
57s master
master
57s
Other changes Continuous integration #173: Pull request #90 synchronize by msridhar
44s msridhar:pldi-2025
msridhar:pldi-2025
44s
Other changes Continuous integration #172: Pull request #90 opened by msridhar
1m 18s msridhar:pldi-2025
msridhar:pldi-2025
1m 18s
Update PACMPL 9 (#89) Continuous integration #171: Commit aa3f177 pushed by msridhar
1m 4s master
master
1m 4s
Update PACMPL 9 Continuous integration #170: Pull request #89 opened by msridhar
44s changes
changes
44s
Update PACMPL 9 Continuous integration #169: Commit 3f308f3 pushed by msridhar
45s changes
changes
45s
POPL and OOPSLA 26 PCs (#88) Continuous integration #168: Commit dd13355 pushed by msridhar
1m 4s master
master
1m 4s
POPL and OOPSLA 26 PCs Continuous integration #167: Pull request #88 opened by msridhar
1m 1s popl-oopsla-2026
popl-oopsla-2026
1m 1s
POPL and OOPSLA 26 PCs Continuous integration #166: Commit 447d2b7 pushed by msridhar
52s popl-oopsla-2026
popl-oopsla-2026
52s
Add ECOOP 2021--2025 Continuous integration #165: Pull request #87 opened by robbertkrebbers
46s robbertkrebbers:robbert/ecoop
robbertkrebbers:robbert/ecoop
46s
tweak text (#86) Continuous integration #164: Commit cd3a637 pushed by msridhar
51s master
master
51s
tweak text Continuous integration #163: Pull request #86 opened by msridhar
1m 7s tweak-text
tweak-text
1m 7s
tweak text Continuous integration #162: Commit 621d7e5 pushed by msridhar
57s tweak-text
tweak-text
57s
Add button to copy selected name (#85) Continuous integration #161: Commit 8ecf924 pushed by msridhar
1m 8s master
master
1m 8s
Add button to copy selected name Continuous integration #160: Pull request #85 opened by msridhar
39s copy-selected-name
copy-selected-name
39s
Add button to copy selected name Continuous integration #159: Commit f1ef2ad pushed by msridhar
41s copy-selected-name
copy-selected-name
41s
Format HTML (#84) Continuous integration #158: Commit c62d1d3 pushed by msridhar
1m 13s master
master
1m 13s
Format HTML Continuous integration #157: Pull request #84 opened by msridhar
49s format-html
format-html
49s
format Continuous integration #156: Commit a76f6cb pushed by msridhar
39s format-html
format-html
39s
Add exclude list (#83) Continuous integration #155: Commit 6cf7a7c pushed by msridhar
52s master
master
52s
Add exclude list Continuous integration #154: Pull request #83 opened by msridhar
41s exclude-list
exclude-list
41s
Add exclude list Continuous integration #153: Commit 31a6953 pushed by msridhar
36s exclude-list
exclude-list
36s
fixes (#82) Continuous integration #152: Commit f1702be pushed by msridhar
1m 6s master
master
1m 6s