Skip to content

Actions: VeriVote/ViRAGe

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed endless interface loop (#16) Java CI with Maven #43: Commit c1c12f3 pushed by mi-ki
September 16, 2023 12:09 3m 36s main
main
September 16, 2023 12:09 3m 36s
Fixed endless interface loop Java CI with Maven #42: Pull request #16 opened by mi-ki
September 16, 2023 12:07 3m 14s brokeInterfaceLoop
brokeInterfaceLoop
September 16, 2023 12:07 3m 14s
Major fixes (#15) Java CI with Maven #41: Commit 6552840 pushed by mi-ki
September 14, 2023 05:17 1m 58s main
main
September 14, 2023 05:17 1m 58s
Major fixes Java CI with Maven #40: Pull request #15 opened by mi-ki
September 14, 2023 05:17 1m 53s majorFixes
majorFixes
September 14, 2023 05:17 1m 53s
Now setting the Isabelle session name works seemingly correctly (#14) Java CI with Maven #39: Commit 5397002 pushed by mi-ki
September 13, 2023 03:59 2m 10s main
main
September 13, 2023 03:59 2m 10s
Now setting the Isabelle session name works seemingly correctly Java CI with Maven #38: Pull request #14 opened by mi-ki
September 13, 2023 03:58 2m 6s fixedSessionName
fixedSessionName
September 13, 2023 03:58 2m 6s
Various fixes, especially correct Isabelle loading (#13) Java CI with Maven #37: Commit 998f860 pushed by mi-ki
September 13, 2023 03:26 2m 38s main
main
September 13, 2023 03:26 2m 38s
Various fixes, especially correct Isabelle loading Java CI with Maven #36: Pull request #13 opened by mi-ki
September 13, 2023 03:26 2m 43s moreFixes
moreFixes
September 13, 2023 03:26 2m 43s
Various fixes and formattings. (#12) Java CI with Maven #35: Commit b232618 pushed by mi-ki
September 9, 2023 07:28 2m 4s main
main
September 9, 2023 07:28 2m 4s
Various fixes and formattings. Java CI with Maven #34: Pull request #12 opened by mi-ki
September 9, 2023 07:27 1m 39s variousFixes
variousFixes
September 9, 2023 07:27 1m 39s
Fix environment variables (#11) Java CI with Maven #33: Commit 3a51afe pushed by mi-ki
September 2, 2023 15:26 4m 1s main
main
September 2, 2023 15:26 4m 1s
Fix environment variables Java CI with Maven #32: Pull request #11 opened by mi-ki
September 2, 2023 15:26 1m 42s fixEnvironmentVariables
fixEnvironmentVariables
September 2, 2023 15:26 1m 42s
Bugfix: Config parsed incorrectly (#10) Java CI with Maven #31: Commit 776fd36 pushed by mi-ki
August 1, 2023 19:07 2m 5s main
main
August 1, 2023 19:07 2m 5s
Bugfix: Config parsed incorrectly Java CI with Maven #30: Pull request #10 opened by SpringVaS
July 24, 2023 09:03 1m 6s SpringVaS:fixConfig
SpringVaS:fixConfig
July 24, 2023 09:03 1m 6s