Skip to content

Actions: AmpersandTarski/Publications

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
85 workflow runs
85 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Merge branch 'master' into Migration LaTeX to PDF #88: Commit 0553cad pushed by stefjoosten
June 22, 2024 09:14 1m 44s Migration
Migration
June 22, 2024 09:14 1m 44s
minor textual edits LaTeX to PDF #87: Commit c16512e pushed by sjcjoosten
June 7, 2024 20:02 2m 7s Migration
Migration
June 7, 2024 20:02 2m 7s
Going through reviews. Done with the exception of two TODOs (in latex… LaTeX to PDF #86: Commit bdf30f7 pushed by sjcjoosten
June 6, 2024 20:14 1m 44s Migration
Migration
June 6, 2024 20:14 1m 44s
Ramics version of article LaTeX to PDF #85: Commit 485eb36 pushed by sjcjoosten
March 23, 2024 02:36 1m 46s Migration
Migration
March 23, 2024 02:36 1m 46s
submitted to FoIKS 2024 LaTeX to PDF #84: Commit bf94f68 pushed by stefjoosten
December 11, 2023 06:37 1m 36s Migration
Migration
December 11, 2023 06:37 1m 36s
WIP LaTeX to PDF #83: Commit b842962 pushed by stefjoosten
December 10, 2023 13:56 2m 7s Migration
Migration
December 10, 2023 13:56 2m 7s
Final touch LaTeX to PDF #82: Commit be8d4b1 pushed by stefjoosten
December 10, 2023 07:49 1m 35s Migration
Migration
December 10, 2023 07:49 1m 35s
- renamed "theory" to "approach" LaTeX to PDF #81: Commit bdf19bb pushed by sjcjoosten
December 9, 2023 18:49 1m 40s Migration
Migration
December 9, 2023 18:49 1m 40s
typo LaTeX to PDF #80: Commit 3a2d704 pushed by stefjoosten
December 7, 2023 06:00 1m 41s Migration
Migration
December 7, 2023 06:00 1m 41s
clean up LaTeX to PDF #79: Commit 3b152dc pushed by stefjoosten
November 28, 2023 13:43 1m 40s Migration
Migration
November 28, 2023 13:43 1m 40s
wip LaTeX to PDF #78: Commit a2e5956 pushed by stefjoosten
November 25, 2023 18:34 1m 40s Migration
Migration
November 25, 2023 18:34 1m 40s
renamed for FoIKS LaTeX to PDF #77: Commit 3574e2e pushed by stefjoosten
November 25, 2023 16:52 1m 39s Migration
Migration
November 25, 2023 16:52 1m 39s
WIP LaTeX to PDF #76: Commit 03c559d pushed by stefjoosten
November 19, 2023 20:12 2m 9s Migration
Migration
November 19, 2023 20:12 2m 9s
Rename file so that it compiles with SJC LaTeX to PDF #75: Commit 176340e pushed by sjcjoosten
November 19, 2023 14:35 1m 47s Migration
Migration
November 19, 2023 14:35 1m 47s
WIP LaTeX to PDF #74: Commit 8fbd193 pushed by stefjoosten
November 19, 2023 14:33 1m 54s Migration
Migration
November 19, 2023 14:33 1m 54s
minor LaTeX to PDF #73: Commit 256bfe5 pushed by stefjoosten
November 19, 2023 08:29 1m 47s Migration
Migration
November 19, 2023 08:29 1m 47s
reformulate Ampersand paragraph LaTeX to PDF #72: Commit 2afd0c3 pushed by stefjoosten
November 19, 2023 08:15 1m 48s Migration
Migration
November 19, 2023 08:15 1m 48s
improved the abstract LaTeX to PDF #71: Commit bbae9d0 pushed by stefjoosten
November 18, 2023 07:37 2m 3s Migration
Migration
November 18, 2023 07:37 2m 3s
two new figures LaTeX to PDF #70: Commit 62f56f3 pushed by stefjoosten
November 13, 2023 06:57 1m 50s Migration
Migration
November 13, 2023 06:57 1m 50s
add figure for PoC LaTeX to PDF #69: Commit 7ac29a8 pushed by stefjoosten
November 12, 2023 20:05 1m 49s Migration
Migration
November 12, 2023 20:05 1m 49s
add Proof of Concept (to be elaborated further) LaTeX to PDF #68: Commit 7db9c25 pushed by stefjoosten
November 12, 2023 20:04 1m 55s Migration
Migration
November 12, 2023 20:04 1m 55s
WIP LaTeX to PDF #67: Commit 3c30c94 pushed by stefjoosten
November 12, 2023 15:07 1m 53s Migration
Migration
November 12, 2023 15:07 1m 53s
Retitled chapter for SJC LaTeX to PDF #66: Commit b71c60c pushed by sjcjoosten
November 12, 2023 14:45 1m 42s Migration
Migration
November 12, 2023 14:45 1m 42s
minor LaTeX to PDF #65: Commit 3c70188 pushed by stefjoosten
November 5, 2023 14:19 1m 52s Migration
Migration
November 5, 2023 14:19 1m 52s
fixed mistake in the notation of a transactional invariant LaTeX to PDF #64: Commit f8e4b2e pushed by stefjoosten
November 1, 2023 13:31 2m 2s Migration
Migration
November 1, 2023 13:31 2m 2s