Skip to content

Actions: diku-dk/dpp-notes

Actions

Build LaTeX document

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add proof. Build LaTeX document #7: Commit b9fa5c8 pushed by athas
November 20, 2024 08:36 1m 42s main
main
November 20, 2024 08:36 1m 42s
Write a bit more. Build LaTeX document #6: Commit 4eb241b pushed by athas
November 18, 2024 10:37 1m 41s main
main
November 18, 2024 10:37 1m 41s
A bit more work. Build LaTeX document #5: Commit fb9af5e pushed by athas
November 17, 2024 20:10 1m 45s main
main
November 17, 2024 20:10 1m 45s
Another definition. Build LaTeX document #4: Commit fc62524 pushed by athas
November 17, 2024 19:46 1m 48s main
main
November 17, 2024 19:46 1m 48s
Will also need this chapter. Build LaTeX document #3: Commit 22e4c4d pushed by athas
November 10, 2024 22:14 1m 49s main
main
November 10, 2024 22:14 1m 49s
Add some drafty content. Build LaTeX document #2: Commit 1a12512 pushed by athas
November 4, 2024 13:38 1m 51s main
main
November 4, 2024 13:38 1m 51s
Initial import. Build LaTeX document #1: Commit 429bf6b pushed by athas
November 4, 2024 13:15 1m 49s main
main
November 4, 2024 13:15 1m 49s