Skip to content

Actions: SeaOfNodes/Simple

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
944 workflow runs
944 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chapter2 lattice change
Java CI with Maven #1785: Pull request #237 synchronize by Hels15
chapter2 lattice change
Java CI with Maven #1784: Pull request #237 opened by Hels15
1m 8s Hels15:docs
Docs (#236)
Java CI with Maven #1783: Commit bf299e8 pushed by cliffclick
45s docs
Docs
Java CI with Maven #1782: Pull request #236 synchronize by Hels15
Docs
Java CI with Maven #1781: Pull request #236 synchronize by Hels15
progress cyclic types
Java CI with Maven #1778: Commit b91c18e pushed by cliffclick
13s ch25
base case for type lattices (#234)
Java CI with Maven #1775: Commit aaf33a2 pushed by cliffclick
44s docs
base case for type lattices
Java CI with Maven #1774: Pull request #234 synchronize by Hels15
docs
Java CI with Maven #1771: Commit 4a6e9ba pushed by cliffclick
43s docs
Docs additions (#232)
Java CI with Maven #1770: Commit 5a6f29a pushed by cliffclick
49s docs
Struct closes 1 struct at a time
Java CI with Maven #1769: Commit 9176eb1 pushed by cliffclick
12s ch25
Docs additions
Java CI with Maven #1768: Pull request #232 synchronize by Hels15
Docs additions
Java CI with Maven #1767: Pull request #232 synchronize by Hels15
Docs additions
Java CI with Maven #1766: Pull request #232 opened by Hels15
Some weird makefile breakage
Java CI with Maven #1764: Commit 0e0bf2e pushed by cliffclick
16s ch25
Progress towards constructors
Java CI with Maven #1763: Commit 3c457fc pushed by cliffclick
15s ch25
more docs
Java CI with Maven #1762: Commit 781a464 pushed by cliffclick
47s docs
docs
Java CI with Maven #1761: Commit e826017 pushed by cliffclick
50s docs