Skip to content

Actions: marcbezem/CL-PC22

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment with artifacts-next
pages-build-deployment #14: by github-pages bot
January 26, 2024 17:47 44s
January 26, 2024 17:47 44s
Dagstuhl dates
Compile LaTeX #23: Commit fe6eb54 pushed by marcbezem
January 26, 2024 17:45 1m 50s main
January 26, 2024 17:45 1m 50s
pages build and deployment
pages-build-deployment #13: by github-pages bot
January 8, 2024 20:18 47s
January 8, 2024 20:18 47s
C&C, N
Compile LaTeX #22: Commit 81cd597 pushed by marcbezem
January 8, 2024 20:16 2m 12s main
January 8, 2024 20:16 2m 12s
pages build and deployment
pages-build-deployment #12: by github-pages bot
January 1, 2024 11:14 47s
January 1, 2024 11:14 47s
polish
Compile LaTeX #21: Commit 3a536dd pushed by marcbezem
January 1, 2024 11:12 1m 49s main
January 1, 2024 11:12 1m 49s
polish
Compile LaTeX #20: Commit 6025eeb pushed by marcbezem
December 31, 2023 19:49 1m 43s main
December 31, 2023 19:49 1m 43s
pages build and deployment
pages-build-deployment #11: by github-pages bot
December 1, 2023 19:45 47s
December 1, 2023 19:45 47s
Skolem_CL
Compile LaTeX #19: Commit 194ed24 pushed by marcbezem
December 1, 2023 19:43 2m 6s main
December 1, 2023 19:43 2m 6s
pages build and deployment
pages-build-deployment #10: by github-pages bot
November 28, 2023 20:20 51s
November 28, 2023 20:20 51s
Merge branch 'main' of github.com:marcbezem/CL-PC22 into main
Compile LaTeX #18: Commit 18928e5 pushed by marcbezem
November 28, 2023 20:18 1m 49s main
November 28, 2023 20:18 1m 49s
pages build and deployment
pages-build-deployment #9: by github-pages bot
November 28, 2023 18:56 49s
November 28, 2023 18:56 49s
pages build and deployment
pages-build-deployment #8: by github-pages bot
November 28, 2023 18:55 43s
November 28, 2023 18:55 43s
Update README.md
Compile LaTeX #17: Commit 928c012 pushed by marcbezem
November 28, 2023 18:54 1m 45s main
November 28, 2023 18:54 1m 45s
pages build and deployment
pages-build-deployment #7: by github-pages bot
November 28, 2023 18:54 40s
November 28, 2023 18:54 40s
Update README.md with Skolem_CL.pdf
Compile LaTeX #16: Commit cf3b9a2 pushed by marcbezem
November 28, 2023 18:54 1m 44s main
November 28, 2023 18:54 1m 44s
Update main.yml with Skolem_CL.tex/pdf
Compile LaTeX #15: Commit 7e2d367 pushed by marcbezem
November 28, 2023 18:52 1m 44s main
November 28, 2023 18:52 1m 44s
pages build and deployment
pages-build-deployment #6: by github-pages bot
November 28, 2023 18:51 46s
November 28, 2023 18:51 46s
Skolem_CL
Compile LaTeX #14: Commit d3157e7 pushed by marcbezem
November 28, 2023 18:49 2m 16s main
November 28, 2023 18:49 2m 16s
pages build and deployment
pages-build-deployment #5: by github-pages bot
November 27, 2023 19:59 43s
November 27, 2023 19:59 43s
Skolem_CL
Compile LaTeX #13: Commit 661685b pushed by marcbezem
November 27, 2023 19:57 1m 43s main
November 27, 2023 19:57 1m 43s
pages build and deployment
pages-build-deployment #4: by github-pages bot
November 21, 2023 12:54 53s
November 21, 2023 12:54 53s
Merge branch 'main' of github.com:marcbezem/CL-PC22 into main
Compile LaTeX #12: Commit d664be0 pushed by marcbezem
November 21, 2023 12:52 1m 45s main
November 21, 2023 12:52 1m 45s