Skip to content

Actions: TNO/MIDS

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix kbd/btn/menu macros in website index page. Build and Test MIDS (main) #14: Commit 804aa44 pushed by dhendriks
December 6, 2023 15:42 3m 55s main
main
December 6, 2023 15:42 3m 55s
Fix about text of product (replacement pattern %aboutText doesn't work). Build and Test MIDS (tag) #4: Commit d3a140e pushed by dhendriks
December 6, 2023 15:18 3m 11s v0.9-RC4
v0.9-RC4
December 6, 2023 15:18 3m 11s
Fix about text of product (replacement pattern %aboutText doesn't work). Build and Test MIDS (main) #13: Commit d3a140e pushed by dhendriks
December 6, 2023 15:13 3m 51s main
main
December 6, 2023 15:13 3m 51s
More product branding improvements. Build and Test MIDS (tag) #3: Commit 1d1ab95 pushed by dhendriks
December 6, 2023 14:55 3m 17s v0.9-RC3
v0.9-RC3
December 6, 2023 14:55 3m 17s
More product branding improvements. Build and Test MIDS (main) #12: Commit 1d1ab95 pushed by dhendriks
December 6, 2023 14:54 3m 59s main
main
December 6, 2023 14:54 3m 59s
Branding plugin fixes. Build and Test MIDS (tag) #2: Commit 71f9ff5 pushed by dhendriks
December 6, 2023 14:14 3m 54s v0.9-RC2
v0.9-RC2
December 6, 2023 14:14 3m 54s
Branding plugin fixes. Build and Test MIDS (main) #11: Commit 71f9ff5 pushed by dhendriks
December 6, 2023 14:13 3m 52s main
main
December 6, 2023 14:13 3m 52s
Build fix. Build and Test MIDS (main) #10: Commit 1bba552 pushed by dhendriks
December 6, 2023 13:41 10m 16s main
main
December 6, 2023 13:41 10m 16s
Fix about dialog. Build and Test MIDS (main) #9: Commit d1ced62 pushed by dhendriks
December 6, 2023 13:32 5m 10s main
main
December 6, 2023 13:32 5m 10s
Fix images in user guide on website. Build and Test MIDS (main) #8: Commit d7e7f80 pushed by dhendriks
December 6, 2023 12:00 5m 30s main
main
December 6, 2023 12:00 5m 30s
Split end user and developer documentation. Build and Test MIDS (main) #7: Commit 57112ed pushed by dhendriks
December 6, 2023 10:42 3m 27s main
main
December 6, 2023 10:42 3m 27s
Add release process documentation. Build and Test MIDS (main) #6: Commit 27f5b14 pushed by dhendriks
December 6, 2023 10:41 3m 3s main
main
December 6, 2023 10:41 3m 3s
pom.xml formatting. Build and Test MIDS (tag) #1: Commit eb7571b pushed by dhendriks
December 6, 2023 10:34 3m 7s v0.9-RC1
v0.9-RC1
December 6, 2023 10:34 3m 7s
pom.xml formatting. Build and Test MIDS (main) #5: Commit eb7571b pushed by dhendriks
December 6, 2023 10:20 8m 50s main
main
December 6, 2023 10:20 8m 50s
Attempt to make tests produce same result on GitHub action as locally. Build and Test MIDS (main) #4: Commit 70ff148 pushed by dhendriks
December 5, 2023 17:30 10m 43s main
main
December 5, 2023 17:30 10m 43s
GitHub workflows: add mCRL2 dependency. Build and Test MIDS (main) #3: Commit 18f002f pushed by dhendriks
December 5, 2023 16:56 23m 9s main
main
December 5, 2023 16:56 23m 9s
GitHub workflow: add graphviz, change capitalization of step names. Build and Test MIDS (main) #2: Commit 141c364 pushed by dhendriks
December 5, 2023 16:48 15m 3s main
main
December 5, 2023 16:48 15m 3s
Fix GitHub workflows location. Build and Test MIDS (main) #1: Commit 309459c pushed by dhendriks
December 5, 2023 16:12 4m 59s main
main
December 5, 2023 16:12 4m 59s