Skip to content

Actions: opencompl/paper-template

Actions

Compile paper

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build_paper.yml
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add first draft Compile paper #384: Commit 5ede993 pushed by bollu
December 30, 2023 15:08 1m 51s main
main
December 30, 2023 15:08 1m 51s
feat: add Lean4 syntax highlighting support to template Compile paper #383: Commit b0e214a pushed by tobiasgrosser
November 13, 2023 05:53 2m 12s lean4-support
lean4-support
November 13, 2023 05:53 2m 12s
feat: add Lean4 syntax highlighting support to template Compile paper #382: Commit b0e214a pushed by tobiasgrosser
November 13, 2023 05:52 2m 11s main
main
November 13, 2023 05:52 2m 11s
update to the lastest acm template Compile paper #381: Commit a07b46d pushed by tobiasgrosser
November 13, 2023 05:49 2m 5s main
main
November 13, 2023 05:49 2m 5s
Add Lean4 syntax highlighting support to template Compile paper #380: Pull request #40 opened by bollu
November 13, 2023 00:29 1m 37s lean4-support
lean4-support
November 13, 2023 00:29 1m 37s
Revert "Revert "feat: add Lean4 syntax highlighting support to templa… Compile paper #379: Commit 9e33233 pushed by bollu
November 13, 2023 00:29 1m 38s lean4-support
lean4-support
November 13, 2023 00:29 1m 38s
Revert "feat: add Lean4 syntax highlighting support to template" Compile paper #378: Commit 7cf013c pushed by bollu
November 13, 2023 00:23 1m 52s main
main
November 13, 2023 00:23 1m 52s
feat: add Lean4 syntax highlighting support to template Compile paper #377: Commit 14c0d08 pushed by bollu
November 13, 2023 00:20 1m 47s lean4-support
lean4-support
November 13, 2023 00:20 1m 47s
feat: add Lean4 syntax highlighting support to template Compile paper #376: Commit 14c0d08 pushed by bollu
November 13, 2023 00:20 1m 46s main
main
November 13, 2023 00:20 1m 46s