Skip to content

Actions: theoremprover-museum/TATL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

added readme CI #10: Commit 7203fbf pushed by mgttlinger
December 2, 2024 07:09 44s master
master
December 2, 2024 07:09 44s
added readme CI #9: Commit 15a0219 pushed by mgttlinger
December 2, 2024 07:07 40s master
master
December 2, 2024 07:07 40s
added readme CI #8: Commit 89b3f50 pushed by mgttlinger
December 2, 2024 07:07 40s master
master
December 2, 2024 07:07 40s
added readme CI #7: Commit ec4bf4a pushed by mgttlinger
December 2, 2024 07:05 44s master
master
December 2, 2024 07:05 44s
Setting version CI #6: Commit c1813de pushed by mgttlinger
December 2, 2024 06:47 39s master
master
December 2, 2024 06:47 39s
Pinning nixpkgs CI #5: Commit eef43b7 pushed by mgttlinger
December 2, 2024 06:37 46s master
master
December 2, 2024 06:37 46s
Create CI workflow CI #4: Commit 1674f60 pushed by mgttlinger
December 2, 2024 06:32 12s master
master
December 2, 2024 06:32 12s
Create CI workflow CI #3: Commit e8c5d6c pushed by mgttlinger
December 2, 2024 06:28 17s master
master
December 2, 2024 06:28 17s
Create CI workflow CI #2: Commit 1618871 pushed by mgttlinger
December 2, 2024 06:25 20s master
master
December 2, 2024 06:25 20s
Create CI workflow CI #1: Commit 30b00f6 pushed by mgttlinger
December 2, 2024 06:17 17s master
master
December 2, 2024 06:17 17s