Skip to content

Actions: sireum/runtime

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
264 workflow runs
264 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removed Info.plist patching. CI #552: Commit af96aea pushed by robby-phd
August 7, 2024 15:27 18m 53s master
master
August 7, 2024 15:27 18m 53s
Os_Ext.move resort to copy/remove. CI #551: Commit 990410b pushed by robby-phd
May 7, 2024 20:43 34m 26s master
master
May 7, 2024 20:43 34m 26s
Use Path.moveOverTo instead of Path.move in Init.extractPlugins. CI #550: Commit f8769e4 pushed by robby-phd
April 23, 2024 16:52 6m 16s master
master
April 23, 2024 16:52 6m 16s
Fixed Os_Ext.move when COPY_ATTRIBUTES not supported. CI #549: Commit ffc3f39 pushed by robby-phd
April 23, 2024 14:57 3m 35s master
master
April 23, 2024 14:57 3m 35s
Fixed js macros. CI #548: Commit ea59efc pushed by robby-phd
April 18, 2024 19:11 5m 18s master
master
April 18, 2024 19:11 5m 18s
Added total time result for ISZOpsUtil.{invokeAny, invokeAnyEither}. CI #547: Commit 9874766 pushed by robby-phd
April 12, 2024 11:23 3m 33s master
master
April 12, 2024 11:23 3m 33s
Removed mill configs. CI #546: Commit e873a59 pushed by robby-phd
April 6, 2024 13:28 7m 46s master
master
April 6, 2024 13:28 7m 46s
Updated plugin installation approach. CI #545: Commit 83a2020 pushed by robby-phd
April 6, 2024 13:17 3m 24s master
master
April 6, 2024 13:17 3m 24s
Simplified versions.properties IntelliJ plugin section. CI #544: Commit 9e78764 pushed by robby-phd
April 2, 2024 12:03 4m 2s master
master
April 2, 2024 12:03 4m 2s
Removed build.sc CI #543: Commit eed3787 pushed by robby-phd
March 29, 2024 19:20 3m 49s master
master
March 29, 2024 19:20 3m 49s
Added cs.exe to Windows distro. CI #542: Commit fa93cf8 pushed by robby-phd
March 29, 2024 19:15 6m 5s master
master
March 29, 2024 19:15 6m 5s
Updated CI.yml. CI #541: Commit 52c25d2 pushed by robby-phd
March 29, 2024 13:45 3m 49s master
master
March 29, 2024 13:45 3m 49s
Ignored bin/install. CI #540: Commit 1c6084a pushed by robby-phd
March 29, 2024 13:28 3m 36s master
master
March 29, 2024 13:28 3m 36s
Changed to use Proyek. CI #539: Commit f49ce17 pushed by robby-phd
March 29, 2024 13:15 4m 3s master
master
March 29, 2024 13:15 4m 3s
Changed to use coursier executable in Windows. CI #538: Commit 1911f61 pushed by robby-phd
March 28, 2024 18:05 1m 6s coursier
coursier
March 28, 2024 18:05 1m 6s
Added @induct. CI #537: Commit 54358ba pushed by robby-phd
March 18, 2024 14:38 6m 17s master
master
March 18, 2024 14:38 6m 17s
Added z3 Windows arm64. CI #536: Commit b1b973c pushed by robby-phd
March 12, 2024 14:25 7m 56s master
master
March 12, 2024 14:25 7m 56s
Qualified scala.List. CI #535: Commit 4ef5f76 pushed by robby-phd
February 29, 2024 00:42 5m 25s master
master
February 29, 2024 00:42 5m 25s
Updated cvc installations. CI #534: Commit 6aa06b0 pushed by robby-phd
February 27, 2024 22:13 5m 8s master
master
February 27, 2024 22:13 5m 8s
Updated cvc4/5 download URLs. CI #533: Commit 02bf6c6 pushed by robby-phd
February 27, 2024 21:07 5m 3s master
master
February 27, 2024 21:07 5m 3s
Removed StructuralInduction. CI #532: Commit 1665877 pushed by robby-phd
February 27, 2024 00:38 11m 4s master
master
February 27, 2024 00:38 11m 4s
Use custom IVE.exe CI #531: Commit 01c5d94 pushed by robby-phd
February 24, 2024 21:35 9m 21s master
master
February 24, 2024 21:35 9m 21s
Removed win-arm64 7z bundle after extraction. CI #530: Commit 7ccfc38 pushed by robby-phd
February 23, 2024 13:40 5m 36s master
master
February 23, 2024 13:40 5m 36s
Added an alternative form for Let { (...) => SubProof(...) } as SubPr… CI #529: Commit 321c36c pushed by robby-phd
February 22, 2024 14:29 11m 23s master
master
February 22, 2024 14:29 11m 23s
Adapted to compiler plugin changes. CI #528: Commit 0dee2cc pushed by robby-phd
February 21, 2024 18:50 5m 27s master
master
February 21, 2024 18:50 5m 27s
ProTip! You can narrow down the results and go further in time using created:<2024-02-21 or the other filters available.