Skip to content

Actions: AmpersandTarski/Publications

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
85 workflow runs
85 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
violations LaTeX to PDF #38: Commit 87ec3d6 pushed by stefjoosten
October 7, 2023 17:21 2m 15s Migration
Migration
October 7, 2023 17:21 2m 15s
minor, to avoid an overfull box LaTeX to PDF #37: Commit a8b432a pushed by stefjoosten
October 2, 2023 06:54 1m 54s Migration
Migration
October 2, 2023 06:54 1m 54s
refine some formulations (minor) LaTeX to PDF #36: Commit 665da18 pushed by stefjoosten
October 2, 2023 06:50 2m 16s Migration
Migration
October 2, 2023 06:50 2m 16s
new introduction is ready for Bas' review LaTeX to PDF #35: Commit cf9ccfd pushed by stefjoosten
October 1, 2023 07:38 1m 48s Migration
Migration
October 1, 2023 07:38 1m 48s
WIP on the introduction LaTeX to PDF #34: Commit 37ca1af pushed by stefjoosten
September 30, 2023 05:51 2m 41s Migration
Migration
September 30, 2023 05:51 2m 41s
Migration theory commit LaTeX to PDF #33: Commit a4b57e1 pushed by sjcjoosten
September 24, 2023 13:30 1m 54s Migration
Migration
September 24, 2023 13:30 1m 54s
minor LaTeX to PDF #32: Commit f5d3ff0 pushed by stefjoosten
September 6, 2023 10:05 2m 15s Migration
Migration
September 6, 2023 10:05 2m 15s
minor LaTeX to PDF #31: Commit e31e3bc pushed by stefjoosten
August 12, 2023 16:30 1m 36s Migration
Migration
August 12, 2023 16:30 1m 36s
Simplifying the explanation LaTeX to PDF #30: Commit 8bb80e5 pushed by stefjoosten
August 6, 2023 15:24 1m 35s Migration
Migration
August 6, 2023 15:24 1m 35s
progress July 30th LaTeX to PDF #29: Commit 29444e7 pushed by stefjoosten
July 30, 2023 14:49 1m 42s Migration
Migration
July 30, 2023 14:49 1m 42s
Added references to tie 4.3 to 4.2. LaTeX to PDF #28: Commit 36b5681 pushed by sjcjoosten
July 14, 2023 13:03 1m 41s Migration
Migration
July 14, 2023 13:03 1m 41s
Fixed 4.2 and 4.3 LaTeX to PDF #27: Commit f47094e pushed by sjcjoosten
July 13, 2023 17:07 1m 38s Migration
Migration
July 13, 2023 17:07 1m 38s
enforce -> enforcement LaTeX to PDF #26: Commit 56ddad1 pushed by sjcjoosten
July 13, 2023 16:57 1m 41s Migration
Migration
July 13, 2023 16:57 1m 41s
As submitted to FACS LaTeX to PDF #25: Commit 60da7d4 pushed by sjcjoosten
July 13, 2023 14:23 1m 49s Migration
Migration
July 13, 2023 14:23 1m 49s
Made the definition of Event more readable. LaTeX to PDF #24: Commit 6d37f9f pushed by stefjoosten
July 13, 2023 06:08 1m 42s Migration
Migration
July 13, 2023 06:08 1m 42s
review voltooid LaTeX to PDF #23: Commit 1dbf098 pushed by stefjoosten
July 12, 2023 19:06 2m 47s Migration
Migration
July 12, 2023 19:06 2m 47s
Conclusion LaTeX to PDF #22: Commit 68d920b pushed by sjcjoosten
July 11, 2023 20:43 1m 52s Migration
Migration
July 11, 2023 20:43 1m 52s
Finished Validation chapter LaTeX to PDF #21: Commit 068d366 pushed by sjcjoosten
July 11, 2023 14:18 2m 14s Migration
Migration
July 11, 2023 14:18 2m 14s
General migration script LaTeX to PDF #20: Commit d4c6f2c pushed by sjcjoosten
July 11, 2023 11:23 2m 9s Migration
Migration
July 11, 2023 11:23 2m 9s
Rules are functions LaTeX to PDF #19: Commit 7653466 pushed by sjcjoosten
July 11, 2023 09:45 1m 47s Migration
Migration
July 11, 2023 09:45 1m 47s
WIP on abstract LaTeX to PDF #18: Commit 1fd7b81 pushed by stefjoosten
July 10, 2023 18:57 1m 41s Migration
Migration
July 10, 2023 18:57 1m 41s
First mathematical enforce rule LaTeX to PDF #17: Commit 032eed9 pushed by sjcjoosten
July 10, 2023 18:54 1m 48s Migration
Migration
July 10, 2023 18:54 1m 48s
Merge remote-tracking branch 'refs/remotes/origin/Migration' into Mig… LaTeX to PDF #16: Commit 60949d6 pushed by sjcjoosten
July 10, 2023 13:08 2m 19s Migration
Migration
July 10, 2023 13:08 2m 19s
wip LaTeX to PDF #15: Commit e397a7a pushed by stefjoosten
July 10, 2023 13:07 1m 43s Migration
Migration
July 10, 2023 13:07 1m 43s
Dealing with violations update: added warnings LaTeX to PDF #14: Commit 08126a7 pushed by sjcjoosten
July 7, 2023 06:54 1m 43s Migration
Migration
July 7, 2023 06:54 1m 43s