Skip to content

Actions: VariantSync/Vatras

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
314 workflow runs
314 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Artifact Overview for OOPSLA Check the Agda files #176: Pull request #43 synchronize by pmbittner
July 2, 2024 10:25 2m 20s oopsla-overview
oopsla-overview
July 2, 2024 10:25 2m 20s
Artifact Overview for OOPSLA Check the Agda files #175: Pull request #43 synchronize by AlexanderSchultheiss
July 2, 2024 09:50 2m 22s oopsla-overview
oopsla-overview
July 2, 2024 09:50 2m 22s
Remove constructors Check the Agda files #174: Pull request #48 synchronize by pmbittner
July 2, 2024 09:05 2m 14s remove-constructors
remove-constructors
July 2, 2024 09:05 2m 14s
Artifact Overview for OOPSLA Check the Agda files #173: Pull request #43 synchronize by ibbem
July 2, 2024 07:20 2m 32s oopsla-overview
oopsla-overview
July 2, 2024 07:20 2m 32s
Remove constructors Check the Agda files #172: Pull request #48 opened by pmbittner
July 2, 2024 07:08 2m 18s remove-constructors
remove-constructors
July 2, 2024 07:08 2m 18s
Artifact Overview for OOPSLA Check the Agda files #171: Pull request #43 synchronize by pmbittner
July 2, 2024 07:03 2m 27s oopsla-overview
oopsla-overview
July 2, 2024 07:03 2m 27s
Artifact Overview for OOPSLA Check the Agda files #170: Pull request #43 synchronize by ibbem
July 1, 2024 20:18 2m 22s oopsla-overview
oopsla-overview
July 1, 2024 20:18 2m 22s
Artifact Overview for OOPSLA Check the Agda files #169: Pull request #43 synchronize by pmbittner
July 1, 2024 16:43 2m 29s oopsla-overview
oopsla-overview
July 1, 2024 16:43 2m 29s
Artifact Overview for OOPSLA Check the Agda files #168: Pull request #43 opened by pmbittner
July 1, 2024 16:29 2m 22s oopsla-overview
oopsla-overview
July 1, 2024 16:29 2m 22s
Fix flake.nix syntax Check the Agda files #167: Commit 2ddc6c1 pushed by ibbem
June 28, 2024 15:09 2m 21s develop
develop
June 28, 2024 15:09 2m 21s
Merge pull request #42 from pmbittner/docker-setup Check the Agda files #166: Commit af137c8 pushed by pmbittner
June 28, 2024 14:37 2m 16s develop
develop
June 28, 2024 14:37 2m 16s
Create a Dockerfile for the artifact submission Check the Agda files #165: Pull request #42 synchronize by ibbem
June 28, 2024 14:37 2m 22s docker-setup
docker-setup
June 28, 2024 14:37 2m 22s
Merge pull request #41 from pmbittner/drop-extensionality-axiom Check the Agda files #164: Commit 45845da pushed by pmbittner
June 28, 2024 11:11 3m 59s develop
develop
June 28, 2024 11:11 3m 59s
Create a Dockerfile for the artifact submission Check the Agda files #163: Pull request #42 opened by ibbem
June 28, 2024 08:27 4m 1s docker-setup
docker-setup
June 28, 2024 08:27 4m 1s
Remove the extensionality axiom module Check the Agda files #162: Pull request #41 opened by ibbem
June 28, 2024 08:23 3m 59s drop-extensionality-axiom
drop-extensionality-axiom
June 28, 2024 08:23 3m 59s
Investigate feature algebra composition order Check the Agda files #161: Pull request #39 synchronize by ibbem
June 24, 2024 09:42 4m 2s feature-algebra-isomorphism
feature-algebra-isomorphism
June 24, 2024 09:42 4m 2s
Investigate feature algebra composition order Check the Agda files #160: Pull request #39 synchronize by pmbittner
June 3, 2024 14:04 2m 33s feature-algebra-isomorphism
feature-algebra-isomorphism
June 3, 2024 14:04 2m 33s
Investigate feature algebra composition order Check the Agda files #159: Pull request #39 synchronize by ibbem
May 31, 2024 18:52 2m 25s feature-algebra-isomorphism
feature-algebra-isomorphism
May 31, 2024 18:52 2m 25s
Merge pull request #38 from pmbittner/FST-to-OC-clarification Check the Agda files #158: Commit c52a03f pushed by ibbem
May 31, 2024 15:03 2m 23s develop
develop
May 31, 2024 15:03 2m 23s
Clarify what "choosing a configuration" in the FST-to-OC proof means Check the Agda files #157: Pull request #38 synchronize by ibbem
May 31, 2024 15:02 2m 21s FST-to-OC-clarification
FST-to-OC-clarification
May 31, 2024 15:02 2m 21s
Merge pull request #40 from pmbittner/get-rid-of-extensionality Check the Agda files #156: Commit 18a8d74 pushed by ibbem
May 31, 2024 15:01 2m 19s develop
develop
May 31, 2024 15:01 2m 19s
Investigate feature algebra composition order Check the Agda files #155: Pull request #39 synchronize by pmbittner
May 31, 2024 13:58 2m 31s feature-algebra-isomorphism
feature-algebra-isomorphism
May 31, 2024 13:58 2m 31s
Get rid of extensionality in FST Check the Agda files #154: Pull request #40 opened by ibbem
May 29, 2024 17:52 2m 23s get-rid-of-extensionality
get-rid-of-extensionality
May 29, 2024 17:52 2m 23s
Investigate feature algebra composition order Check the Agda files #153: Pull request #39 opened by ibbem
May 29, 2024 17:50 2m 20s feature-algebra-isomorphism
feature-algebra-isomorphism
May 29, 2024 17:50 2m 20s
Clarify what "choosing a configuration" in the FST-to-OC proof means Check the Agda files #152: Pull request #38 opened by ibbem
May 29, 2024 17:47 2m 20s FST-to-OC-clarification
FST-to-OC-clarification
May 29, 2024 17:47 2m 20s