Skip to content

Pull requests: aai-institute/tfl-training-probabilistic-model-checking

New pull request New
Clear current search query, filters, and sorts
0 Open 14 Closed
0 Open 14 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Adapt logos and heading
#21 by turnmanh was merged Jun 24, 2024 Loading…
@turnmanh
Adapt logos to new ci enhancement New feature or request
#20 by turnmanh was merged Mar 24, 2024 Loading…
Added note on license documentation Improvements or additions to documentation
#19 by turnmanh was merged Mar 24, 2024 Loading…
Update requirements
#18 by fariedabuzaid was merged Feb 19, 2024 Loading…
adopt pipelines to ghcr.io
#17 by fariedabuzaid was merged Feb 9, 2024 Loading…
Fix typos README.md
#16 by fariedabuzaid was merged Feb 9, 2024 Loading…
Link video
#15 by fariedabuzaid was merged Feb 9, 2024 Loading…
Update installation instructions
#14 by fariedabuzaid was merged Feb 9, 2024 Loading…
1
Remove participant secret from build
#13 by fariedabuzaid was merged Feb 9, 2024 Loading…
Add slides
#12 by fariedabuzaid was merged Feb 8, 2024 Loading…
add no-cache to build action
#11 by fariedabuzaid was merged Feb 8, 2024 Loading…
Adopt workshop
#7 by fariedabuzaid was merged Jan 19, 2024 Loading…
Fix pipelines
#6 by fariedabuzaid was merged Apr 21, 2023 Loading…
1
Add UAI/DICOTEC content
#4 by fariedabuzaid was merged Apr 21, 2023 Loading…
1
ProTip! Adding no:label will show everything without a label.