Skip to content

Actions: AAU-Dat/P9-BW-ADD

Run TODO to Issue

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Preliminaries (#51)
Run TODO to Issue #37: Commit 7f16979 pushed by Daniel-Runge
December 11, 2024 11:10 18s main
December 11, 2024 11:10 18s
Bump actions/attest-build-provenance from 1 to 2 (#50)
Run TODO to Issue #36: Commit 8161043 pushed by Daniel-Runge
December 11, 2024 07:35 18s main
December 11, 2024 07:35 18s
Merge pull request #48 from AAU-Dat/introduction
Run TODO to Issue #35: Commit 144666a pushed by Actam55
December 6, 2024 09:30 30s main
December 6, 2024 09:30 30s
Merge pull request #47 from AAU-Dat/experiment
Run TODO to Issue #34: Commit 7b3d355 pushed by sebastianbot6969
December 5, 2024 23:09 23s main
December 5, 2024 23:09 23s
Add an experiment section and some placeholder tables and images for …
Run TODO to Issue #33: Commit 9d85683 pushed by Daniel-Runge
November 7, 2024 14:51 19s main
November 7, 2024 14:51 19s
Update abstract to use IEEEtitleabstractindextext. Add IEEEkeywords
Run TODO to Issue #32: Commit 8a386b2 pushed by Daniel-Runge
October 31, 2024 20:07 16s main
October 31, 2024 20:07 16s
Update label function symbol to mathscr (#44)
Run TODO to Issue #31: Commit c70f92f pushed by Daniel-Runge
October 31, 2024 19:58 19s main
October 31, 2024 19:58 19s
Change font. Change IEEE style. Update authors list. Fix bigcdot -> c…
Run TODO to Issue #30: Commit 1de6e38 pushed by Daniel-Runge
October 31, 2024 15:36 17s main
October 31, 2024 15:36 17s
Merge pull request #42 from AAU-Dat/class-diagram
Run TODO to Issue #29: Commit d54396c pushed by Actam55
October 23, 2024 07:48 17s main
October 23, 2024 07:48 17s
made definitions for MC, HMM, MDP and CMTC (#37)
Run TODO to Issue #28: Commit 7d76913 pushed by Daniel-Runge
October 11, 2024 08:31 21s main
October 11, 2024 08:31 21s
16 fix author list (#36)
Run TODO to Issue #27: Commit a057539 pushed by Daniel-Runge
October 11, 2024 08:03 24s main
October 11, 2024 08:03 24s
Add Jetbrains files
Run TODO to Issue #26: Commit 56ec5d7 pushed by Daniel-Runge
October 2, 2024 21:07 38s main
October 2, 2024 21:07 38s
Add cupaal c project (#35)
Run TODO to Issue #25: Commit 91836a0 pushed by Daniel-Runge
October 2, 2024 20:16 23s main
October 2, 2024 20:16 23s
Attempt at adding c++ project (#34)
Run TODO to Issue #24: Commit b79e812 pushed by Daniel-Runge
October 2, 2024 20:10 26s main
October 2, 2024 20:10 26s
Update devcontainer.json
Run TODO to Issue #23: Commit 460a878 pushed by Daniel-Runge
October 2, 2024 18:37 18s main
October 2, 2024 18:37 18s
Fix devcontainer. Remove Minted outputdir (#33)
Run TODO to Issue #22: Commit d70ba05 pushed by Daniel-Runge
October 2, 2024 18:16 23s main
October 2, 2024 18:16 23s
Merge pull request #32 from AAU-Dat/14-examples-of-markovian-models-d…
Run TODO to Issue #21: Commit 1909a6c pushed by sebastianbot6969
October 2, 2024 11:30 15s main
October 2, 2024 11:30 15s
Merge pull request #31 from AAU-Dat/14-examples-of-markovian-models-d…
Run TODO to Issue #20: Commit f0c46c2 pushed by sebastianbot6969
October 2, 2024 11:13 16s main
October 2, 2024 11:13 16s
Merge pull request #30 from AAU-Dat/14-examples-of-markovian-models-d…
Run TODO to Issue #19: Commit 5b654a5 pushed by sebastianbot6969
October 2, 2024 11:10 23s main
October 2, 2024 11:10 23s
Update devcontainer
Run TODO to Issue #18: Commit 525a46b pushed by Daniel-Runge
September 28, 2024 20:11 16s main
September 28, 2024 20:11 16s
Add GitHub Action to publish docker image to github registry (#29)
Run TODO to Issue #17: Commit 63c74cc pushed by Daniel-Runge
September 28, 2024 18:30 21s main
September 28, 2024 18:30 21s
Update modules. Add pygments to dockerfile
Run TODO to Issue #16: Commit 5d413e6 pushed by Daniel-Runge
September 28, 2024 17:39 25s main
September 28, 2024 17:39 25s
Add devcontainer. Rename base module. Cleanup gitignore, out folder, …
Run TODO to Issue #15: Commit e98aa1a pushed by Daniel-Runge
September 28, 2024 17:28 25s main
September 28, 2024 17:28 25s
22 update GitHub page (#25)
Run TODO to Issue #14: Commit 6a4dc10 pushed by Daniel-Runge
September 28, 2024 12:46 23s main
September 28, 2024 12:46 23s
22 update GitHub page (#24)
Run TODO to Issue #13: Commit 90ce11c pushed by Daniel-Runge
September 28, 2024 12:41 22s main
September 28, 2024 12:41 22s