Skip to content

Actions: diku-dk/dpp-notes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
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
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
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
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
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
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
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
November 4, 2024 13:15 1m 49s