Skip to content

Actions: VariantSync/Vatras

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
297 workflow runs
297 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Artifact Overview for OOPSLA Check the Agda files #184: Pull request #43 synchronize by ibbem
July 2, 2024 21:45 3m 58s oopsla-overview
oopsla-overview
July 2, 2024 21:45 3m 58s
Artifact Overview for OOPSLA Check the Agda files #183: Pull request #43 synchronize by ibbem
July 2, 2024 21:06 2m 22s oopsla-overview
oopsla-overview
July 2, 2024 21:06 2m 22s
Artifact Overview for OOPSLA Check the Agda files #182: Pull request #43 synchronize by ibbem
July 2, 2024 20:48 2m 29s oopsla-overview
oopsla-overview
July 2, 2024 20:48 2m 29s
Artifact Overview for OOPSLA Check the Agda files #181: Pull request #43 synchronize by ibbem
July 2, 2024 20:16 2m 24s oopsla-overview
oopsla-overview
July 2, 2024 20:16 2m 24s
Artifact Overview for OOPSLA Check the Agda files #180: Pull request #43 synchronize by ibbem
July 2, 2024 19:00 2m 33s oopsla-overview
oopsla-overview
July 2, 2024 19:00 2m 33s
Artifact Overview for OOPSLA Check the Agda files #179: Pull request #43 synchronize by ibbem
July 2, 2024 14:59 4m 12s oopsla-overview
oopsla-overview
July 2, 2024 14:59 4m 12s
Remove constructors Check the Agda files #178: Pull request #48 synchronize by ibbem
July 2, 2024 10:59 2m 13s remove-constructors
remove-constructors
July 2, 2024 10:59 2m 13s
Artifact Overview for OOPSLA Check the Agda files #177: Pull request #43 synchronize by ibbem
July 2, 2024 10:28 2m 25s oopsla-overview
oopsla-overview
July 2, 2024 10:28 2m 25s
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