Skip to content

Actions: scheinerman/Posets.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
293 workflow runs
293 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New add_relations! CI #34: Commit 2111b37 pushed by scheinerman
August 7, 2024 19:28 1m 24s main
main
August 7, 2024 19:28 1m 24s
go CI #33: Commit b0daf48 pushed by scheinerman
August 7, 2024 13:43 1m 16s main
main
August 7, 2024 13:43 1m 16s
Docs CI #32: Commit d2e2ce8 pushed by scheinerman
August 7, 2024 13:37 1m 27s main
main
August 7, 2024 13:37 1m 27s
Deletion docs started CI #31: Commit c0aa70a pushed by scheinerman
August 7, 2024 12:34 3m 20s main
main
August 7, 2024 12:34 3m 20s
CompatHelper CompatHelper #3: Scheduled
August 7, 2024 01:04 2m 0s main
main
August 7, 2024 01:04 2m 0s
CompatHelper CompatHelper #2: Manually run by scheinerman
August 7, 2024 00:00 1m 32s main
main
August 7, 2024 00:00 1m 32s
TagBot TagBot #4: Manually run by scheinerman
August 6, 2024 23:59 20s main
main
August 6, 2024 23:59 20s
CI CI #30: Manually run by scheinerman
August 6, 2024 23:58 1m 23s main
main
August 6, 2024 23:58 1m 23s
new CI #29: Commit fba4924 pushed by scheinerman
August 6, 2024 23:55 1m 22s main
main
August 6, 2024 23:55 1m 22s
docs CI #28: Commit 7498d9e pushed by scheinerman
August 6, 2024 22:31 1m 29s main
main
August 6, 2024 22:31 1m 29s
Clean doc CI #27: Commit 415b822 pushed by scheinerman
August 6, 2024 21:12 1m 24s main
main
August 6, 2024 21:12 1m 24s
partition lattice implementation CI #26: Commit e66892f pushed by scheinerman
August 6, 2024 21:04 1m 25s main
main
August 6, 2024 21:04 1m 25s
additional tests CI #25: Commit e15555d pushed by scheinerman
August 6, 2024 20:29 1m 14s main
main
August 6, 2024 20:29 1m 14s
subset_lattice CI #24: Commit e772815 pushed by scheinerman
August 6, 2024 20:21 1m 23s main
main
August 6, 2024 20:21 1m 23s
Add subset_lattice CI #23: Commit 8ed47e8 pushed by scheinerman
August 6, 2024 19:22 1m 25s main
main
August 6, 2024 19:22 1m 25s
re-org CI #22: Commit da878c5 pushed by scheinerman
August 6, 2024 18:02 1m 23s main
main
August 6, 2024 18:02 1m 23s
reorder stuff CI #21: Commit 605aa7c pushed by scheinerman
August 6, 2024 14:29 1m 22s main
main
August 6, 2024 14:29 1m 22s
semiorders CI #20: Commit 1067e95 pushed by scheinerman
August 6, 2024 14:16 1m 21s main
main
August 6, 2024 14:16 1m 21s
fix inexact issue CI #19: Commit 58fa1e9 pushed by scheinerman
August 6, 2024 13:28 1m 28s main
main
August 6, 2024 13:28 1m 28s
Nicer listing of chains CI #18: Commit fd2569e pushed by scheinerman
August 6, 2024 13:20 1m 23s main
main
August 6, 2024 13:20 1m 23s
cleaning CI #17: Commit f67a2cb pushed by scheinerman
August 6, 2024 12:48 1m 26s main
main
August 6, 2024 12:48 1m 26s
chain/antichain stuff CI #16: Commit 74e7f37 pushed by scheinerman
August 6, 2024 12:37 1m 17s main
main
August 6, 2024 12:37 1m 17s
comparability test CI #15: Commit 5052ec1 pushed by scheinerman
August 6, 2024 12:20 1m 17s main
main
August 6, 2024 12:20 1m 17s
chain_cover added CI #14: Commit c6b944b pushed by scheinerman
August 6, 2024 11:30 1m 23s main
main
August 6, 2024 11:30 1m 23s
CompatHelper CompatHelper #1: Scheduled
August 6, 2024 01:03 2m 1s main
main
August 6, 2024 01:03 2m 1s
ProTip! You can narrow down the results and go further in time using created:<2024-08-06 or the other filters available.