Skip to content

Actions: pcminer-tools/pcminer

Actions

Continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
continuous-integration.yml
109 workflow runs
109 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixes Continuous integration #151: Pull request #82 opened by msridhar
46s another-fixup
another-fixup
46s
fixes Continuous integration #150: Commit d06a6bf pushed by msridhar
46s another-fixup
another-fixup
46s
remove another quote (#81) Continuous integration #149: Commit d4e58b1 pushed by msridhar
1m 8s master
master
1m 8s
remove another quote Continuous integration #148: Pull request #81 opened by msridhar
35s fix-quote-again
fix-quote-again
35s
remove another quote Continuous integration #147: Commit 0701ca2 pushed by msridhar
50s fix-quote-again
fix-quote-again
50s
Add PLDI'22 papers (#80) Continuous integration #146: Commit 2a339ac pushed by msridhar
50s master
master
50s
Add PLDI'22 papers Continuous integration #145: Pull request #80 opened by msridhar
35s pldi-2022
pldi-2022
35s
Add PLDI'22 papers Continuous integration #144: Commit a01a317 pushed by msridhar
43s pldi-2022
pldi-2022
43s
remove extra quotes from search links (#79) Continuous integration #143: Commit ba6a6b8 pushed by msridhar
49s master
master
49s
remove extra quotes from search links Continuous integration #142: Pull request #79 opened by msridhar
1m 42s extra-quote
extra-quote
1m 42s
remove extra quotes from search links Continuous integration #141: Commit 244bd24 pushed by msridhar
46s extra-quote
extra-quote
46s
Auto-select if only one result from search (#78) Continuous integration #140: Commit 4dd5ad1 pushed by msridhar
49s master
master
49s
Auto-select if only one result from search Continuous integration #139: Pull request #78 opened by msridhar
48s auto-select
auto-select
48s
Auto-select if only one result from search Continuous integration #138: Commit 0d6066e pushed by msridhar
44s auto-select
auto-select
44s
Optionally generate data into a JSON file (#77) Continuous integration #137: Commit c0cd139 pushed by msridhar
1m 6s master
master
1m 6s
Optionally generate data into a JSON file Continuous integration #136: Pull request #77 opened by msridhar
43s generate-json
generate-json
43s
Optionally generate data into a JSON file Continuous integration #135: Commit 35d5f86 pushed by msridhar
52s generate-json
generate-json
52s
Address some IntelliJ inspections (#76) Continuous integration #134: Commit 58283c6 pushed by msridhar
44s master
master
44s
Address some IntelliJ inspections Continuous integration #133: Pull request #76 opened by msridhar
43s fix-intellij-warns
fix-intellij-warns
43s
Address some IntelliJ inspections Continuous integration #132: Commit 1ed0a6f pushed by msridhar
48s fix-intellij-warns
fix-intellij-warns
48s
add a name mapping (#75) Continuous integration #131: Commit da12c35 pushed by msridhar
55s master
master
55s
add a name mapping Continuous integration #130: Pull request #75 opened by msridhar
39s changes
changes
39s
add a name mapping Continuous integration #129: Commit 8b3e178 pushed by msridhar
43s changes
changes
43s
Fix entries (#74) Continuous integration #128: Commit ca989cf pushed by msridhar
1m 0s master
master
1m 0s
Fix entries Continuous integration #127: Pull request #74 opened by msridhar
1m 6s fix-entries
fix-entries
1m 6s