Skip to content

Actions: opencompl/datapath-verification-paper

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
195 workflow runs
195 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
nit Compile paper #22: Commit 74a08a2 pushed by osmanyasar05
1m 54s main
main
1m 54s
nit Push copy to private repo #22: Commit 74a08a2 pushed by osmanyasar05
1s main
main
1s
correct font size (10) Push copy to private repo #21: Commit 653b788 pushed by osmanyasar05
1s main
main
1s
correct font size (10) Compile paper #21: Commit 653b788 pushed by osmanyasar05
2m 39s main
main
2m 39s
formalization Compile paper #20: Commit c0a0989 pushed by osmanyasar05
2m 11s main
main
2m 11s
formalization Push copy to private repo #20: Commit c0a0989 pushed by osmanyasar05
1s main
main
1s
3.1 Compile paper #19: Commit 97d0ff7 pushed by osmanyasar05
2m 26s main
main
2m 26s
3.1 Push copy to private repo #19: Commit 97d0ff7 pushed by osmanyasar05
Skipped main
main
Skipped
format Push copy to private repo #18: Commit b20bc5f pushed by osmanyasar05
1s main
main
1s
format Compile paper #18: Commit b20bc5f pushed by osmanyasar05
2m 28s main
main
2m 28s
wip Compile paper #17: Commit d2ed3cd pushed by osmanyasar05
2m 23s main
main
2m 23s
wip Push copy to private repo #17: Commit d2ed3cd pushed by osmanyasar05
1s main
main
1s
wip Compile paper #16: Commit ad35572 pushed by osmanyasar05
2m 12s main
main
2m 12s
wip Push copy to private repo #16: Commit ad35572 pushed by osmanyasar05
2s main
main
2s
Drop subtitle Compile paper #15: Commit 81ecb95 pushed by tobiasgrosser
2m 20s main
main
2m 20s
Drop subtitle Push copy to private repo #15: Commit 81ecb95 pushed by tobiasgrosser
2s main
main
2s
subsubsect Compile paper #14: Commit a252e73 pushed by osmanyasar05
2m 58s main
main
2m 58s
subsubsect Push copy to private repo #14: Commit a252e73 pushed by osmanyasar05
2s main
main
2s
similarity for temel et al Compile paper #13: Commit d8f016a pushed by osmanyasar05
1m 44s main
main
1m 44s
similarity for temel et al Push copy to private repo #13: Commit d8f016a pushed by osmanyasar05
1s main
main
1s
konrad sca Compile paper #12: Commit 3cbeb4f pushed by osmanyasar05
1m 52s main
main
1m 52s
konrad sca Push copy to private repo #12: Commit 3cbeb4f pushed by osmanyasar05
1s main
main
1s
compression algos Compile paper #11: Commit c83d4e2 pushed by osmanyasar05
1m 46s main
main
1m 46s
compression algos Push copy to private repo #11: Commit c83d4e2 pushed by osmanyasar05
1s main
main
1s
background Push copy to private repo #10: Commit fcaec6b pushed by osmanyasar05
2s main
main
2s